https://gitlab.inria.fr/cado-nfs/cado-nfs
Tip revision: c5b20eac12ea225a325d582923ef058832cda28e authored by Emmanuel Thomé on 06 August 2021, 16:52:09 UTC
Merge branch 'try-to-fix-30020' into 'master'
Merge branch 'try-to-fix-30020' into 'master'
Tip revision: c5b20ea
File | Mode | Size |
---|---|---|
utilities | ||
00-docker-build.sh | -rwxr-xr-x | 902 bytes |
00-dockerfile.sh | -rwxr-xr-x | 2.2 KB |
00-prepare-docker.sh | -rwxr-xr-x | 5.9 KB |
00-prepare-shell.sh | -rwxr-xr-x | 790 bytes |
000-functions.sh | -rw-r--r-- | 4.0 KB |
001-environment.sh | -rw-r--r-- | 4.4 KB |
002-tanker.bash | -rw-r--r-- | 434 bytes |
003-trap-add.bash | -rw-r--r-- | 1.3 KB |
004-disksize-watchdog.bash | -rw-r--r-- | 795 bytes |
01-conf.sh | -rwxr-xr-x | 261 bytes |
02-build1.sh | -rwxr-xr-x | 314 bytes |
02-build2.sh | -rwxr-xr-x | 358 bytes |
03-check.sh | -rwxr-xr-x | 2.7 KB |
09-merge-coverage.sh | -rwxr-xr-x | 560 bytes |
40-testsuite.sh | -rwxr-xr-x | 288 bytes |
50-libvirt-wrap-tests.sh | -rwxr-xr-x | 995 bytes |
999-debug.sh | -rwxr-xr-x | 2.1 KB |
debug.sh | -rwxr-xr-x | 6.0 KB |