Commits · 6bdf5874e3facc6f9128ad122cccf1ca353dc952 · pub / frama-c · GitLab

Snippets Groups Projects

Sep 16, 2021
- [ci] continuous integration tests doc generation · 6bdf5874
  Virgile Prevosto authored 3 years ago
  
  6bdf5874
Sep 03, 2021
- [nix] Strict headers check · 128eab68
  Basile Desloges authored 3 years ago
  
  The warnings are treated as errors when executing `make check-headers`.
  128eab68
Aug 23, 2021
- [ci] do not assume that 'time' binary is in /usr/bin · 31117906
  Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago
  
  this is not the case in nix.
  31117906
- [ci] fix checkPhase script when building from tarball · 0e258f5c
  Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago
  
  0e258f5c
- [ci] enforce check phase in build-from-distrib-tarball derivation · 183e59a2
  Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago
  
  otherwise, the tests won't be run...
  183e59a2
- [ci] make tests on distributed archive. · cdcf05af
  Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago
  
  cdcf05af
Jul 09, 2021
- [nix] fix eva-tests · f5fd241e
  Andre Maroneze authored 3 years ago
  
  f5fd241e
Jun 23, 2021
- Update nix/frama-ci.* · bbfd55cd
  Virgile Prevosto authored 3 years ago
  
  bbfd55cd
- Update nix/frama-ci.* · a729037e
  Virgile Prevosto authored 3 years ago
  
  a729037e
Jun 02, 2021
- Update nix/frama-ci.* · bf1feec2
  Virgile Prevosto authored 3 years ago
  
  bf1feec2
- Update nix/frama-ci.* · b5ee8b95
  Virgile Prevosto authored 3 years ago
  
  b5ee8b95
- Update nix/frama-ci.* · 75d7c954
  Virgile Prevosto authored 3 years ago
  
  75d7c954
- Update nix/frama-ci.* · 28975763
  Virgile Prevosto authored 3 years ago
  
  28975763
- Update nix/frama-ci.* · 7956611a
  Virgile Prevosto authored 3 years ago
  
  7956611a
May 11, 2021
- Update nix/frama-ci.* · bb9540ee
  Virgile Prevosto authored 3 years ago
  
  bb9540ee
- Update nix/frama-ci.* · 9b392eb3
  Virgile Prevosto authored 3 years ago
  
  9b392eb3
- [nix] allow using external sources for opam2nix packages · dd6675cc
  Virgile Prevosto authored 3 years ago
  
  dd6675cc
May 06, 2021
- [nix] set correct default of ocaml argument · e7aad187
  Virgile Prevosto authored 3 years ago
  
  e7aad187
- Update nix/frama-ci.* · 27cdf30a
  Virgile Prevosto authored 3 years ago
  
  27cdf30a
- Update nix/frama-ci.* · c7c9aef0
  Virgile Prevosto authored 3 years ago
  
  c7c9aef0
May 05, 2021
- Update nix/frama-ci.* · 49ac3927
  Virgile Prevosto authored 3 years ago
  
  49ac3927
- Update nix/frama-ci.* · 397b9845
  Virgile Prevosto authored 3 years ago
  
  397b9845
- Update nix/frama-ci.* · d28baa0b
  Virgile Prevosto authored 3 years ago
  
  d28baa0b
May 04, 2021
- Update nix/frama-ci.* · 0c9381ae
  Virgile Prevosto authored 3 years ago
  
  0c9381ae
- [nix] complete extra opam-selection.nix generation · d81489f2
  Virgile Prevosto authored 3 years ago
  
  d81489f2
- Update nix/frama-ci.* · efe30d2a
  Virgile Prevosto authored 3 years ago
  
  efe30d2a
- Update nix/frama-ci.* · 46a28669
  Virgile Prevosto authored 3 years ago
  
  46a28669
- [CI] Minor change for Eva alternative configs. · 271573dc
  David Bühler authored 3 years ago
  
  271573dc
- [CI] add pipeline stage for Eva alternative configs; improve vtests script · 9b95c125
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  9b95c125
Apr 27, 2021
- Update nix/frama-ci.* · 8ba5843f
  Virgile Prevosto authored 3 years ago
  
  8ba5843f
Apr 26, 2021
- Update nix/frama-ci.* · 03e94584
  Virgile Prevosto authored 3 years ago
  
  03e94584
- Update nix/frama-ci.* · 656d32db
  Virgile Prevosto authored 3 years ago
  
  656d32db
- Update nix/frama-ci.* · a8b41d3d
  Virgile Prevosto authored 3 years ago
  
  a8b41d3d
- Update nix/frama-ci.* · 1a167418
  Virgile Prevosto authored 3 years ago
  
  1a167418
- Update nix/frama-ci.* · 5a2bb16c
  Virgile Prevosto authored 3 years ago
  
  5a2bb16c
- Update nix/frama-ci.* · 8716d42a
  Virgile Prevosto authored 3 years ago
  
  8716d42a
Apr 23, 2021
- Update nix/frama-ci.* · 9cf91161
  Virgile Prevosto authored 3 years ago
  
  9cf91161
- [ci] keeps results in artifacts · 0bf0720b
  Virgile Prevosto authored 3 years ago
  
  0bf0720b
- [nix] use unique names for opam selections · 010734ee
  Virgile Prevosto authored 3 years ago
  
  avoid clash if multiple targets are built concurrently
  010734ee
- Update nix/frama-ci.* · 9f0f6158
  Virgile Prevosto authored 3 years ago
  
  9f0f6158