Skip to content

Initial commit

Initial commit #4

Workflow file for this run

name: CI
on:
merge_group:
pull_request:
push:
branches:
- main
tags:
- "*"
concurrency:
# Skip intermediate builds: all builds except for builds on the `master` branch
# Cancel intermediate builds: only pull request builds
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/main' || github.run_number }}
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
permissions:
contents: read
jobs:
finalize:
timeout-minutes: 10
needs: [test]
if: always()
runs-on: ubuntu-latest
steps:
- run: |
echo test: ${{ needs.test.result }}
- run: exit 1
if: |
(needs.test.result != 'success')
test:
runs-on: ${{ matrix.os }}
timeout-minutes: 60
strategy:
fail-fast: false
matrix:
version:
- "1.10"
os:
- macos-latest
- ubuntu-latest
- windows-latest
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11
with:
persist-credentials: false
# - uses: julia-actions/setup-julia@a1561e938c17e7aaf8236334d6d533e774c71dcd
# with:
# version: ${{ matrix.version }}
# - uses: julia-actions/julia-buildpkg@90dd6f23eb49626e4e6612cb9d64d456f86e6a1c
# - uses: julia-actions/julia-runtest@79a7e100883947123f8263c5f06e6c0ea3eb972f