Skip to content

Actions: runtimeverification/stable-mir-json

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
178 workflow runs
178 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use mangled name for intrinsic symbols Test #178: Pull request #85 synchronize by ehildenb
May 23, 2025 22:09 16s cold-path-intrinsic
cold-path-intrinsic
May 23, 2025 22:09 16s
Use mangled name for intrinsic symbols Test #177: Pull request #85 synchronize by ehildenb
May 23, 2025 19:48 17s cold-path-intrinsic
cold-path-intrinsic
May 23, 2025 19:48 17s
Use mangled name for intrinsic symbols Test #176: Pull request #85 synchronize by dkcumming
May 23, 2025 19:44 15s cold-path-intrinsic
cold-path-intrinsic
May 23, 2025 19:44 15s
Use mangled name for intrinsic symbols Test #175: Pull request #85 synchronize by ehildenb
May 23, 2025 19:37 17s cold-path-intrinsic
cold-path-intrinsic
May 23, 2025 19:37 17s
Use mangled name for intrinsic symbols Test #174: Pull request #85 opened by ehildenb
May 23, 2025 18:46 4m 0s cold-path-intrinsic
cold-path-intrinsic
May 23, 2025 18:46 4m 0s
TyKind in GlobalAllocs Test #173: Pull request #84 synchronize by dkcumming
May 22, 2025 22:10 5m 30s dc/alloc-tys
dc/alloc-tys
May 22, 2025 22:10 5m 30s
TyKind in GlobalAllocs Test #172: Pull request #84 synchronize by dkcumming
May 22, 2025 21:40 4m 56s dc/alloc-tys
dc/alloc-tys
May 22, 2025 21:40 4m 56s
TyKind in GlobalAllocs Test #171: Pull request #84 synchronize by dkcumming
May 22, 2025 21:09 5m 12s dc/alloc-tys
dc/alloc-tys
May 22, 2025 21:09 5m 12s
TyKind in GlobalAllocs Test #170: Pull request #84 synchronize by dkcumming
May 22, 2025 20:57 6m 26s dc/alloc-tys
dc/alloc-tys
May 22, 2025 20:57 6m 26s
TyKind in GlobalAllocs Test #169: Pull request #84 synchronize by dkcumming
May 22, 2025 20:52 5m 11s dc/alloc-tys
dc/alloc-tys
May 22, 2025 20:52 5m 11s
TyKind in GlobalAllocs Test #168: Pull request #84 synchronize by dkcumming
May 22, 2025 20:45 5m 59s dc/alloc-tys
dc/alloc-tys
May 22, 2025 20:45 5m 59s
TyKind in GlobalAllocs Test #167: Pull request #84 synchronize by dkcumming
May 22, 2025 20:26 4m 24s dc/alloc-tys
dc/alloc-tys
May 22, 2025 20:26 4m 24s
TyKind in GlobalAllocs Test #166: Pull request #84 synchronize by dkcumming
May 21, 2025 21:31 5m 10s dc/alloc-tys
dc/alloc-tys
May 21, 2025 21:31 5m 10s
TyKind in GlobalAllocs Test #165: Pull request #84 opened by dkcumming
May 21, 2025 21:28 2m 55s dc/alloc-tys
dc/alloc-tys
May 21, 2025 21:28 2m 55s
Add a list of field types to struct type metadata Test #164: Pull request #82 opened by jberthold
May 15, 2025 01:11 6m 49s 81-add-struct-fields-to-type-metadata
81-add-struct-fields-to-type-metadata
May 15, 2025 01:11 6m 49s
MachineInfo in JSON Test #163: Pull request #80 opened by dkcumming
May 5, 2025 23:54 6m 56s dc/machine-info
dc/machine-info
May 5, 2025 23:54 6m 56s
Fixed VERBOSE env var reading in Makefile Test #162: Pull request #77 synchronize by ehildenb
May 4, 2025 16:04 5m 5s dc/fix-verbosity
dc/fix-verbosity
May 4, 2025 16:04 5m 5s
Use git rev-parse to get master version Test #161: Pull request #78 opened by ehildenb
May 4, 2025 15:06 6m 52s fix-master-2
fix-master-2
May 4, 2025 15:06 6m 52s
Fixed VERBOSE env var reading in Makefile Test #160: Pull request #77 synchronize by dkcumming
May 4, 2025 14:54 7m 44s dc/fix-verbosity
dc/fix-verbosity
May 4, 2025 14:54 7m 44s
Fixed VERBOSE env var reading in Makefile Test #159: Pull request #77 opened by dkcumming
May 4, 2025 14:54 22s dc/fix-verbosity
dc/fix-verbosity
May 4, 2025 14:54 22s
.github/master: add runs-on block Test #158: Pull request #76 opened by ehildenb
May 4, 2025 14:37 6m 50s fix-master
fix-master
May 4, 2025 14:37 6m 50s
Update dependents automatically on master pushes Test #157: Pull request #75 opened by ehildenb
May 4, 2025 13:49 6m 57s update-deps
update-deps
May 4, 2025 13:49 6m 57s
Added Span information to JSON (#74) Test #156: Commit e3e1905 pushed by ehildenb
May 2, 2025 04:02 6m 48s master
master
May 2, 2025 04:02 6m 48s
Added Span information to JSON Test #155: Pull request #74 synchronize by dkcumming
May 2, 2025 02:41 7m 15s dc/spans
dc/spans
May 2, 2025 02:41 7m 15s
Added Span information to JSON Test #154: Pull request #74 opened by dkcumming
May 2, 2025 02:37 3m 59s dc/spans
dc/spans
May 2, 2025 02:37 3m 59s