Skip to content

Actions: nowarp/misti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
604 workflow runs
604 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

`shortCircuitCondition' detector CI #534: Pull request #202 synchronize by Esorat
November 1, 2024 14:34 1m 57s Esorat:144-short-circuit-condition-optimization
Esorat:144-short-circuit-condition-optimization
November 1, 2024 14:34 1m 57s
Release 0.5.0 CI #533: Commit 080809c pushed by jubnzv
October 31, 2024 15:31 1m 57s master
master
October 31, 2024 15:31 1m 57s
chore: Update RELEASE.md CI #532: Commit 49c942d pushed by jubnzv
October 31, 2024 15:30 1m 55s master
master
October 31, 2024 15:30 1m 55s
chore: Update readme CI #531: Commit f251900 pushed by jubnzv
October 31, 2024 15:20 2m 7s master
master
October 31, 2024 15:20 2m 7s
chore: Update readme CI #530: Commit 6a871bc pushed by jubnzv
October 31, 2024 15:19 2m 17s master
master
October 31, 2024 15:19 2m 17s
chore: Update readme CI #529: Commit ba2a04e pushed by jubnzv
October 31, 2024 15:17 2m 7s master
master
October 31, 2024 15:17 2m 7s
`shortCircuitCondition' detector CI #528: Pull request #202 synchronize by Esorat
October 31, 2024 12:53 2m 10s Esorat:144-short-circuit-condition-optimization
Esorat:144-short-circuit-condition-optimization
October 31, 2024 12:53 2m 10s
`shortCircuitCondition' detector CI #527: Pull request #202 synchronize by Esorat
October 31, 2024 12:35 2m 1s Esorat:144-short-circuit-condition-optimization
Esorat:144-short-circuit-condition-optimization
October 31, 2024 12:35 2m 1s
fix(sendInLoop): Stack overflow on large contracts CI #526: Commit 74a89c4 pushed by jubnzv
October 31, 2024 12:26 2m 22s master
master
October 31, 2024 12:26 2m 22s
`shortCircuitCondition' detector CI #525: Pull request #202 synchronize by Esorat
October 31, 2024 09:44 2m 2s Esorat:144-short-circuit-condition-optimization
Esorat:144-short-circuit-condition-optimization
October 31, 2024 09:44 2m 2s
Add Callgraph CI #524: Pull request #185 synchronize by Esorat
October 31, 2024 07:29 1m 1s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 31, 2024 07:29 1m 1s
Add Callgraph CI #523: Pull request #185 synchronize by Esorat
October 31, 2024 06:50 1m 0s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 31, 2024 06:50 1m 0s
New detector: EtaLikeSimplifications CI #522: Pull request #198 synchronize by Esorat
October 29, 2024 13:00 1m 56s Esorat:92-detect-eta
Esorat:92-detect-eta
October 29, 2024 13:00 1m 56s
`shortCircuitCondition' detector CI #521: Pull request #202 synchronize by Esorat
October 29, 2024 06:24 1m 53s Esorat:144-short-circuit-condition-optimization
Esorat:144-short-circuit-condition-optimization
October 29, 2024 06:24 1m 53s
feat(driver): Support suppression annotations (#203) CI #520: Commit 3c31e7f pushed by jubnzv
October 29, 2024 02:33 1m 58s master
master
October 29, 2024 02:33 1m 58s
Support suppression annotations CI #519: Pull request #203 synchronize by jubnzv
October 29, 2024 02:31 1m 57s 43-suppress
43-suppress
October 29, 2024 02:31 1m 57s
Support suppression annotations CI #518: Pull request #203 opened by jubnzv
October 29, 2024 02:30 2m 2s 43-suppress
43-suppress
October 29, 2024 02:30 2m 2s
chore(README): Soufflé installation is optional CI #517: Commit 601e15e pushed by jubnzv
October 28, 2024 13:25 1m 57s master
master
October 28, 2024 13:25 1m 57s
Add Callgraph CI #516: Pull request #185 synchronize by Esorat
October 28, 2024 13:20 2m 9s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 28, 2024 13:20 2m 9s
`shortCircuitCondition' detector CI #515: Pull request #202 synchronize by Esorat
October 28, 2024 04:49 2m 0s Esorat:144-short-circuit-condition-optimization
Esorat:144-short-circuit-condition-optimization
October 28, 2024 04:49 2m 0s
`shortCircuitCondition' detector CI #514: Pull request #202 synchronize by Esorat
October 27, 2024 16:59 2m 6s Esorat:144-short-circuit-condition-optimization
Esorat:144-short-circuit-condition-optimization
October 27, 2024 16:59 2m 6s
`shortCircuitCondition' detector CI #513: Pull request #202 opened by Esorat
October 27, 2024 10:39 2m 10s Esorat:144-short-circuit-condition-optimization
Esorat:144-short-circuit-condition-optimization
October 27, 2024 10:39 2m 10s
New detector: EtaLikeSimplifications CI #512: Pull request #198 synchronize by Esorat
October 27, 2024 05:59 1m 53s Esorat:92-detect-eta
Esorat:92-detect-eta
October 27, 2024 05:59 1m 53s
Add Callgraph CI #511: Pull request #185 synchronize by Esorat
October 27, 2024 05:36 2m 5s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 27, 2024 05:36 2m 5s
chore: Use transparent flat svg icon CI #510: Commit f3b5ddb pushed by jubnzv
October 27, 2024 05:29 2m 1s master
master
October 27, 2024 05:29 2m 1s