Skip to content

Actions: wasmi-labs/wasmi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,983 workflow runs
2,983 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #898481135 Dependabot Updates #68: by dependabot bot
October 9, 2024 15:32 49s
October 9, 2024 15:32 49s
Rust - Miri Testing (CRON) Rust - Miri Testing (CRON) #255: Scheduled
October 9, 2024 03:38 4h 52m 18s main
main
October 9, 2024 03:38 4h 52m 18s
Replace wasmparser-nostd fork with upstream wasmparser Rust - Continuous Integration #4239: Pull request #1141 synchronize by Robbepop
October 8, 2024 21:56 9m 53s rf-update-wasmparser
rf-update-wasmparser
October 8, 2024 21:56 9m 53s
Replace wasmparser-nostd fork with upstream wasmparser Rust - Continuous Integration #4238: Pull request #1141 synchronize by Robbepop
October 8, 2024 20:54 5m 52s rf-update-wasmparser
rf-update-wasmparser
October 8, 2024 20:54 5m 52s
github_actions in /. - Update #897854560 Dependabot Updates #67: by dependabot bot
October 8, 2024 15:34 38s
October 8, 2024 15:34 38s
WIP: add Wasmi translation invariants checker Rust - Continuous Integration #4237: Pull request #1233 synchronize by Robbepop
October 8, 2024 14:54 10m 5s rf-translation-post-conditions
rf-translation-post-conditions
October 8, 2024 14:54 10m 5s
WIP: add Wasmi translation invariants checker Rust - Continuous Integration #4236: Pull request #1233 synchronize by Robbepop
October 8, 2024 14:52 2m 10s rf-translation-post-conditions
rf-translation-post-conditions
October 8, 2024 14:52 2m 10s
WIP: add Wasmi translation invariants checker Rust - Continuous Integration #4235: Pull request #1233 opened by Robbepop
October 8, 2024 13:10 9m 24s rf-translation-post-conditions
rf-translation-post-conditions
October 8, 2024 13:10 9m 24s
Rust - Miri Testing (CRON) Rust - Miri Testing (CRON) #254: Scheduled
October 8, 2024 03:40 4h 52m 29s main
main
October 8, 2024 03:40 4h 52m 29s
Update wasm-smith to 0.218.0 (#1231) Rust - Continuous Integration #4234: Commit 2dbfdab pushed by Robbepop
October 7, 2024 19:49 7m 33s main
main
October 7, 2024 19:49 7m 33s
Update wasm-smith to 0.218.0 Rust - Continuous Integration #4233: Pull request #1231 synchronize by gtrepta
October 7, 2024 18:59 7m 12s runtimeverification:wasm-smith-218
runtimeverification:wasm-smith-218
October 7, 2024 18:59 7m 12s
Clean-up: move test related methods into tests module (#1232) Rust - Continuous Integration #4232: Commit 05c20cf pushed by Robbepop
October 7, 2024 18:09 7m 4s main
main
October 7, 2024 18:09 7m 4s
Clean-up: move test related methods into tests module Rust - Continuous Integration #4231: Pull request #1232 synchronize by Robbepop
October 7, 2024 17:53 7m 21s rf-move-test-methods-into-tests-module
rf-move-test-methods-into-tests-module
October 7, 2024 17:53 7m 21s
Clean-up: move test related methods into tests module Rust - Continuous Integration #4230: Pull request #1232 opened by Robbepop
October 7, 2024 17:47 6m 5s rf-move-test-methods-into-tests-module
rf-move-test-methods-into-tests-module
October 7, 2024 17:47 6m 5s
github_actions in /. - Update #897094908 Dependabot Updates #66: by dependabot bot
October 7, 2024 15:49 36s
October 7, 2024 15:49 36s
Update wasm-smith to 0.218.0 Rust - Continuous Integration #4229: Pull request #1231 opened by gtrepta
October 7, 2024 15:15 7m 15s runtimeverification:wasm-smith-218
runtimeverification:wasm-smith-218
October 7, 2024 15:15 7m 15s
Clean-up Instruction::update_branch_offset extension method (#1230) Rust - Continuous Integration #4228: Commit 8f76eef pushed by Robbepop
October 7, 2024 13:51 7m 15s main
main
October 7, 2024 13:51 7m 15s
Clean-up Instruction::update_branch_offset extension method Rust - Continuous Integration #4227: Pull request #1230 opened by Robbepop
October 7, 2024 13:43 7m 48s rf-clean-up-update-branch-offsets
rf-clean-up-update-branch-offsets
October 7, 2024 13:43 7m 48s
Clean-up InstrEncoder::encode_branch_{nez,eqz} methods (#1229) Rust - Continuous Integration #4226: Commit 66075b9 pushed by Robbepop
October 7, 2024 12:42 9m 52s main
main
October 7, 2024 12:42 9m 52s
Clean-up InstrEncoder::encode_branch_{nez,eqz} methods Rust - Continuous Integration #4225: Pull request #1229 synchronize by Robbepop
October 7, 2024 12:30 9m 4s rf-clean-up-encode-branch-cmp
rf-clean-up-encode-branch-cmp
October 7, 2024 12:30 9m 4s
Clean-up InstrEncoder::encode_branch_{nez,eqz} methods Rust - Continuous Integration #4224: Pull request #1229 opened by Robbepop
October 7, 2024 12:17 9m 39s rf-clean-up-encode-branch-cmp
rf-clean-up-encode-branch-cmp
October 7, 2024 12:17 9m 39s
Rust - Miri Testing (CRON) Rust - Miri Testing (CRON) #253: Scheduled
October 7, 2024 03:41 4h 52m 45s main
main
October 7, 2024 03:41 4h 52m 45s
Update issue templates for bug reports Rust - Continuous Integration #4223: Commit bd735a0 pushed by Robbepop
October 6, 2024 18:34 7m 16s main
main
October 6, 2024 18:34 7m 16s
Replace wasmparser-nostd fork with upstream wasmparser Rust - Continuous Integration #4222: Pull request #1141 synchronize by Robbepop
October 6, 2024 18:07 8m 47s rf-update-wasmparser
rf-update-wasmparser
October 6, 2024 18:07 8m 47s
Clean-up Wasmi engine imports and exports (#1228) Rust - Continuous Integration #4221: Commit 242e5e9 pushed by Robbepop
October 6, 2024 18:07 7m 21s main
main
October 6, 2024 18:07 7m 21s