aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/check.yml (unfollow)
Commit message (Collapse)AuthorFilesLines
2023-12-12[Chore] Update "actions/checkout"Roman Melnikov1-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 Melnikov1-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-19Switch from buildkite CI to github-actions (#190)Philipp Herzog1-0/+11