Skip to content

Actions: runtimeverification/smir_pretty

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

First step to using rustup. Test #41: Pull request #33 synchronize by dkcumming
January 24, 2025 07:10 2m 33s remove-building-repo
remove-building-repo
January 24, 2025 07:10 2m 33s
First step to using rustup. Test #40: Pull request #33 synchronize by dkcumming
January 24, 2025 06:03 14s remove-building-repo
remove-building-repo
January 24, 2025 06:03 14s
First step to using rustup. Test #39: Pull request #33 synchronize by dkcumming
January 24, 2025 05:57 12s remove-building-repo
remove-building-repo
January 24, 2025 05:57 12s
First step to using rustup. Test #38: Pull request #33 synchronize by dkcumming
January 24, 2025 05:53 13s remove-building-repo
remove-building-repo
January 24, 2025 05:53 13s
First step to using rustup. Test #37: Pull request #33 synchronize by dkcumming
January 24, 2025 05:33 12m 40s remove-building-repo
remove-building-repo
January 24, 2025 05:33 12m 40s
First step to using rustup. Test #36: Pull request #33 synchronize by dkcumming
January 24, 2025 05:29 4m 22s remove-building-repo
remove-building-repo
January 24, 2025 05:29 4m 22s
First step to using rustup. Test #35: Pull request #33 opened by dkcumming
January 24, 2025 04:23 11m 34s remove-building-repo
remove-building-repo
January 24, 2025 04:23 11m 34s
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