Skip to content

Commit

Permalink
Run on all pushes
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed Jan 18, 2024
1 parent 367fc61 commit 5ca0232
Show file tree
Hide file tree
Showing 4 changed files with 12 additions and 12 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/ci.ml
Original file line number Diff line number Diff line change
Expand Up @@ -42,9 +42,9 @@ on:
- '!tests/bench/**'
- 'shell/'
push:
branches:
- 'master'
- '2.**'
# branches:
# - 'master'
# - '2.**'
|} name;
if env <> [] then begin
output_char oc '\n';
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/depexts.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,9 +7,9 @@ on:
- '.github/workflows/depexts.yml'
- '.github/scripts/depexts/**'
push:
paths:
- 'master'
- '2.**'
# paths:
# - 'master'
# - '2.**'

defaults:
run:
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -17,9 +17,9 @@ on:
- '!tests/bench/**'
- 'shell/'
push:
branches:
- 'master'
- '2.**'
# branches:
# - 'master'
# - '2.**'

env:
OPAMBSVERSION: 2.1.0
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/scripts.yml
Original file line number Diff line number Diff line change
Expand Up @@ -8,9 +8,9 @@ on:
- '.github/scripts/scripts/hygiene.sh'
- '.github/scripts/common/hygiene-preamble.sh'
push:
branches:
- 'master'
- '2.**'
# branches:
# - 'master'
# - '2.**'

defaults:
run:
Expand Down

0 comments on commit 5ca0232

Please sign in to comment.