Skip to content

Actions: runtimeverification/stable-mir-json

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
184 workflow runs
184 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added documentation for how to emit the smir.json for the std-lib Test #34: Pull request #17 synchronize by dkcumming
January 23, 2025 00:57 12m 3s docs/build-std
docs/build-std
January 23, 2025 00:57 12m 3s
Makefile target to check failing tests and move to passing if successful Test #33: Pull request #31 opened by dkcumming
January 21, 2025 12:59 24m 37s dc/failing-test-check
dc/failing-test-check
January 21, 2025 12:59 24m 37s
Temporary fix for layout of panic strings (#30) Test #32: Commit 5314e1f pushed by dkcumming
January 21, 2025 08:08 13m 4s master
master
January 21, 2025 08:08 13m 4s
Temporary fix for layout of panic strings Test #31: Pull request #30 synchronize by dkcumming
January 21, 2025 08:08 22m 17s dc/temp-fix-strings
dc/temp-fix-strings
January 21, 2025 08:08 22m 17s
Temporary fix for layout of panic strings Test #30: Pull request #30 opened by dkcumming
January 21, 2025 06:43 23m 59s dc/temp-fix-strings
dc/temp-fix-strings
January 21, 2025 06:43 23m 59s
Remove forked rust dependency (#19) Test #29: Commit 0a14cc9 pushed by dkcumming
January 16, 2025 02:16 13m 6s master
master
January 16, 2025 02:16 13m 6s
Remove forked rust dependency Test #28: Pull request #19 synchronize by jberthold
January 16, 2025 00:43 13m 8s internalize_rust_fork_code
internalize_rust_fork_code
January 16, 2025 00:43 13m 8s
Remove forked rust dependency Test #27: Pull request #19 synchronize by jberthold
January 16, 2025 00:40 3m 24s internalize_rust_fork_code
internalize_rust_fork_code
January 16, 2025 00:40 3m 24s
Remove forked rust dependency Test #26: Pull request #19 synchronize by jberthold
January 16, 2025 00:13 13m 18s internalize_rust_fork_code
internalize_rust_fork_code
January 16, 2025 00:13 13m 18s
Remove forked rust dependency Test #25: Pull request #19 synchronize by dkcumming
January 15, 2025 06:10 10m 45s internalize_rust_fork_code
internalize_rust_fork_code
January 15, 2025 06:10 10m 45s
Remove forked rust dependency Test #24: Pull request #19 synchronize by dkcumming
January 15, 2025 05:33 1m 32s internalize_rust_fork_code
internalize_rust_fork_code
January 15, 2025 05:33 1m 32s
Run test workflow on (public) ubuntu-latest runner Test #23: Pull request #25 synchronize by jberthold
January 15, 2025 05:03 2m 47s move-CI-workflow-to-public-runner
move-CI-workflow-to-public-runner
January 15, 2025 05:03 2m 47s
Run test workflow on (public) ubuntu-latest runner Test #22: Pull request #25 opened by jberthold
January 15, 2025 04:53 2m 18s move-CI-workflow-to-public-runner
move-CI-workflow-to-public-runner
January 15, 2025 04:53 2m 18s
Remove forked rust dependency Test #21: Pull request #19 synchronize by dkcumming
January 15, 2025 04:50 13m 53s internalize_rust_fork_code
internalize_rust_fork_code
January 15, 2025 04:50 13m 53s
Test Test #20: Manually run by jberthold
January 15, 2025 04:48 10m 32s filter_json
filter_json
January 15, 2025 04:48 10m 32s
Remove forked rust dependency Test #19: Pull request #19 synchronize by jberthold
January 14, 2025 05:41 14m 32s internalize_rust_fork_code
internalize_rust_fork_code
January 14, 2025 05:41 14m 32s
Remove forked rust dependency Test #18: Pull request #19 synchronize by jberthold
January 14, 2025 05:29 12m 32s internalize_rust_fork_code
internalize_rust_fork_code
January 14, 2025 05:29 12m 32s
Remove forked rust dependency Test #17: Pull request #19 synchronize by dkcumming
January 14, 2025 05:18 11m 19s internalize_rust_fork_code
internalize_rust_fork_code
January 14, 2025 05:18 11m 19s
Remove forked rust dependency Test #16: Pull request #19 synchronize by jberthold
January 13, 2025 06:10 10m 44s internalize_rust_fork_code
internalize_rust_fork_code
January 13, 2025 06:10 10m 44s
Remove forked rust dependency Test #15: Pull request #19 synchronize by jberthold
January 13, 2025 04:15 10m 49s internalize_rust_fork_code
internalize_rust_fork_code
January 13, 2025 04:15 10m 49s
Initial CI setup and a few tests (#21) Test #14: Commit a823e31 pushed by dkcumming
November 18, 2024 06:46 18m 1s master
master
November 18, 2024 06:46 18m 1s
Initial CI setup and a few tests Test #13: Pull request #21 synchronize by jberthold
November 18, 2024 06:21 16m 55s initial-golden-tests
initial-golden-tests
November 18, 2024 06:21 16m 55s
Initial CI setup and a few tests Test #12: Pull request #21 synchronize by jberthold
November 18, 2024 03:19 17m 23s initial-golden-tests
initial-golden-tests
November 18, 2024 03:19 17m 23s
Initial CI setup and a few tests Test #11: Pull request #21 synchronize by jberthold
November 18, 2024 03:16 3m 17s initial-golden-tests
initial-golden-tests
November 18, 2024 03:16 3m 17s
Initial CI setup and a few tests Test #10: Pull request #21 synchronize by jberthold
November 18, 2024 02:54 37s initial-golden-tests
initial-golden-tests
November 18, 2024 02:54 37s