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