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

Add SuspiciousMessageMode detector CI #459: Pull request #193 opened by Esorat
October 21, 2024 15:38 2m 10s Esorat:85-sendParameters-Sanity-Checker
Esorat:85-sendParameters-Sanity-Checker
October 21, 2024 15:38 2m 10s
feat(worklist): Support meet semilattices CI #458: Commit e461367 pushed by jubnzv
October 21, 2024 10:55 2m 13s master
master
October 21, 2024 10:55 2m 13s
Add --list-detectors CLI option CI #457: Pull request #192 opened by Esorat
October 21, 2024 09:34 2m 6s Esorat:169-cli-list-detectors
Esorat:169-cli-list-detectors
October 21, 2024 09:34 2m 6s
fix(changelog): Wrong links to gh prs CI #456: Commit 04ed4ef pushed by jubnzv
October 21, 2024 07:06 2m 1s master
master
October 21, 2024 07:06 2m 1s
Add Callgraph CI #455: Pull request #185 synchronize by Esorat
October 20, 2024 12:48 2m 18s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 20, 2024 12:48 2m 18s
Add Callgraph CI #454: Pull request #185 synchronize by Esorat
October 20, 2024 12:41 1m 6s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 20, 2024 12:41 1m 6s
Add Callgraph CI #453: Pull request #185 synchronize by jubnzv
October 20, 2024 12:02 55s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 20, 2024 12:02 55s
Add Callgraph CI #452: Pull request #185 synchronize by jubnzv
October 20, 2024 12:02 56s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 20, 2024 12:02 56s
Add Callgraph CI #451: Pull request #185 synchronize by jubnzv
October 20, 2024 11:58 57s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 20, 2024 11:58 57s
Add Callgraph CI #450: Pull request #185 synchronize by Esorat
October 20, 2024 11:56 1m 3s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 20, 2024 11:56 1m 3s
Add Callgraph CI #449: Pull request #185 synchronize by Esorat
October 20, 2024 10:37 2m 8s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 20, 2024 10:37 2m 8s
Add Callgraph CI #448: Pull request #185 synchronize by Esorat
October 20, 2024 10:13 2m 9s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 20, 2024 10:13 2m 9s
Add Callgraph CI #447: Pull request #185 synchronize by Esorat
October 20, 2024 10:11 1m 20s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 20, 2024 10:11 1m 20s
feat(detectors): Add UnusedExpressionResult (#190) CI #446: Commit ec0ed6c pushed by jubnzv
October 20, 2024 08:29 2m 23s master
master
October 20, 2024 08:29 2m 23s
New Detector: UnusedExpressionResult CI #445: Pull request #190 synchronize by jubnzv
October 20, 2024 08:25 2m 3s 83-unused-expr-result
83-unused-expr-result
October 20, 2024 08:25 2m 3s
New Detector: UnusedExpressionResult CI #444: Pull request #190 synchronize by jubnzv
October 20, 2024 08:19 2m 10s 83-unused-expr-result
83-unused-expr-result
October 20, 2024 08:19 2m 10s
New Detector: UnusedExpressionResult CI #443: Pull request #190 synchronize by jubnzv
October 20, 2024 08:16 1m 21s 83-unused-expr-result
83-unused-expr-result
October 20, 2024 08:16 1m 21s
New Detector: UnusedExpressionResult CI #442: Pull request #190 synchronize by jubnzv
October 20, 2024 08:16 1m 18s 83-unused-expr-result
83-unused-expr-result
October 20, 2024 08:16 1m 18s
New Detector: UnusedExpressionResult CI #441: Pull request #190 opened by jubnzv
October 20, 2024 08:10 2m 1s 83-unused-expr-result
83-unused-expr-result
October 20, 2024 08:10 2m 1s
Add Callgraph CI #440: Pull request #185 synchronize by Esorat
October 20, 2024 07:38 1m 27s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 20, 2024 07:38 1m 27s
feat(detectors): Add UnboundMap CI #439: Commit a2b2649 pushed by jubnzv
October 20, 2024 01:51 2m 16s master
master
October 20, 2024 01:51 2m 16s
feat(ir): Improve ImportGraph functionality; refactor AstStore (#… CI #438: Commit 4cdd7ce pushed by jubnzv
October 19, 2024 11:23 2m 8s master
master
October 19, 2024 11:23 2m 8s
IR: Improve ImportGraph functionality; refactor AstStore CI #437: Pull request #187 synchronize by jubnzv
October 19, 2024 10:58 2m 5s refactor-imports-and-aststore
refactor-imports-and-aststore
October 19, 2024 10:58 2m 5s
IR: Improve ImportGraph functionality; refactor AstStore CI #436: Pull request #187 opened by jubnzv
October 19, 2024 10:55 1m 32s refactor-imports-and-aststore
refactor-imports-and-aststore
October 19, 2024 10:55 1m 32s
Add Callgraph CI #435: Pull request #185 synchronize by Esorat
October 19, 2024 07:02 2m 8s Esorat:91-add-callgraph
Esorat:91-add-callgraph
October 19, 2024 07:02 2m 8s