Skip to content

Actions: primetype/slither

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Audit Audit #14: Scheduled
26s main
main
26s
Audit Audit #13: Scheduled
24s main
main
24s
Audit Audit #12: Scheduled
31s main
main
31s
Test Test #11: completed by NicolasDP
1m 48s
1m 48s
fix: discharge PR #1's review findings (rulings 285, 286) Pages #9: Commit 8640e41 pushed by NicolasDP
1m 4s main
main
1m 4s
fix: discharge PR #1's review findings (rulings 285, 286) Check #11: Commit 8640e41 pushed by NicolasDP
43s main
main
43s
Test Test #10: completed by NicolasDP
1m 44s
1m 44s
fix(demo): match the ratified TimedOut wording in the partition check Pages #8: Commit 60c45e8 pushed by NicolasDP
2m 10s main
main
2m 10s
fix(demo): match the ratified TimedOut wording in the partition check Check #10: Commit 60c45e8 pushed by NicolasDP
1m 28s main
main
1m 28s
Test Test #9: completed by NicolasDP
2m 5s
2m 5s
chore: Release slither version 0.4.0 Pages #7: Commit 87481f0 pushed by NicolasDP
56s main
main
56s
chore: Release slither version 0.4.0 Check #9: Commit 87481f0 pushed by NicolasDP
39s main
main
39s
Test Test #8: completed by NicolasDP
2m 15s
2m 15s
Merge pull request #1 from primetype/codex/configurable-timing Pages #6: Commit dd16db7 pushed by NicolasDP
50s main
main
50s
Merge pull request #1 from primetype/codex/configurable-timing Check #8: Commit dd16db7 pushed by NicolasDP
56s main
main
56s
Test Test #7: completed by NicolasDP
2m 1s
2m 1s
feat: add configurable liveness timing with safe deadlines Check #7: Pull request #1 opened by NicolasDP
51s codex/configurable-timing
codex/configurable-timing
51s
Audit Audit #11: Scheduled
32s main
main
32s
Audit Audit #10: Scheduled
25s main
main
25s
Audit Audit #9: Scheduled
22s main
main
22s
Audit Audit #8: Scheduled
22s main
main
22s
Audit Audit #7: Scheduled
20s main
main
20s
Audit Audit #6: Scheduled
23s main
main
23s
Audit Audit #5: Scheduled
25s main
main
25s
Audit Audit #4: Scheduled
22s main
main
22s