Skip to content

Actions: crytic/echidna

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Scheduled CodeQL #457: by github-advanced-security AI
47s master
master
47s
build(deps): bump DeterminateSystems/nix-installer-action from 22 to 23 in the gh-actions group CI #2924: Pull request #1633 opened by dependabot Bot
1h 1m 33s dependabot/github_actions/gh-actions-18f7fbd978
dependabot/github_actions/gh-actions-18f7fbd978
1h 1m 33s
build(deps): bump DeterminateSystems/nix-installer-action from 22 to 23 in the gh-actions group HLint #2948: Pull request #1633 opened by dependabot Bot
1m 5s dependabot/github_actions/gh-actions-18f7fbd978
dependabot/github_actions/gh-actions-18f7fbd978
1m 5s
build(deps): bump DeterminateSystems/nix-installer-action from 22 to 23 in the gh-actions group Nix and release #1253: Pull request #1633 opened by dependabot Bot
14m 28s dependabot/github_actions/gh-actions-18f7fbd978
dependabot/github_actions/gh-actions-18f7fbd978
14m 28s
build(deps): bump DeterminateSystems/nix-installer-action from 22 to 23 in the gh-actions group Action #2122: Pull request #1633 opened by dependabot Bot
28s dependabot/github_actions/gh-actions-18f7fbd978
dependabot/github_actions/gh-actions-18f7fbd978
28s
github_actions in /. - Update #1579326704 Dependabot Updates #126: by dependabot Bot
2m 18s master
master
2m 18s
Document the JSON output format accurately HLint #2947: Pull request #1632 synchronize by DefiAudit0x
59s DefiAudit0x:docs/json-output
DefiAudit0x:docs/json-output
59s
Document the JSON output format accurately Nix and release #1252: Pull request #1632 synchronize by DefiAudit0x
10m 55s DefiAudit0x:docs/json-output
DefiAudit0x:docs/json-output
10m 55s
Document the JSON output format accurately CI #2923: Pull request #1632 synchronize by DefiAudit0x
58m 59s DefiAudit0x:docs/json-output
DefiAudit0x:docs/json-output
58m 59s
Document the JSON output format accurately Action #2121: Pull request #1632 synchronize by DefiAudit0x
32s DefiAudit0x:docs/json-output
DefiAudit0x:docs/json-output
32s
Document the JSON output format accurately HLint #2946: Pull request #1632 opened by DefiAudit0x
1m 1s DefiAudit0x:docs/json-output
DefiAudit0x:docs/json-output
1m 1s
Document the JSON output format accurately CI #2922: Pull request #1632 opened by DefiAudit0x
31m 41s DefiAudit0x:docs/json-output
DefiAudit0x:docs/json-output
31m 41s
Document the JSON output format accurately Nix and release #1251: Pull request #1632 opened by DefiAudit0x
14m 50s DefiAudit0x:docs/json-output
DefiAudit0x:docs/json-output
14m 50s
Document the JSON output format accurately Action #2120: Pull request #1632 opened by DefiAudit0x
27s DefiAudit0x:docs/json-output
DefiAudit0x:docs/json-output
27s
Cap generated msg.value at the sender’s balance Action #2119: Pull request #1631 opened by DefiAudit0x
28s DefiAudit0x:fix/1556-zero-balance-sender-value
DefiAudit0x:fix/1556-zero-balance-sender-value
28s
Cap generated msg.value at the sender’s balance Nix and release #1250: Pull request #1631 opened by DefiAudit0x
15m 2s DefiAudit0x:fix/1556-zero-balance-sender-value
DefiAudit0x:fix/1556-zero-balance-sender-value
15m 2s
Cap generated msg.value at the sender’s balance HLint #2945: Pull request #1631 opened by DefiAudit0x
59s DefiAudit0x:fix/1556-zero-balance-sender-value
DefiAudit0x:fix/1556-zero-balance-sender-value
59s
Cap generated msg.value at the sender’s balance CI #2921: Pull request #1631 opened by DefiAudit0x
1h 10m 11s DefiAudit0x:fix/1556-zero-balance-sender-value
DefiAudit0x:fix/1556-zero-balance-sender-value
1h 10m 11s
Scheduled CodeQL #456: by github-advanced-security AI
52s master
master
52s
perf: cache corpus selection as prefix sums and generate fillers on demand Action #2118: Pull request #1618 synchronize by elopez
36s perf/corpus-selection
perf/corpus-selection
36s
perf: cache corpus selection as prefix sums and generate fillers on demand HLint #2944: Pull request #1618 synchronize by elopez
57s perf/corpus-selection
perf/corpus-selection
57s
perf: cache corpus selection as prefix sums and generate fillers on demand Nix and release #1249: Pull request #1618 synchronize by elopez
19m 5s perf/corpus-selection
perf/corpus-selection
19m 5s
perf: cache corpus selection as prefix sums and generate fillers on demand CI #2920: Pull request #1618 synchronize by elopez
49m 40s perf/corpus-selection
perf/corpus-selection
49m 40s
PR #1618 CodeQL #455: by elopez
49s refs/pull/1618/head
refs/pull/1618/head
49s
perf: pick weighted choices with one bounded draw instead of Rational arithmetic Action #2117: Pull request #1617 synchronize by elopez
30s perf/integer-weighted-choice
perf/integer-weighted-choice
30s