[ci] new CI
Showing
- .gitlab-ci.yml 17 additions, 6 deletions.gitlab-ci.yml
- ci.sh 79 additions, 0 deletionsci.sh
- nix/default.nix 0 additions, 18 deletionsnix/default.nix
- nix/frama-ci.nix 0 additions, 16 deletionsnix/frama-ci.nix
- nix/frama-ci.sh 0 additions, 12 deletionsnix/frama-ci.sh
- nix/meta.nix 53 additions, 0 deletionsnix/meta.nix
- nix/pkgs.nix 16 additions, 0 deletionsnix/pkgs.nix
Loading
Please register or sign in to comment