[ci] check headers
Showing
- .gitlab-ci.yml 9 additions, 0 deletions.gitlab-ci.yml
- nix/frama-c-checkers-shell.nix 18 additions, 0 deletionsnix/frama-c-checkers-shell.nix
- nix/frama-c-hdrck.nix 34 additions, 0 deletionsnix/frama-c-hdrck.nix
- nix/pkgs.nix 11 additions, 0 deletionsnix/pkgs.nix
- share/Makefile.headers 2 additions, 3 deletionsshare/Makefile.headers
Loading
Please register or sign in to comment