blob: dfcfb7b4cf81ec9c5b2d89b47297ed222867860f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
name: continuous integration
on: push
jobs:
build:
name: build
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- uses: ./isabelle-action
with:
OPTION: "build -D ."
|