File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1414 validate-rust :
1515 name : Rust build validation
1616 runs-on : ubuntu-latest
17+ timeout-minutes : 60
1718 steps :
1819 - uses : actions/checkout@9f698171ed81b15d1823a05fc7211befd50c8ae0 # v6.0.3
1920 - uses : dtolnay/rust-toolchain@29eef336d9b2848a0b548edc03f92a220660cdb8 # stable
2324 validate-elixir :
2425 name : Elixir build validation
2526 runs-on : ubuntu-latest
27+ timeout-minutes : 60
2628 defaults :
2729 run :
2830 working-directory : elixir-orchestration
Original file line number Diff line number Diff line change @@ -10,6 +10,7 @@ permissions: read-all
1010jobs :
1111 batch-fuzzing :
1212 runs-on : ubuntu-latest
13+ timeout-minutes : 60
1314 strategy :
1415 fail-fast : false
1516 matrix :
Original file line number Diff line number Diff line change @@ -14,6 +14,7 @@ concurrency:
1414jobs :
1515 pr-fuzzing :
1616 runs-on : ubuntu-latest
17+ timeout-minutes : 60
1718 strategy :
1819 fail-fast : false
1920 matrix :
Original file line number Diff line number Diff line change @@ -23,6 +23,7 @@ permissions: read-all
2323jobs :
2424 analyze :
2525 runs-on : ubuntu-latest
26+ timeout-minutes : 60
2627 permissions :
2728 contents : read
2829 security-events : write
Original file line number Diff line number Diff line change 2929 build :
3030 name : Compile Coq proofs + assumptions guard
3131 runs-on : ubuntu-latest
32+ timeout-minutes : 60
3233 steps :
3334 - name : Checkout
3435 uses : actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
Original file line number Diff line number Diff line change 2222 a2ml-validate :
2323 name : Validate A2ML manifests
2424 runs-on : ubuntu-latest
25+ timeout-minutes : 60
2526
2627 steps :
2728 - name : Checkout repository
Original file line number Diff line number Diff line change 2929 build-test :
3030 name : compile + test
3131 runs-on : ubuntu-latest
32+ timeout-minutes : 60
3233 defaults :
3334 run :
3435 working-directory : elixir-orchestration
6263 # coveralls.json, so they don't dilute the unit-coverage denominator.
6364 name : ExCoveralls (unit, gate in coveralls.json)
6465 runs-on : ubuntu-latest
66+ timeout-minutes : 60
6567 defaults :
6668 run :
6769 working-directory : elixir-orchestration
8991 bench-compile :
9092 name : benchee scripts compile
9193 runs-on : ubuntu-latest
94+ timeout-minutes : 60
9295 defaults :
9396 run :
9497 working-directory : elixir-orchestration
@@ -115,6 +118,7 @@ jobs:
115118 audit :
116119 name : hex audit
117120 runs-on : ubuntu-latest
121+ timeout-minutes : 60
118122 defaults :
119123 run :
120124 working-directory : elixir-orchestration
Original file line number Diff line number Diff line change 2222 fuzz-core :
2323 name : Core Fuzz Tests
2424 runs-on : ubuntu-latest
25+ timeout-minutes : 60
2526 permissions :
2627 contents : read
2728 steps :
3738 fuzz-debugger :
3839 name : Debugger Fuzz Tests
3940 runs-on : ubuntu-latest
41+ timeout-minutes : 60
4042 permissions :
4143 contents : read
4244 steps :
Original file line number Diff line number Diff line change @@ -14,6 +14,7 @@ permissions:
1414jobs :
1515 dispatch :
1616 runs-on : ubuntu-latest
17+ timeout-minutes : 60
1718 steps :
1819 - name : Trigger Propagation
1920 uses : peter-evans/repository-dispatch@28959ce8df70de7be546dd1250a005dd32156697 # v3
Original file line number Diff line number Diff line change 1919 reuse-lint :
2020 name : reuse lint
2121 runs-on : ubuntu-latest
22+ timeout-minutes : 60
2223 steps :
2324 - name : Checkout
2425 uses : actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
You can’t perform that action at this time.
0 commit comments