Skip to content

Actions: nowarp/misti

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
552 workflow runs
552 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SuspiciousMessageMode: Don't report 0
CI #503: Pull request #199 synchronize by Esorat
October 25, 2024 09:43 1m 55s Esorat:197-SuspiciousMessageMode-0
October 25, 2024 09:43 1m 55s
New detector: EtaLikeSimplifications
CI #501: Pull request #198 synchronize by Esorat
October 25, 2024 06:57 1m 56s Esorat:92-detect-eta
October 25, 2024 06:57 1m 56s
New detector: EtaLikeSimplifications
CI #500: Pull request #198 synchronize by Esorat
October 25, 2024 06:44 1m 35s Esorat:92-detect-eta
October 25, 2024 06:44 1m 35s
Add Callgraph
CI #499: Pull request #185 synchronize by Esorat
October 25, 2024 06:37 2m 11s Esorat:91-add-callgraph
October 25, 2024 06:37 2m 11s
fix(test)
CI #498: Commit b30afcb pushed by jubnzv
October 25, 2024 01:35 2m 9s master
October 25, 2024 01:35 2m 9s
feat(ir): Introduce branded types
CI #497: Commit 374d1f8 pushed by jubnzv
October 25, 2024 01:31 2m 1s master
October 25, 2024 01:31 2m 1s
New detector: EtaLikeSimplifications
CI #496: Pull request #198 synchronize by Esorat
October 24, 2024 15:17 1m 37s Esorat:92-detect-eta
October 24, 2024 15:17 1m 37s
feat(detectors): Add timeout on executing detectors
CI #495: Commit 16914d8 pushed by jubnzv
October 24, 2024 12:53 1m 59s master
October 24, 2024 12:53 1m 59s
feat(imports): Better error on missing imported file
CI #494: Commit 9eebff4 pushed by jubnzv
October 24, 2024 12:40 1m 55s master
October 24, 2024 12:40 1m 55s
feat(driver): Accept directory as input (#195)
CI #493: Commit 15ec254 pushed by jubnzv
October 24, 2024 12:29 5m 16s master
October 24, 2024 12:29 5m 16s
Driver: Accept directory as input
CI #492: Pull request #195 synchronize by jubnzv
October 24, 2024 12:26 4m 41s 155-dir-input
October 24, 2024 12:26 4m 41s
Driver: Accept directory as input
CI #491: Pull request #195 synchronize by jubnzv
October 24, 2024 07:26 1m 55s 155-dir-input
October 24, 2024 07:26 1m 55s
Driver: Accept directory as input
CI #490: Pull request #195 opened by jubnzv
October 24, 2024 07:25 2m 2s 155-dir-input
October 24, 2024 07:25 2m 2s
fix(imports): Import graph building error
CI #489: Commit 4ac3e79 pushed by jubnzv
October 24, 2024 07:19 2m 31s master
October 24, 2024 07:19 2m 31s
feat(detectors): Add SuspiciousMessageMode (#193)
CI #488: Commit fd9cf42 pushed by jubnzv
October 24, 2024 06:44 1m 54s master
October 24, 2024 06:44 1m 54s
feat(driver): Leverage ImportGraph to resolve entry points (#194)
CI #483: Commit 18223c4 pushed by jubnzv
October 24, 2024 02:17 2m 1s master
October 24, 2024 02:17 2m 1s
Leverage ImportGraph to resolve entry points
CI #482: Pull request #194 synchronize by jubnzv
October 24, 2024 02:14 2m 3s 57-no-project-config
October 24, 2024 02:14 2m 3s
Leverage ImportGraph to resolve entry points
CI #481: Pull request #194 synchronize by jubnzv
October 24, 2024 02:10 2m 9s 57-no-project-config
October 24, 2024 02:10 2m 9s
Leverage ImportGraph to resolve entry points
CI #480: Pull request #194 synchronize by jubnzv
October 24, 2024 01:39 6m 7s 57-no-project-config
October 24, 2024 01:39 6m 7s