Skip to content

Commit a48b843

Browse files
committed
Include workflow and echidna config CI trigger
1 parent cf0804c commit a48b843

File tree

4 files changed

+10
-4
lines changed

4 files changed

+10
-4
lines changed

.github/workflows/echidna.yml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,12 +3,16 @@ name: Run Echidna tests
33
on:
44
push:
55
paths:
6+
- ".github/workflows/echidna.yml"
67
- "program-analysis/echidna/**/*.sol"
8+
- "program-analysis/echidna/**/*.yml"
79
branches:
810
- master
911
pull_request:
1012
paths:
13+
- ".github/workflows/echidna.yml"
1114
- "program-analysis/echidna/**/*.sol"
15+
- "program-analysis/echidna/**/*.yml"
1216
schedule:
1317
# run CI every day even if no PRs/merges occur
1418
- cron: "0 12 * * *"

.github/workflows/lint_links.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,11 @@ on:
55
branches:
66
- master
77
paths:
8+
- ".github/workflows/lint_links.yml"
89
- "**.md"
910
pull_request:
1011
paths:
12+
- ".github/workflows/lint_links.yml"
1113
- "**.md"
1214
schedule:
1315
# run CI at 09:00, on day 1 of the month even if no PRs/merges occur

.github/workflows/manticore.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,13 @@ name: Run Manticore tests
33
on:
44
push:
55
paths:
6+
- ".github/workflows/manticore.yml"
67
- "program-analysis/manticore/**/*.py"
78
branches:
89
- master
910
pull_request:
1011
paths:
12+
- ".github/workflows/manticore.yml"
1113
- "program-analysis/manticore/**/*.py"
1214
schedule:
1315
# run CI every day even if no PRs/merges occur
@@ -30,7 +32,5 @@ jobs:
3032
solc-select install 0.5.11
3133
solc-select use 0.5.11
3234
- name: Run Tests
33-
env:
34-
TEST_TYPE: manticore
3535
run: |
3636
bash program-analysis/manticore/scripts/gh_action_test.sh

.github/workflows/slither.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,13 @@ name: Run Slither tests
33
on:
44
push:
55
paths:
6+
- ".github/workflows/slither.yml"
67
- "program-analysis/slither/**/*.py"
78
branches:
89
- master
910
pull_request:
1011
paths:
12+
- ".github/workflows/slither.yml"
1113
- "program-analysis/slither/**/*.py"
1214
schedule:
1315
# run CI every day even if no PRs/merges occur
@@ -30,7 +32,5 @@ jobs:
3032
solc-select install 0.5.11
3133
solc-select use 0.5.11
3234
- name: Run Tests
33-
env:
34-
TEST_TYPE: slither
3535
run: |
3636
bash program-analysis/slither/scripts/gh_action_test.sh

0 commit comments

Comments
 (0)