aboutsummaryrefslogtreecommitdiff
path: root/.github (follow)
Commit message (Collapse)AuthorAgeFilesLines
* [Chore] Update "actions/checkout"Roman Melnikov2023-12-121-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".
* [Chore] Run CI checks on 'pull_request'Roman Melnikov2023-09-181-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'.
* Switch from buildkite CI to github-actions (#190)Philipp Herzog2023-01-191-0/+11