1. 6c27cef ci: drop go1.12 add go1.15 by Paul Jolly · 4 years, 6 months ago
  2. c3f30d8 ci: name dispatch workflow differently to default branch push workflow by Paul Jolly · 4 years, 7 months ago
  3. ff8373c internal/core/eval: fixes to closedness algorithm by Marcel van Lohuizen · 4 years, 8 months ago
  4. 9cf3644 ci: revert ci changes for now by Paul Jolly · 4 years, 9 months ago
  5. f8e5c71 ci: fix dispatch again by Paul Jolly · 4 years, 9 months ago
  6. e72c9c3 ci: use cueckoo to create the temporary build branch by Paul Jolly · 4 years, 9 months ago
  7. f082dbd ci: fix dispatch workflow by Paul Jolly · 4 years, 9 months ago
  8. 8de8f34 ci: fix up the CI workflow by Paul Jolly · 4 years, 9 months ago
  9. 78cc785 ci: fix vendor path of GitHub workflow definitions by Paul Jolly · 4 years, 10 months ago
  10. c47316f ci: only run gorelease check on latest versions of Go by Paul Jolly · 4 years, 10 months ago
  11. 2f69bfa ci: re-add Go 1.12.x to the build matrix by Paul Jolly · 4 years, 10 months ago
  12. a801188 ci: tidy up and refactor GitHub workflow specifications by Paul Jolly · 4 years, 10 months ago
  13. 4c7d062 ci: add -f (fail) flag to curl calls in GitHub Actions trigger by Paul Jolly · 4 years, 10 months ago
  14. 8fcefc8 ci: fix error in workflow generation task by Paul Jolly · 4 years, 10 months ago
  15. 65163a0 ci: use CUE for GitHub Actions workflow specifications by Paul Jolly · 4 years, 10 months ago