Skip to content

Actions: crytic/building-secure-contracts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,026 workflow runs
2,026 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run Slither tests
Run Slither tests #567: Scheduled
22s master
Run Manticore tests
Run Manticore tests #562: Scheduled
1m 5s master
Run Medusa tests
Run Medusa tests #90: Scheduled
2m 16s master
Run Echidna tests
Run Echidna tests #1453: Scheduled
1m 48s master
Run Slither tests
Run Slither tests #566: Scheduled
36s master
Run Manticore tests
Run Manticore tests #561: Scheduled
1m 25s master
Run Medusa tests
Run Medusa tests #89: Scheduled
2m 40s master
Run Echidna tests
Run Echidna tests #1452: Scheduled
1m 11s master
Run Slither tests
Run Slither tests #565: Scheduled
26s master
Run Manticore tests
Run Manticore tests #560: Scheduled
1m 13s master
Run Medusa tests
Run Medusa tests #88: Scheduled
2m 20s master
Lint Check Markdown Links
Lint Check Markdown Links #361: Scheduled
3m 15s master
Medusa summary (#376)
Lint Check Markdown Links #360: Commit 506a571 pushed by montyly
3m 11s master
Medusa summary (#376)
Deploy GH pages #101: Commit 506a571 pushed by montyly
2m 2s master
Medusa summary (#376)
Lint Check Format #340: Commit 506a571 pushed by montyly
24s master
Medusa summary
Lint Check Format #339: Pull request #376 synchronize by montyly
Medusa summary
Lint Check Markdown Links #359: Pull request #376 synchronize by montyly
Medusa summary
Lint Check Markdown Links #358: Pull request #376 opened by montyly
Update custom.css (#375)
Lint Check Format #337: Commit 099dc60 pushed by montyly
23s master
Update custom.css (#375)
Deploy GH pages #100: Commit 099dc60 pushed by montyly
1m 57s master
Update custom.css
Lint Check Format #336: Pull request #375 synchronize by montyly
Update custom.css
Lint Check Format #335: Pull request #375 opened by montyly
Run Echidna tests
Run Echidna tests #1451: Scheduled
1m 13s master
Run Slither tests
Run Slither tests #564: Scheduled
22s master
ProTip! You can narrow down the results and go further in time using created:<2024-10-07 or the other filters available.