Skip to content

Actions: runtimeverification/stable-mir-json

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
243 workflow runs
243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

README.md: Remove outdated claim about build.rs Test #257: Pull request #116 opened by aDotInTheVoid
6m 30s aDotInTheVoid:patch-1
aDotInTheVoid:patch-1
6m 30s
Pr/83 Test #256: Pull request #111 synchronize by cds-amal
7m 13s cds-rs:pr/83
cds-rs:pr/83
7m 13s
Pr/83 Test #255: Pull request #111 synchronize by cds-amal
4m 23s cds-rs:pr/83
cds-rs:pr/83
4m 23s
Removing rust-analyzer from nix flake Test #254: Pull request #115 opened by dkcumming
4m 17s dc/flake-correction
dc/flake-correction
4m 17s
Pr/83 Test #253: Pull request #111 synchronize by cds-amal
4m 36s cds-rs:pr/83
cds-rs:pr/83
4m 36s
fix: add rust-analyzer to flake.nix and rust-toolchain.toml Test #252: Pull request #114 opened by 0xh4ty
45s 0xh4ty:add-rust-analyzer-to-dev-env
0xh4ty:add-rust-analyzer-to-dev-env
45s
Pr/83 Test #251: Pull request #111 synchronize by cds-amal
4m 54s cds-rs:pr/83
cds-rs:pr/83
4m 54s
fix(printer.rs): include ZeroSized FnDef consts in functions Test #250: Pull request #112 synchronize by Stevengre
8m 35s jh/print-function-pointer
jh/print-function-pointer
8m 35s
fix(printer.rs): include ZeroSized FnDef consts in functions Test #249: Pull request #112 synchronize by Stevengre
4m 42s jh/print-function-pointer
jh/print-function-pointer
4m 42s
fix(printer.rs): include ZeroSized FnDef consts in functions Test #248: Pull request #112 synchronize by Stevengre
4m 16s jh/print-function-pointer
jh/print-function-pointer
4m 16s
fix(printer.rs): include ZeroSized FnDef consts in functions Test #247: Pull request #112 synchronize by Stevengre
8m 35s jh/print-function-pointer
jh/print-function-pointer
8m 35s
fix(printer.rs): include ZeroSized FnDef consts in functions Test #246: Pull request #112 synchronize by Stevengre
4m 56s jh/print-function-pointer
jh/print-function-pointer
4m 56s
fix(printer.rs): include ZeroSized FnDef consts in functions Test #245: Pull request #112 synchronize by Stevengre
5m 43s jh/print-function-pointer
jh/print-function-pointer
5m 43s
fix(printer.rs): include ZeroSized FnDef consts in functions Test #244: Pull request #112 synchronize by Stevengre
17s jh/print-function-pointer
jh/print-function-pointer
17s
fix(printer.rs): include ZeroSized FnDef consts in functions Test #243: Pull request #112 synchronize by Stevengre
18s jh/print-function-pointer
jh/print-function-pointer
18s
fix(printer.rs): include ZeroSized FnDef consts in functions Test #242: Pull request #112 synchronize by Stevengre
20s jh/print-function-pointer
jh/print-function-pointer
20s
fix(printer.rs): include ZeroSized FnDef consts in functions Test #241: Pull request #112 synchronize by Stevengre
5m 32s jh/print-function-pointer
jh/print-function-pointer
5m 32s
fix(printer.rs): include ZeroSized FnDef consts in functions Test #240: Pull request #112 opened by Stevengre
33s jh/print-function-pointer
jh/print-function-pointer
33s
Pr/83 Test #239: Pull request #111 synchronize by cds-amal
8m 27s cds-rs:pr/83
cds-rs:pr/83
8m 27s
Pr/83 Test #238: Pull request #111 opened by cds-amal
22s cds-rs:pr/83
cds-rs:pr/83
22s
Added field information to Union types Test #237: Pull request #105 opened by dkcumming
5m 47s dc/union-fields
dc/union-fields
5m 47s
feat: ensure SMIR export records function item types Test #236: Pull request #104 opened by Stevengre
4m 23s fix-missing-function-type-metadata
fix-missing-function-type-metadata
4m 23s
feat(printer.rs): support GlobalAlloc::Function with non-fn-ptr type Test #235: Pull request #102 synchronize by Stevengre
6m 52s jh/fix4spl
jh/fix4spl
6m 52s
feat(printer.rs): support GlobalAlloc::Function with non-fn-ptr type Test #234: Pull request #102 synchronize by Stevengre
4m 36s jh/fix4spl
jh/fix4spl
4m 36s
feat(printer.rs): support GlobalAlloc::Function with non-fn-ptr type Test #233: Pull request #102 synchronize by Stevengre
5m 27s jh/fix4spl
jh/fix4spl
5m 27s