Skip to content

Resolved #34 - Option to make the package server the download location instead of the GitHub repo #41

Resolved #34 - Option to make the package server the download location instead of the GitHub repo

Resolved #34 - Option to make the package server the download location instead of the GitHub repo #41

Workflow file for this run

name: CI
on:
push:
branches:
- main
tags: "*"
pull_request:
types: [opened, synchronize, reopened, ready_for_review]
concurrency:
# Skip intermediate builds: always.
# Cancel intermediate builds: only if it is a pull request build.
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
jobs:
test:
name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ github.event_name }}
# Run on push's or non-draft PRs
if: (github.event_name == 'push') || (github.event.pull_request.draft == false)
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
version:
- "1.8"
- "1"
os:
- ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: julia-actions/setup-julia@v1
with:
version: ${{ matrix.version }}
- uses: julia-actions/cache@v1
- uses: julia-actions/julia-buildpkg@v1
- uses: julia-actions/julia-runtest@v1
- uses: julia-actions/julia-processcoverage@v1
- uses: codecov/codecov-action@v3
with:
file: lcov.info