Skip to content

Actions: runtimeverification/stable-mir-json

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
195 workflow runs
195 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed monomorphisation bug for FnDef and ClosureDef (#53) Test #95: Commit 58b1396 pushed by dkcumming
March 10, 2025 23:29 43s master
master
March 10, 2025 23:29 43s
Fixed monomorphisation bug for FnDef and ClosureDef Test #94: Pull request #53 opened by dkcumming
March 7, 2025 06:38 1m 4s dc/fix-fn-mono-bug
dc/fix-fn-mono-bug
March 7, 2025 06:38 1m 4s
Fixing some errors so p-token builds (#49) Test #93: Commit 20820cc pushed by dkcumming
February 28, 2025 04:53 46s master
master
February 28, 2025 04:53 46s
Fixing some errors so p-token builds Test #92: Pull request #49 synchronize by dkcumming
February 28, 2025 04:05 33s dc/fix-build-errors
dc/fix-build-errors
February 28, 2025 04:05 33s
Fixing some errors so p-token builds Test #91: Pull request #49 synchronize by dkcumming
February 26, 2025 02:30 33s dc/fix-build-errors
dc/fix-build-errors
February 26, 2025 02:30 33s
Render projections in the SMIR graph of basic blocks (#51) Test #90: Commit 0a5c6a5 pushed by jberthold
February 23, 2025 22:17 46s master
master
February 23, 2025 22:17 46s
Render projections in the SMIR graph of basic blocks Test #89: Pull request #51 synchronize by jberthold
February 21, 2025 05:54 46s projections-in-graph
projections-in-graph
February 21, 2025 05:54 46s
Render projections in the SMIR graph of basic blocks Test #88: Pull request #51 opened by jberthold
February 21, 2025 05:50 23s projections-in-graph
projections-in-graph
February 21, 2025 05:50 23s
Moving passing tests out of failing dir Test #87: Pull request #50 opened by dkcumming
February 19, 2025 12:03 35s dc/passing-tests
dc/passing-tests
February 19, 2025 12:03 35s
Fixing some errors so p-token builds Test #86: Pull request #49 opened by dkcumming
February 19, 2025 11:17 35s dc/fix-build-errors
dc/fix-build-errors
February 19, 2025 11:17 35s
Working with cargo (#47) Test #85: Commit c87f13c pushed by dkcumming
February 17, 2025 03:25 45s master
master
February 17, 2025 03:25 45s
Working with cargo Test #84: Pull request #47 synchronize by dkcumming
February 17, 2025 03:18 45s dc/cargo-stable-mir-json
dc/cargo-stable-mir-json
February 17, 2025 03:18 45s
Working with cargo Test #83: Pull request #47 synchronize by dkcumming
February 17, 2025 02:51 20s dc/cargo-stable-mir-json
dc/cargo-stable-mir-json
February 17, 2025 02:51 20s
Working with cargo Test #82: Pull request #47 synchronize by dkcumming
February 16, 2025 18:31 44s dc/cargo-stable-mir-json
dc/cargo-stable-mir-json
February 16, 2025 18:31 44s
Working with cargo Test #81: Pull request #47 synchronize by dkcumming
February 16, 2025 18:28 21s dc/cargo-stable-mir-json
dc/cargo-stable-mir-json
February 16, 2025 18:28 21s
Working with cargo Test #80: Pull request #47 synchronize by dkcumming
February 15, 2025 08:52 45s dc/cargo-stable-mir-json
dc/cargo-stable-mir-json
February 15, 2025 08:52 45s
Working with cargo Test #79: Pull request #47 synchronize by dkcumming
February 15, 2025 08:48 45s dc/cargo-stable-mir-json
dc/cargo-stable-mir-json
February 15, 2025 08:48 45s
Working with cargo Test #78: Pull request #47 synchronize by dkcumming
February 15, 2025 08:33 46s dc/cargo-stable-mir-json
dc/cargo-stable-mir-json
February 15, 2025 08:33 46s
Working with cargo Test #77: Pull request #47 synchronize by dkcumming
February 14, 2025 07:22 46s dc/cargo-stable-mir-json
dc/cargo-stable-mir-json
February 14, 2025 07:22 46s
Working with cargo Test #76: Pull request #47 synchronize by dkcumming
February 14, 2025 07:16 49s dc/cargo-stable-mir-json
dc/cargo-stable-mir-json
February 14, 2025 07:16 49s
Working with cargo Test #75: Pull request #47 synchronize by dkcumming
February 14, 2025 04:13 35s dc/cargo-stable-mir-json
dc/cargo-stable-mir-json
February 14, 2025 04:13 35s
Working with cargo Test #74: Pull request #47 synchronize by dkcumming
February 13, 2025 12:42 40s dc/cargo-stable-mir-json
dc/cargo-stable-mir-json
February 13, 2025 12:42 40s
Working with cargo Test #73: Pull request #47 opened by dkcumming
February 13, 2025 12:42 19s dc/cargo-stable-mir-json
dc/cargo-stable-mir-json
February 13, 2025 12:42 19s
Add new "types" map to smir json (#46) Test #72: Commit fd50426 pushed by jberthold
February 12, 2025 23:40 39s master
master
February 12, 2025 23:40 39s
Add new "types" map to smir json Test #71: Pull request #46 synchronize by gtrepta
February 12, 2025 22:55 41s guy/json-type-map
guy/json-type-map
February 12, 2025 22:55 41s