2023-03-10 18:41:00 +00:00
|
|
|
name: CI
|
|
|
|
on:
|
|
|
|
push:
|
|
|
|
branches:
|
|
|
|
- main
|
|
|
|
tags: '*'
|
|
|
|
pull_request:
|
|
|
|
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:
|
2023-03-10 21:01:56 -05:00
|
|
|
build_latex:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- name: Set up Git repository
|
|
|
|
uses: actions/checkout@v2
|
|
|
|
|
|
|
|
- uses: cachix/install-nix-action@v15
|
|
|
|
with:
|
|
|
|
extra_nix_config: |
|
|
|
|
access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
|
|
|
|
- run: cd papers/Report
|
|
|
|
- run: nix build
|
|
|
|
- run: cp result/index.pdf report.pdf
|
|
|
|
|
|
|
|
- uses: actions/upload-artifact@v3
|
|
|
|
with:
|
|
|
|
name: pdf
|
|
|
|
path: report.pdf
|
|
|
|
|
|
|
|
- uses: "marvinpinto/action-automatic-releases@latest"
|
|
|
|
with:
|
|
|
|
repo_token: "${{ secrets.GITHUB_TOKEN }}"
|
|
|
|
automatic_release_tag: "latest"
|
|
|
|
prerelease: true
|
|
|
|
title: "WiP Build"
|
|
|
|
files: |
|
|
|
|
result/report.pdf
|
|
|
|
|
2023-03-10 18:41:00 +00:00
|
|
|
test:
|
|
|
|
name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}
|
|
|
|
runs-on: ${{ matrix.os }}
|
|
|
|
strategy:
|
|
|
|
fail-fast: false
|
|
|
|
matrix:
|
|
|
|
version:
|
|
|
|
- '1'
|
|
|
|
os:
|
|
|
|
- ubuntu-latest
|
|
|
|
arch:
|
|
|
|
- x64
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
- uses: julia-actions/setup-julia@v1
|
|
|
|
with:
|
|
|
|
version: ${{ matrix.version }}
|
|
|
|
arch: ${{ matrix.arch }}
|
|
|
|
- uses: julia-actions/cache@v1
|
|
|
|
- uses: julia-actions/julia-buildpkg@v1
|
|
|
|
|
|
|
|
- name: Run tests
|
|
|
|
run: >
|
|
|
|
julia --project=. --color=yes test/runtests.jl
|