Commits · 54ac1ffdc2a23f2c5c33fd7f741c4071464d57d5 · Iris / ReLoC · GitLab

Snippets Groups Projects

Sep 03, 2020
- deny warnings · 54ac1ffd
  Ralf Jung authored 4 years ago
  
  54ac1ffd
- test Coq 8.11.2 instead of 8.11.0 · 3cf42a82
  Ralf Jung authored 4 years ago
  
  3cf42a82
Feb 12, 2020
- test Coq 8.11.0 · c74fba88
  Ralf Jung authored 5 years ago
  
  c74fba88
Nov 07, 2019
- Use Coq 8.10.1 for CI. · 2b35f0f9
  Robbert Krebbers authored 5 years ago
  
  2b35f0f9
Oct 31, 2019
- fix 8.10 build · 77f36ffc
  Ralf Jung authored 5 years ago
  
  77f36ffc
- nightly build against Coq 8.10 branch · 3f1c6303
  Ralf Jung authored 5 years ago
  
  3f1c6303
Jun 18, 2019
- prepare for API-triggered builds · 89ccfbc3
  Ralf Jung authored 5 years ago
  
  89ccfbc3
Mar 18, 2019
- prepare for nightly builds · a95c2c50
  Ralf Jung authored 6 years ago
  
  a95c2c50
- set up CI and update Makefile · 317dbb70
  Ralf Jung authored 6 years ago
  
  317dbb70