Skip to content

Actions: jasisz/aver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Prove each arith host role in its own certificate theorem Certification #268: Commit f141421 pushed by jasisz
47m 40s main
main
47m 40s
Prove each arith host role in its own certificate theorem Proof #1069: Commit f141421 pushed by jasisz
8m 31s main
main
8m 31s
Prove each arith host role in its own certificate theorem CI #2982: Commit f141421 pushed by jasisz
14m 22s main
main
14m 22s
Implement Tcp.sendBytes on the wasm-gc and wasip2 targets Proof #1068: Pull request #771 opened by jasisz
7m 2s wasm-tcp-send-bytes
wasm-tcp-send-bytes
7m 2s
Implement Tcp.sendBytes on the wasm-gc and wasip2 targets CI #2981: Pull request #771 opened by jasisz
6m 59s wasm-tcp-send-bytes
wasm-tcp-send-bytes
6m 59s
Implement Tcp.sendBytes on the wasm-gc and wasip2 targets Certification #267: Pull request #771 opened by jasisz
38m 35s wasm-tcp-send-bytes
wasm-tcp-send-bytes
38m 35s
Render Tcp.sendBytes through the Rust codegen backend (#769) Certification #266: Commit 267cf5d pushed by jasisz
17m 10s main
main
17m 10s
Render Tcp.sendBytes through the Rust codegen backend (#769) CI #2980: Commit 267cf5d pushed by jasisz
12m 45s main
main
12m 45s
Render Tcp.sendBytes through the Rust codegen backend (#769) Proof #1067: Commit 267cf5d pushed by jasisz
6m 56s main
main
6m 56s
Prove each arith host role in its own certificate theorem CI #2979: Pull request #770 opened by jasisz
8m 19s split-host-role-proof
split-host-role-proof
8m 19s
Prove each arith host role in its own certificate theorem Proof #1066: Pull request #770 opened by jasisz
9m 45s split-host-role-proof
split-host-role-proof
9m 45s
Prove each arith host role in its own certificate theorem Certification #265: Pull request #770 opened by jasisz
38m 59s split-host-role-proof
split-host-role-proof
38m 59s
Render Tcp.sendBytes through the Rust codegen backend Proof #1065: Pull request #769 opened by jasisz
7m 20s rust-codegen-tcp-send-bytes
rust-codegen-tcp-send-bytes
7m 20s
Render Tcp.sendBytes through the Rust codegen backend Certification #264: Pull request #769 opened by jasisz
28m 9s rust-codegen-tcp-send-bytes
rust-codegen-tcp-send-bytes
28m 9s
Render Tcp.sendBytes through the Rust codegen backend CI #2978: Pull request #769 opened by jasisz
5m 39s rust-codegen-tcp-send-bytes
rust-codegen-tcp-send-bytes
5m 39s
Add Tcp.sendBytes — a byte-clean one-shot TCP call (#764) Certification #263: Commit 1898c98 pushed by jasisz
26m 33s main
main
26m 33s
Add Tcp.sendBytes — a byte-clean one-shot TCP call (#764) CI #2977: Commit 1898c98 pushed by jasisz
15m 50s main
main
15m 50s
Add Tcp.sendBytes — a byte-clean one-shot TCP call (#764) Proof #1064: Commit 1898c98 pushed by jasisz
9m 4s main
main
9m 4s
Add Tcp.sendBytes — a byte-clean one-shot TCP call Proof #1063: Pull request #764 synchronize by jasisz
8m 5s n1bor:tcp-send-bytes
n1bor:tcp-send-bytes
8m 5s
Add Tcp.sendBytes — a byte-clean one-shot TCP call CI #2976: Pull request #764 synchronize by jasisz
4m 3s n1bor:tcp-send-bytes
n1bor:tcp-send-bytes
4m 3s
Add Tcp.sendBytes — a byte-clean one-shot TCP call Certification #262: Pull request #764 synchronize by jasisz
25m 55s n1bor:tcp-send-bytes
n1bor:tcp-send-bytes
25m 55s
Rust codegen Rust codegen #80: Scheduled
3m 35s main
main
3m 35s
Proof Proof #1062: Scheduled
17m 14s main
main
17m 14s
Fuzz Fuzz #176: Scheduled
1h 10m 9s main
main
1h 10m 9s
CI CI #2975: Scheduled
18m 54s main
main
18m 54s