Skip to content

Merge pull request #208 from JuliaDiff/ox/bundle3 #1116

Merge pull request #208 from JuliaDiff/ox/bundle3

Merge pull request #208 from JuliaDiff/ox/bundle3 #1116

Workflow file for this run

name: CI
on:
schedule:
- cron: '0 6 * * *' # Daily at 6 AM UTC (2 AM EST)
pull_request:
push:
branches:
- main
tags: '*'
workflow_dispatch:
jobs:
test:
name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
version:
- '^1.10.0-0'
- 'nightly'
os:
- ubuntu-latest
- macOS-latest
# FIXME
# - windows-latest
arch:
- x64
steps:
- uses: actions/checkout@v3
- uses: julia-actions/setup-julia@v1
with:
version: ${{ matrix.version }}
arch: ${{ matrix.arch }}
- uses: actions/cache@v3
env:
cache-name: cache-artifacts
with:
path: ~/.julia/artifacts
key: ${{ runner.os }}-test-${{ env.cache-name }}-${{ hashFiles('**/Project.toml') }}
restore-keys: |
${{ runner.os }}-test-${{ env.cache-name }}-
${{ runner.os }}-test-
${{ runner.os }}-
- uses: julia-actions/julia-buildpkg@v1
- uses: julia-actions/julia-runtest@v1
- uses: julia-actions/julia-processcoverage@v1
- uses: codecov/codecov-action@v1
with:
file: lcov.info
build_terminology_latex:
name: Build Terminology LaTeX
runs-on: ubuntu-latest
steps:
- name: Set up Git repository
uses: actions/checkout@v3
- name: Compile LaTeX document
uses: xu-cheng/texlive-action/full@v1
with:
run: |
cd docs/terminology
latexmk -pdf -shell-escape terminology.tex
- name: Upload Artifact
uses: actions/upload-artifact@v3
with:
name: terminology
path: docs/terminology/terminology.pdf
docs:
name: Documentation
runs-on: ubuntu-latest
needs: build_terminology_latex
steps:
- uses: actions/checkout@v3
- uses: julia-actions/setup-julia@v1
with:
version: 'nightly'
- name: Download Terminology
uses: actions/download-artifact@v3
with:
name: terminology
path: docs/src/
- name: Build Docs
run: |
julia --project=docs -e '
using Pkg
Pkg.develop(PackageSpec(path=pwd()))
Pkg.instantiate()
include("docs/make.jl")'
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}