Skip to content

Actions: Inferara/inference

Actions

Miri Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
miri.yml
159 workflow runs
159 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
✨ 📝 Generate WASM Theorems Miri Check #164: Pull request #181 synchronize by yoshihiro503
1m 30s yoshihiro503@wasm_theorem_generator
yoshihiro503@wasm_theorem_generator
1m 30s
Fix clippy warnings Miri Check #163: Commit 9afebb8 pushed by 0xGeorgii
1m 29s main
main
1m 29s
Infs toolchain resolver (#192) Miri Check #162: Commit 6e71869 pushed by 0xGeorgii
1m 31s main
main
1m 31s
Infs toolchain resolver Miri Check #161: Pull request #192 synchronize by 0xGeorgii
1m 33s infs-toolchain-resolver
infs-toolchain-resolver
1m 33s
Implement comprehensive const enforcement in type checker and analysi… Miri Check #160: Commit ab77614 pushed by 0xGeorgii
1m 34s main
main
1m 34s
Infs toolchain resolver Miri Check #159: Pull request #192 synchronize by 0xGeorgii
1m 33s infs-toolchain-resolver
infs-toolchain-resolver
1m 33s
Infs toolchain resolver Miri Check #158: Pull request #192 opened by 0xGeorgii
1m 36s infs-toolchain-resolver
infs-toolchain-resolver
1m 36s
const enforcement in type checker and analysis Miri Check #157: Pull request #191 opened by 0xGeorgii
1m 33s 171-const-arrays
171-const-arrays
1m 33s
Add workaround for MinGW binutils to allow multiple weak definitions Miri Check #156: Commit 0faa92e pushed by 0xGeorgii
1m 34s main
main
1m 34s
Fix Redundant Zero-Initialization in Array Literal Codegen (#189) Miri Check #155: Commit 5addf9e pushed by 0xGeorgii
1m 33s main
main
1m 33s
Fix Redundant Zero-Initialization in Array Literal Codegen Miri Check #154: Pull request #189 synchronize by 0xGeorgii
1m 35s 188-redundant-zero-initialization-in-array-literal-codegen
188-redundant-zero-initialization-in-array-literal-codegen
1m 35s
Fix Redundant Zero-Initialization in Array Literal Codegen Miri Check #153: Pull request #189 synchronize by 0xGeorgii
1m 29s 188-redundant-zero-initialization-in-array-literal-codegen
188-redundant-zero-initialization-in-array-literal-codegen
1m 29s
Fix Redundant Zero-Initialization in Array Literal Codegen Miri Check #152: Pull request #189 synchronize by 0xGeorgii
1m 32s 188-redundant-zero-initialization-in-array-literal-codegen
188-redundant-zero-initialization-in-array-literal-codegen
1m 32s
Fix Redundant Zero-Initialization in Array Literal Codegen Miri Check #151: Pull request #189 synchronize by 0xGeorgii
1m 31s 188-redundant-zero-initialization-in-array-literal-codegen
188-redundant-zero-initialization-in-array-literal-codegen
1m 31s
Fix Redundant Zero-Initialization in Array Literal Codegen Miri Check #150: Pull request #189 synchronize by 0xGeorgii
1m 28s 188-redundant-zero-initialization-in-array-literal-codegen
188-redundant-zero-initialization-in-array-literal-codegen
1m 28s
Fix Redundant Zero-Initialization in Array Literal Codegen Miri Check #149: Pull request #189 synchronize by 0xGeorgii
1m 34s 188-redundant-zero-initialization-in-array-literal-codegen
188-redundant-zero-initialization-in-array-literal-codegen
1m 34s
Fix Redundant Zero-Initialization in Array Literal Codegen Miri Check #148: Pull request #189 opened by 0xGeorgii
1m 33s 188-redundant-zero-initialization-in-array-literal-codegen
188-redundant-zero-initialization-in-array-literal-codegen
1m 33s
Refactor is_compound_type function to include TypedContext for better… Miri Check #147: Commit 37a213a pushed by 0xGeorgii
1m 30s main
main
1m 30s
Add enum type codegen and related tests for improved support Miri Check #146: Commit 4ed6599 pushed by 0xGeorgii
1m 35s main
main
1m 35s
+Enums (#187) Miri Check #145: Commit 838e34a pushed by 0xGeorgii
1m 30s main
main
1m 30s
+Enums Miri Check #144: Pull request #187 synchronize by 0xGeorgii
1m 42s 179-enum-support
179-enum-support
1m 42s
+Enums Miri Check #143: Pull request #187 opened by 0xGeorgii
1m 34s 179-enum-support
179-enum-support
1m 34s
162 nested compound types codegen (#185) Miri Check #142: Commit b2ad3d2 pushed by 0xGeorgii
1m 33s main
main
1m 33s
162 nested compound types codegen Miri Check #141: Pull request #185 synchronize by 0xGeorgii
1m 34s 162-nested-compound-types-codegen
162-nested-compound-types-codegen
1m 34s
162 nested compound types codegen Miri Check #140: Pull request #185 synchronize by 0xGeorgii
1m 30s 162-nested-compound-types-codegen
162-nested-compound-types-codegen
1m 30s