Skip to content

Actions: yetanotherco/lambda_vm

Actions

Spec tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr_spec.yaml
2,500+ workflow runs
2,500+ 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
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2998: Pull request #1014 synchronize by MauroToscano
11s noepoch/whir
noepoch/whir
11s
feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo… Spec tests #2997: Pull request #1027 synchronize by jotabulacios
17s formal/clean-model
formal/clean-model
17s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2996: Pull request #1014 synchronize by MauroToscano
21s noepoch/whir
noepoch/whir
21s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2995: Pull request #1014 synchronize by MauroToscano
10s noepoch/whir
noepoch/whir
10s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2994: Pull request #1014 synchronize by MauroToscano
12s noepoch/whir
noepoch/whir
12s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2993: Pull request #1014 synchronize by MauroToscano
30s noepoch/whir
noepoch/whir
30s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2992: Pull request #1014 synchronize by MauroToscano
14s noepoch/whir
noepoch/whir
14s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2991: Pull request #1014 synchronize by MauroToscano
27s noepoch/whir
noepoch/whir
27s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2990: Pull request #1014 synchronize by MauroToscano
9s noepoch/whir
noepoch/whir
9s
test: drop measurement probes that guard nothing Spec tests #2989: Commit 9d782a2 pushed by MauroToscano
13s noepoch/whir
noepoch/whir
13s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2988: Pull request #1014 synchronize by MauroToscano
8s noepoch/whir
noepoch/whir
8s
prover: read the ECREC table in the block-wide LogUp census Spec tests #2987: Commit 705d990 pushed by MauroToscano
10s noepoch/whir
noepoch/whir
10s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2986: Pull request #1014 synchronize by MauroToscano
10s noepoch/whir
noepoch/whir
10s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2985: Pull request #1014 synchronize by MauroToscano
8s noepoch/whir
noepoch/whir
8s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2984: Pull request #1014 synchronize by MauroToscano
10s noepoch/whir
noepoch/whir
10s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2983: Pull request #1014 synchronize by MauroToscano
9s noepoch/whir
noepoch/whir
9s
spec: read dataclass field names from the class, not the instance Spec tests #2982: Commit 147b4b3 pushed by MauroToscano
8s noepoch/whir
noepoch/whir
8s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2981: Pull request #1014 synchronize by MauroToscano
12s noepoch/whir
noepoch/whir
12s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2980: Pull request #1014 synchronize by MauroToscano
8s noepoch/whir
noepoch/whir
8s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2979: Pull request #1014 synchronize by MauroToscano
17s noepoch/whir
noepoch/whir
17s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2978: Pull request #1014 synchronize by MauroToscano
13s noepoch/whir
noepoch/whir
13s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2977: Pull request #1014 synchronize by MauroToscano
13s noepoch/whir
noepoch/whir
13s
feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo… Spec tests #2976: Pull request #1027 synchronize by ColoCarletti
10s formal/clean-model
formal/clean-model
10s
feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo… Spec tests #2975: Pull request #1027 synchronize by ColoCarletti
10s formal/clean-model
formal/clean-model
10s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2974: Pull request #1014 synchronize by MauroToscano
10s noepoch/whir
noepoch/whir
10s