Skip to content

Actions: runtimeverification/wasm-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
448 workflow runs
448 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Annotate Wasm AST nodes (Instrs) with bytecode position metadata for tracing/debugging Run Tests #2854: Pull request #753 synchronize by bbyalcinkaya
7m 18s bytecode-pos
bytecode-pos
7m 18s
Implement zero-dependency Wasm binary parser Run Tests #2853: Pull request #754 synchronize by bbyalcinkaya
8m 55s binary-parser
binary-parser
8m 55s
Implement zero-dependency Wasm binary parser Run Tests #2852: Pull request #754 synchronize by bbyalcinkaya
7m 42s binary-parser
binary-parser
7m 42s
Implement zero-dependency Wasm binary parser Run Tests #2851: Pull request #754 synchronize by bbyalcinkaya
55s binary-parser
binary-parser
55s
Implement zero-dependency Wasm binary parser Run Tests #2850: Pull request #754 synchronize by bbyalcinkaya
55s binary-parser
binary-parser
55s
Implement zero-dependency Wasm binary parser Run Tests #2849: Pull request #754 synchronize by bbyalcinkaya
46s binary-parser
binary-parser
46s
Implement zero-dependency Wasm binary parser Run Tests #2848: Pull request #754 opened by bbyalcinkaya
44s binary-parser
binary-parser
44s
Annotate Wasm AST nodes (Instrs) with bytecode position metadata for tracing/debugging Run Tests #2847: Pull request #753 synchronize by rv-jenkins
7m 24s bytecode-pos
bytecode-pos
7m 24s
Annotate Wasm AST nodes (Instrs) with bytecode position metadata for tracing/debugging Run Tests #2846: Pull request #753 opened by bbyalcinkaya
15s bytecode-pos
bytecode-pos
15s
Bump pygments from 2.19.2 to 2.20.0 in /pykwasm Run Tests #2845: Pull request #752 opened by dependabot bot
8m 9s dependabot/uv/pykwasm/pygments-2.20.0
dependabot/uv/pykwasm/pygments-2.20.0
8m 9s
uv in /pykwasm for Pygments - Update #1301035583 Dependabot Updates #7: by dependabot bot
1m 28s master
master
1m 28s
Bump requests from 2.32.5 to 2.33.0 in /pykwasm Run Tests #2844: Pull request #751 opened by dependabot bot
6m 44s dependabot/uv/pykwasm/requests-2.33.0
dependabot/uv/pykwasm/requests-2.33.0
6m 44s
uv in /pykwasm for requests - Update #1294702755 Dependabot Updates #6: by dependabot bot
1m 50s master
master
1m 50s
Remove Gitcoin Grant support section from README (#750) Master Push #252: Commit 4374213 pushed by automergerpr-permission-manager bot
2m 25s master
master
2m 25s
Remove Gitcoin Grant support section from README Run Tests #2843: Pull request #750 synchronize by rv-jenkins
6m 3s ehildenb-patch-1
ehildenb-patch-1
6m 3s
Remove Gitcoin Grant support section from README Run Tests #2842: Pull request #750 opened by ehildenb
17s ehildenb-patch-1
ehildenb-patch-1
17s
Add new HelperInstr sort (#748) Master Push #251: Commit 9a33c05 pushed by automergerpr-permission-manager bot
2m 53s master
master
2m 53s
Add new HelperInstr sort Run Tests #2841: Pull request #748 synchronize by anvacaru
6m 2s anvacaru/helper-sort
anvacaru/helper-sort
6m 2s
Add new HelperInstr sort Run Tests #2840: Pull request #748 synchronize by rv-jenkins
6m 11s anvacaru/helper-sort
anvacaru/helper-sort
6m 11s
Add new HelperInstr sort Run Tests #2839: Pull request #748 opened by anvacaru
57s anvacaru/helper-sort
anvacaru/helper-sort
57s
Bump black from 26.1.0 to 26.3.1 in /pykwasm Run Tests #2838: Pull request #747 opened by dependabot bot
8m 59s dependabot/uv/pykwasm/black-26.3.1
dependabot/uv/pykwasm/black-26.3.1
8m 59s
uv in /pykwasm for black - Update #1277099565 Dependabot Updates #5: by dependabot bot
1m 40s master
master
1m 40s
Update dependency: deps/k_release (#745) Master Push #250: Commit 91ddc83 pushed by bbyalcinkaya
28m 3s master
master
28m 3s
Update dependency: deps/k_release Run Tests #2837: Pull request #745 synchronize by rv-jenkins
7m 21s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
7m 21s
pykwasm/: sync uv files 7.1.313 Update Version #2481: Commit 8bf586e pushed by rv-jenkins
2m 9s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
2m 9s