Branches · verimag / synchrone / rdbg · GitLab

Active branches

master default protected

0d1a2b4e · ci: remove (for real!) a test that is meaningless in the CI · Jan 18, 2023

Download source code

zip tar.gz tar.bz2 tar

Stale branches

work merged

43c1e927 · Clean-up the CI script (removing unnecessary packages) · Dec 14, 2017

Compare

Download source code

zip tar.gz tar.bz2 tar