Inria Continuous Integration

List of public projects

Full name Description Actions
personoj Translation from PVS to Dedukti
abstraction-work This project provides code for my abstraction work and leverages Connection-lens.
statify-kernelo-builder worker for building the Planet-GLLiM software
Kappa CI for Kappa language: https://github.com/Kappa-Dev
compose Runner for https://gitlab.inria.fr/compose/
Aramis documentation Project to build and deploy documentation of Aramis team
SWEET Shallow Water Equation Environment for Tests, Awesome!
https://github.com/schreiberx/sweet
SLICES SLICES project