Explore projects
-
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 -
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
-
ROUVREAU Vincent / custom-runner
BSD 3-Clause "New" or "Revised" LicenseUpdated -
ROUVREAU Vincent / present
BSD 3-Clause "New" or "Revised" Licensepresent is a combo of pandoc, reveal.js and mermaid. js to help to make beautiful and efficient presentations.
Updated