Commits · 600b33c95e1c4e2f123a37cec4d5b33500751b38 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 11, 2022
- [ci] Respect gitlab regex syntax. · 50397f99
  Michele Alberti authored 2 years ago
  
  50397f99
- [ci] Use separate regex rules. · c5bf74be
  Michele Alberti authored 2 years ago
  
  c5bf74be
- [ci] Use CI commit branch containing the word eva in a particular format. · 96dae10b
  Michele Alberti authored 2 years ago
  
  96dae10b
Oct 10, 2022
- [ci] Use refs and regex. · 23aa57a6
  Michele Alberti authored 2 years ago
  
  23aa57a6
- [ci] Automatically run eva-domains tests on MR with label Eva. · 87cc2a7b
  Michele Alberti authored 2 years ago
  
  87cc2a7b
Oct 04, 2022
- [ci] disable CI targets · 993ab515
  Allan Blanchard authored 2 years ago
  
  993ab515
Oct 03, 2022
- [ci] fix opam pin target · 2391325e
  Allan Blanchard authored 2 years ago
  
  2391325e
Sep 29, 2022
- [ci] check that Frama-C can be run after pin · 422c101e
  Allan Blanchard authored 2 years ago
  
  422c101e
Sep 26, 2022
- [ci] small refacto · 87ab618c
  Allan Blanchard authored 2 years ago
  
  87ab618c
- [release] use API to generate the release · dd3fe929
  Allan Blanchard authored 2 years ago
  
  dd3fe929
- [ci] fix opam pin · 5d648209
  Allan Blanchard authored 2 years ago
  
  5d648209
- [ci] add checks before publish or release · f2f1e0ab
  Allan Blanchard authored 2 years ago
  
  f2f1e0ab
- [ci] use the Frama-CI bot deploy token · a0fbd37f
  Allan Blanchard authored 2 years ago
  
  a0fbd37f
- [ci] factorize a few rules · a0821a3f
  Allan Blanchard authored 2 years ago
  
  a0821a3f
- [release] produce release · 452c2a43
  Allan Blanchard authored 2 years ago
  
  452c2a43
- [doc] tgz -> tar.gz + generate hello · f9386ac5
  Allan Blanchard authored 2 years ago
  
  f9386ac5
- [doc] provide direct files for (E)ACSL versions · 5eb538d7
  Allan Blanchard authored 2 years ago
  
  5eb538d7
Sep 13, 2022
- [ci] add apron suite · b6d7942c
  Allan Blanchard authored 2 years ago
  
  b6d7942c
Jul 28, 2022
- [ci] opam pin is not allowed to fail anymore · 77c8bae3
  Allan Blanchard authored 2 years ago
  
  77c8bae3
- [ci] docker ocaml: update APT before depext · 80c2a988
  Allan Blanchard authored 2 years ago
  
  80c2a988
- [build] no more configure · 5f6d3468
  Allan Blanchard authored 2 years ago
  
  5f6d3468
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