diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-08-14 00:07:17 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-08-14 00:07:17 +0100 |
| commit | fc1eee2e4d5f1602de7c175a93ff9409b609a2d9 (patch) | |
| tree | 12a1b531b6f644337a33a8615baff7bc80c18588 /.github | |
| parent | 175004360d80753b131a18ab8602b1a0f80457bd (diff) | |
| download | vericert-fc1eee2e4d5f1602de7c175a93ff9409b609a2d9.tar.gz vericert-fc1eee2e4d5f1602de7c175a93ff9409b609a2d9.zip | |
Remove on:
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main.yml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 44309a2..7e04aa3 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -1,19 +1,5 @@ name: CI -on: - push: - branches: [ master ] - paths: - - '**.v' - - '**.ml' - - '**.mli' - pull_request: - branches: [ master ] - paths: - - '**.v' - - '**.ml' - - '**.mli' - jobs: build: runs-on: ubuntu-latest |