Commits · 2b792cfb100009c3c9095ee1e6155f5e60b65c01 · FP / iGPS · GitLab

Snippets Groups Projects

Oct 07, 2018
- drop support for Coq 8.7, and bump 8.8 to 8.8.2 · 2b792cfb
  Ralf Jung authored 6 years ago
  
  2b792cfb
Sep 30, 2018
- write URLs the way opam writes them · af585fac
  Ralf Jung authored 6 years ago
  
  af585fac
Sep 19, 2018
- dont share cache with other branch · fa765186
  Ralf Jung authored 6 years ago
  
  fa765186
- use Docker image matching CI branch · 95f0ce55
  Ralf Jung authored 6 years ago
  
  95f0ce55
Jun 22, 2018
- nightly builds: use latest std++ · 3de203b6
  Ralf Jung authored 6 years ago
  
  3de203b6
Apr 24, 2018
- update CI · e4e65e79
  Ralf Jung authored 6 years ago
  
  e4e65e79
Mar 22, 2018
- CI: test Coq 8.8 branch · 281add04
  Ralf Jung authored 7 years ago
  
  281add04
Mar 15, 2018
- really enable CI · 393df95c
  Ralf Jung authored 7 years ago
  
  393df95c
- enable CI · c03bda5f
  Ralf Jung authored 7 years ago
  
  c03bda5f
Feb 15, 2018
- disable CI again for now. it fails. · 45b7c3c4
  Ralf Jung authored 7 years ago
  
  45b7c3c4
- gen_proofmode requires newer Coq · e945c648
  Ralf Jung authored 7 years ago
  
  e945c648
- update and enable CI · 7321b9c0
  Ralf Jung authored 7 years ago
  
  7321b9c0
Sep 27, 2017
- tweak CI · 29ebe3e8
  Ralf Jung authored 7 years ago
  
  29ebe3e8
Sep 21, 2017
- update build system and Iris · 3818868e
  Ralf Jung authored 7 years ago
  
  3818868e
- make it compatible with Coq 8.7, and test that · ed36f0c1
  Ralf Jung authored 7 years ago
  
  ed36f0c1
Aug 26, 2017
- update CI for directory layout · 72528bbe
  Ralf Jung authored 7 years ago
  
  72528bbe
Aug 22, 2017
- CI: test against coq 8.6.1 · 6fb692dd
  Ralf Jung authored 7 years ago
  
  6fb692dd
Mar 06, 2017
- Update build & CI files to properly use new CI machine · b82a3008
  Ralf Jung authored 8 years ago
  
  b82a3008
Mar 05, 2017
- Undo copy-pasta lazyness in .gitlab-ci.yml · be052e13
  Janno authored 8 years ago
  
  be052e13
- Use fp-timing CI server. · 0f57fde4
  Janno authored 8 years ago
  
  0f57fde4
Feb 16, 2017
- Fix syntax error in .gitlab-ci.yml · d70452df
  Janno authored 8 years ago
  
  d70452df
- Track timing artifacts. · d1ed4cb3
  Janno authored 8 years ago
  
  d1ed4cb3
Jan 19, 2017
- Update .gitlab-ci.yml to include benchmark branches · e253be2c
  Janno authored 8 years ago
  
  e253be2c
Jan 05, 2017
- Add timing collection to CI. · 53ee5c1a
  Janno authored 8 years ago
  
  53ee5c1a
- Drop support for coq 8.5. · 3dcd4f24
  Janno authored 8 years ago
  
  3dcd4f24
Dec 18, 2016
- also build against Coq 8.6 · ea89c0a4
  Ralf Jung authored 8 years ago
  
  ea89c0a4
Dec 17, 2016
- use opam-based CI · cbf35dd5
  Ralf Jung authored 8 years ago
  
  cbf35dd5
Nov 03, 2016
- the Coq CI image now contains git · 2aa4d2c6
  Ralf Jung authored 8 years ago
  
  2aa4d2c6
Sep 16, 2016
- Fully build Iris for CI · 4580759c
  Janno authored 8 years ago
  
  4580759c
- Disable make quick in CI · 6d0aec5a
  Janno authored 8 years ago
  
  6d0aec5a
- *REALLY* disable CI vio2vo job for now · 8edcc363
  Janno authored 8 years ago
  
  8edcc363
- Disable CI vio2vo job for now · 28ddbd0d
  Janno authored 8 years ago
  
  28ddbd0d
- Try cache only for our vio files · d8042e88
  Janno authored 8 years ago
  
  d8042e88
- Change CI docker image name; remove artifacts · ab733c52
  Janno authored 8 years ago
  
  ab733c52
- Try artifacts instead of cache in CI config · 519bf37c
  Janno authored 8 years ago
  
  519bf37c
Sep 15, 2016
- Remove --depth for iris submod bc. it breaks the build · f212bab2
  Janno authored 8 years ago
  
  f212bab2
- Fix more filenames in CI config · 317a6e4c
  Janno authored 8 years ago
  
  317a6e4c
- Make CI git submodule call shallow + filename fixes · 80f4fde3
  Janno authored 8 years ago
  
  80f4fde3
- Update CI config to make more sense · 2b85714e
  Janno authored 8 years ago
  
  2b85714e
- Perform apt-get update before installing git · 3a209e32
  Janno authored 8 years ago
  
  3a209e32