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