Explore projects
-
ALIDRA Abdelghani / GitLabCIWorkshop
MIT LicenseUpdated -
PRIMET Romain / GitLabCIWorkshop
MIT LicenseUpdated -
Updated
-
alcyone / Calrissian
MIT LicenseUpdated -
-
A complete gitlab-ci pipeline example with a C++ project. Keywords: gitlabci, c++, cmake, static analysis, lint, sonarqube, pages, package, release, docker, macosx, windows, badges.
Updated -
hh-pcmax / BLS code
BSD 3-Clause "New" or "Revised" LicenseCode for reproducibility of [1]
[1] Hakim Hadj-Djilani, Julien Bernard, Louis-Claude Canon, Laurent Philippe. Branching List Scheduling Algorithms for the Identical Parallel Machine Scheduling Problem. RR-FEMTO-ST-2919, FEMTO-ST. 2024. https://hal.science/hal-04564228
Updated -
Updated
-
-
A Coq formalization of real analysis compatible with the standard library.
Updated -
-
Updated
-
Updated
-
Updated
-
Thierry Martinez / ci-cmdline
BSD 2-Clause "Simplified" LicenseCommand-line for ci.inria.fr.
Updated -
gitlabci_gallery / docker / statistics
BSD 3-Clause "New" or "Revised" LicenseSimple example of a docker-in-docker project launched on the shared runners with good practices.
Updated -
Updated