Fix the "default arch" code path with Julia nightly (and add a CI job for that code path) (#115)

This commit is contained in:
Dilum Aluthge
2022-06-25 03:26:39 -04:00
committed by GitHub
parent 40f50bc31f
commit 3a89763b86
11 changed files with 103 additions and 15 deletions

View File

@@ -1,9 +1,16 @@
name: "PR Checks"
on: [pull_request, push]
concurrency:
# Skip intermediate builds: all builds except for builds on the `master`, `main`, or `release-*` branches
# Cancel intermediate builds: only pull request builds
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/master' || github.ref != 'refs/heads/main' || startsWith(github.ref, 'refs/heads/release-') || github.run_number }}
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
jobs:
check_pr:
runs-on: ubuntu-latest
timeout-minutes: 60
steps:
- uses: actions/checkout@v1