Skip to content

Moved the pdf from gdrive to repository. Closes #1644 #1144

Moved the pdf from gdrive to repository. Closes #1644

Moved the pdf from gdrive to repository. Closes #1644 #1144

Workflow file for this run

name: CI
on:
pull_request:
branches:
- 'main'
push:
branches-ignore:
- 'main'
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Run CI
run: |
make ci