Skip to content

Commit

Permalink
Workflow dispatch
Browse files Browse the repository at this point in the history
  • Loading branch information
filipeom committed Oct 23, 2024
1 parent fe95447 commit de8cce8
Show file tree
Hide file tree
Showing 6 changed files with 6 additions and 30 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ jobs:
run: df -h

- name: Install dependencies
run: opam install -y . --deps-only --with-test
run: opam install -vvv -y ./smtml.opam --deps-only --with-test

- name: df after install
run: df -h
Expand Down
8 changes: 1 addition & 7 deletions .github/workflows/test-alt-ergo.yml
Original file line number Diff line number Diff line change
@@ -1,12 +1,6 @@
name: Test Alt-Ergo

on:
push:
branches:
- main
pull_request:
branches:
- main
on: workflow-dispatch

jobs:
test-alt-ergo:
Expand Down
8 changes: 1 addition & 7 deletions .github/workflows/test-bitwuzla.yml
Original file line number Diff line number Diff line change
@@ -1,12 +1,6 @@
name: Test Bitwuzla

on:
push:
branches:
- main
pull_request:
branches:
- main
on: workflow-dispatch

jobs:
test-bitwuzla:
Expand Down
8 changes: 1 addition & 7 deletions .github/workflows/test-colibri2.yml
Original file line number Diff line number Diff line change
@@ -1,12 +1,6 @@
name: Test Colibri2

on:
push:
branches:
- main
pull_request:
branches:
- main
on: workflow-dispatch

jobs:
test-colibri2:
Expand Down
8 changes: 1 addition & 7 deletions .github/workflows/test-cvc5.yml
Original file line number Diff line number Diff line change
@@ -1,12 +1,6 @@
name: Test cvc5

on:
push:
branches:
- main
pull_request:
branches:
- main
on: workflow-dispatch

jobs:
test-cvc5:
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/test-z3.yml
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ jobs:

- name: Install dependencies
run: |
opam install -y . --deps-only --with-test
opam install -vvv -y ./smtml.opam --deps-only --with-test
opam install z3
- name: Build
Expand Down

0 comments on commit de8cce8

Please sign in to comment.