Skip to content

Actions: nowarp/misti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
574 workflow runs
574 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
WIP: Detector properExitCodeUsage CI #509: Pull request #201 opened by Esorat
October 26, 2024 12:53 2m 3s Esorat:103-exit-code-usage
Esorat:103-exit-code-usage
October 26, 2024 12:53 2m 3s
feat(SuspiciousMessageMode): Dynamic suggestions for integer literals… CI #508: Commit 46420ac pushed by jubnzv
October 26, 2024 12:43 1m 54s master
master
October 26, 2024 12:43 1m 54s
Dynamic suggestions for integer literals in SuspiciousMessageMode detector CI #507: Pull request #200 synchronize by jubnzv
October 26, 2024 12:24 2m 12s Esorat:196-SuspiciousMessageMode-literals
Esorat:196-SuspiciousMessageMode-literals
October 26, 2024 12:24 2m 12s
Dynamic suggestions for integer literals in SuspiciousMessageMode detector CI #506: Pull request #200 synchronize by jubnzv
October 26, 2024 12:24 2m 9s Esorat:196-SuspiciousMessageMode-literals
Esorat:196-SuspiciousMessageMode-literals
October 26, 2024 12:24 2m 9s
Dynamic suggestions for integer literals in SuspiciousMessageMode detector CI #505: Pull request #200 synchronize by jubnzv
October 26, 2024 12:24 2m 26s Esorat:196-SuspiciousMessageMode-literals
Esorat:196-SuspiciousMessageMode-literals
October 26, 2024 12:24 2m 26s