Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2023-12-12 | [Chore] Update "actions/checkout" | Roman Melnikov | 1 | -1/+1 | |
Problem: node16 is now deprecated and github-runner provided by nixpkgs no longer supports this runtime. However, "actions/checkout@v3" uses this runtime. Solution: Update CI pipeline to use "actions/checkout@v4". | |||||
2023-09-18 | [Chore] Run CI checks on 'pull_request' | Roman Melnikov | 1 | -1/+1 | |
Problem: We want to be able to run CI checks on PRs from external forks. However, this is only possible with 'on: pull_request', while currently CI is triggered 'on: push' Solution: Change CI triggering condition to 'on: pull_request'. | |||||
2023-01-19 | Switch from buildkite CI to github-actions (#190) | Philipp Herzog | 1 | -0/+11 | |