Merge branch 'master' into 'master'
Ci fixes See merge request !26
Showing
- .gitignore 1 addition, 1 deletion.gitignore
- .gitlab-ci.yml 32 additions, 29 deletions.gitlab-ci.yml
- .gitlab-ci_old.yml 47 additions, 0 deletions.gitlab-ci_old.yml
- .vscode/settings.json 5 additions, 0 deletions.vscode/settings.json
- Makefile 1 addition, 3 deletionsMakefile
- builder.sh 6 additions, 0 deletionsbuilder.sh
- builderFuzz.sh 13 additions, 0 deletionsbuilderFuzz.sh
- builderTest.sh 6 additions, 0 deletionsbuilderTest.sh
- default.nix 60 additions, 13 deletionsdefault.nix
- fuzz.nix 12 additions, 0 deletionsfuzz.nix
- fuzz_seconds.sh 7 additions, 0 deletionsfuzz_seconds.sh
- release.nix 7 additions, 31 deletionsrelease.nix
- release_old.nix 33 additions, 0 deletionsrelease_old.nix
- sudo 1 addition, 0 deletionssudo
Loading
Please register or sign in to comment