Skip to content

Actions: runtimeverification/stable-mir-json

Actions

Master Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master.yml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

You Shook Me Alloc Night Long — finally sorted like we mean it. (#125) Master Release #35: Commit 7da8e3b pushed by dkcumming
4m 28s master
master
4m 28s
Highway to Compat (AC⚡DC rustc edition) (#123) Master Release #34: Commit d650c1e pushed by dkcumming
4m 16s master
master
4m 16s
Factor: collapse triplicated alloc recovery into one arm (#135) Master Release #33: Commit 6d02243 pushed by automergerpr-permission-manager bot
4m 33s master
master
4m 33s
Update kup publish command to allow errors (#134) Master Release #32: Commit 047ca6a pushed by dkcumming
4m 29s master
master
4m 29s
fix(printer): recover non-builtin static/vtable alloc typing (#131) Master Release #31: Commit c9da39f pushed by dkcumming
3m 17s master
master
3m 17s
Cachix does not respond to pin requests (#133) Master Release #30: Commit afb5944 pushed by automergerpr-permission-manager bot
23m 24s master
master
23m 24s
fix(printer): record closure Ty in type table after instance traversa… Master Release #29: Commit 10a3728 pushed by automergerpr-permission-manager bot
2m 29s master
master
2m 29s
Refactor/printer (#122) Master Release #28: Commit 89b75f0 pushed by dkcumming
2m 29s master
master
2m 29s
Fix UI test runner flag handling and recursive provenance resolution … Master Release #27: Commit e875066 pushed by dkcumming
2m 20s master
master
2m 20s
Added mutability to PtrType and RefType TypeInfo (#127) Master Release #26: Commit ff1a18f pushed by automergerpr-permission-manager bot
2m 47s master
master
2m 47s
Single-pass body analysis with AllocMap coherence checks (#121) Master Release #25: Commit cab07e2 pushed by dkcumming
2m 33s master
master
2m 33s
Add ADR-001: index-first graph architecture for MIR visualization (#124) Master Release #24: Commit 62a7917 pushed by automergerpr-permission-manager bot
2m 35s master
master
2m 35s
Avoid inst.body() duplicate call which reallocates AllocIds (#120) Master Release #23: Commit 9a78109 pushed by automergerpr-permission-manager bot
14m 8s master
master
14m 8s
make: prevent svg/png generation when dot is unavailable (#117) Master Release #22: Commit 06e5146 pushed by automergerpr-permission-manager bot
13m 57s master
master
13m 57s
d2: remove unreachable early return in legend rendering (#118) Master Release #21: Commit 41c7d55 pushed by automergerpr-permission-manager bot
13m 30s master
master
13m 30s
README.md: Remove outdated claim about build.rs (#116) Master Release #20: Commit a5b714d pushed by automergerpr-permission-manager bot
8m 57s master
master
8m 57s
Pr/83 (#111) Master Release #19: Commit e9395d9 pushed by automergerpr-permission-manager bot
13m 32s master
master
13m 32s
Removing rust-analyzer from nix flake (#115) Master Release #18: Commit b70cb77 pushed by dkcumming
13m 5s master
master
13m 5s
fix: add rust-analyzer to flake.nix and rust-toolchain.toml (#114) Master Release #17: Commit 22a56dd pushed by dkcumming
6h 0m 11s master
master
6h 0m 11s
fix(printer.rs): include ZeroSized FnDef consts in functions (#112) Master Release #16: Commit 626e8fe pushed by automergerpr-permission-manager bot
1m 20s master
master
1m 20s
Added field information to Union types (#105) Master Release #15: Commit 20a1bbd pushed by automergerpr-permission-manager bot
57s master
master
57s
feat(printer.rs): support GlobalAlloc::Function with non-fn-ptr type … Master Release #14: Commit cf0410f pushed by automergerpr-permission-manager bot
41s master
master
41s
HOTFIX emit the correct Alloc ty for each alloc (#100) Master Release #13: Commit b54152a pushed by jberthold
59s master
master
59s
TyKind in GlobalAllocs (#84) Master Release #12: Commit 9610a3f pushed by jberthold
1m 29s master
master
1m 29s
Add nix derivation (#96) Master Release #11: Commit 8dcacda pushed by automergerpr-permission-manager bot
2m 26s master
master
2m 26s