Inria Continuous Integration

List of public projects

Full name Description Actions
My VM My VM
simdpath Description of your software. Tools used to build and test your software.
storalloc A Scheduler for Storage Resources
PyToM PyToM est le portage en Python du logiciel CusToM, auquel de nouvelles fonctionnalités seront ajoutées.
Catala Continuous integration for the Catala domain-specific language.
personoj Translation from PVS to Dedukti
abstraction-work This project provides code for my abstraction work and leverages Connection-lens.
Kappa CI for Kappa language: https://github.com/Kappa-Dev