Commits · 8df3d31c5aadf7ec8b129ee0422f9586f51a9d27 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 20, 2022
- [ci] restore check TS API · 8df3d31c
  Allan Blanchard authored 2 years ago
  
  8df3d31c
Jul 11, 2022
- [ci] change default branch · c8c2e789
  Allan Blanchard authored 2 years ago
  
  c8c2e789
Jul 08, 2022
- [ci] polish schedules · 79951a0b
  Allan Blanchard authored 2 years ago
  
  79951a0b
- [ci] add delays for schedules · d1f16046
  Allan Blanchard authored 2 years ago
  
  d1f16046
- [ci] enable ocaml versions tests · 3e44d72c
  Allan Blanchard authored 2 years ago
  
  3e44d72c
- [ci] prepare scheduled jobs · 86055ed2
  Allan Blanchard authored 2 years ago
  
  86055ed2
- [ci] downgrade OCaml max to 4.13 · c6866286
  Allan Blanchard authored 2 years ago
  
  - with this nix commit, stdio fails to compile
  c6866286
- [ci] last ocaml is 4.14 · b9133e6d
  Allan Blanchard authored 2 years ago
  
  b9133e6d
- [ci] Opam pin use reference OCaml version · 4b5765ed
  Allan Blanchard authored 2 years ago
  
  4b5765ed
- [ci] Can use 4.X syntax for OCaml version · ac9cf5c5
  Allan Blanchard authored 2 years ago
  
  ac9cf5c5
- [ci] external plugins are always tested · cf338bb7
  Allan Blanchard authored 2 years ago
  
  cf338bb7
- [ci] renaming · cabd540c
  Allan Blanchard authored 2 years ago
  
  cabd540c
- [ci] merge external plugins in a group · 7f5f2231
  Allan Blanchard authored 2 years ago
  
  7f5f2231
- [ci] Allow failure on opam pin for now · 4e978aee
  Allan Blanchard authored 2 years ago
  
  - prepares future rule for deps minimal versions
  4e978aee
- [ci] refererence OCAML: 4_11 · 5da31c12
  Allan Blanchard authored 2 years ago
  
  - additional tests compat: 4_08 + 4_13
  5da31c12
- [ci] use parallel for eva domains · d54861f3
  Allan Blanchard authored 2 years ago
  
  d54861f3
- [ci] cosmetic change · 8c95b9b2
  Allan Blanchard authored 2 years ago
  
  8c95b9b2
- [ci] add opam target · 189aa264
  Allan Blanchard authored 2 years ago
  
  189aa264
- [ci] Shell checkers script · 4d4a0101
  Allan Blanchard authored 2 years ago
  
  - also fixes make-distrib link
  4d4a0101
- [ci] add interruptible cancellation · c93a15fc
  Allan Blanchard authored 2 years ago
  
  c93a15fc
- [ci] format · 597ccaa3
  Allan Blanchard authored 2 years ago
  
  597ccaa3
- [ci] adds a proxy for nix build commands · dece8a44
  Allan Blanchard authored 2 years ago
  
  - avoids forgetting OCAML variable
  dece8a44
Jun 17, 2022
- [ci] Split Eva tests · a84bf3f1
  Allan Blanchard authored 2 years ago
  
  a84bf3f1
- [ci] Move actions · 1be5fad7
  Allan Blanchard authored 2 years ago
  
  - split distrib and compatibility - move make-distrib to distrib - move syntactic checks to distrib - move header checks to distrib
  1be5fad7
- [distrib] improves make-distrib · 62d13640
  Allan Blanchard authored 2 years ago
  
  62d13640
- [ci] build tarball with nix-shell instead of build · 981945c9
  Allan Blanchard authored 2 years ago
  
  981945c9
- [ci] add src-distrib-tests · 166c3105
  Allan Blanchard authored 2 years ago
  
  166c3105
Jun 16, 2022
- [ci] makes most jobs interruptible · 3436c7f1
  Allan Blanchard authored 2 years ago
  
  3436c7f1
Jun 15, 2022
- [ci] check that the TS api is up to date · 7dfa0948
  Allan Blanchard authored 2 years ago
  
  7dfa0948
Jun 14, 2022
- [ci] fix OCaml version in rule header-check · 85fe98ab
  Allan Blanchard authored 2 years ago
  
  85fe98ab
- [ci] defines variables for Lint checks · b5317524
  Patrick Baudin authored 2 years ago
  
  b5317524
- [ci] changes Lint command · 65409ce9
  Allan Blanchard authored 2 years ago and Patrick Baudin committed 2 years ago
  
  65409ce9
Jun 13, 2022
- [ci] fix rule · 69f237a5
  Allan Blanchard authored 2 years ago
  
  69f237a5
Jun 10, 2022
- [ci] check headers · a5f0e4d9
  Allan Blanchard authored 2 years ago
  
  a5f0e4d9
Jun 08, 2022
- Fix CI DEFAULT branch after bad merge/revert in stable · 506e66c5
  François Bobot authored 2 years ago
  
  506e66c5
Jun 07, 2022
- [ci] add linea-cabs · 6ad559c6
  Allan Blanchard authored 2 years ago
  
  6ad559c6
Jun 03, 2022
- [ci] add linea-cabs · de547541
  Allan Blanchard authored 2 years ago
  
  de547541
Jun 02, 2022
- Revert "Merge branch 'feature/andre/distribute-estimate-difficulty' into 'stable/manganese'" · 1c57775e
  François Bobot authored 2 years ago
  
  This reverts merge request !3615
  1c57775e
May 23, 2022
- [ci] rename a target · 55dde62a
  Allan Blanchard authored 2 years ago
  
  55dde62a
May 20, 2022
- [ci] do less for artifacts · 14991d10
  Allan Blanchard authored 2 years ago
  
  14991d10