Skip to content

Actions: powdr-labs/apc-optimizer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,107 workflow runs
2,107 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
PR Report Comment PR Report Comment #72: completed by georgwiese
8s
8s
PR Report Comment PR Report Comment #71: completed by alex-ozdemir
12s
12s
PR Report Comment PR Report Comment #70: completed by alex-ozdemir
13s
13s
PR Report Comment PR Report Comment #69: completed by alex-ozdemir
2s
2s
VmSpec: a VM-level spec and soundness substitution theorem (#309) Docs #57: Commit 1b3eb07 pushed by georgwiese
1d 0h 0m 2s main
main
1d 0h 0m 2s
VmSpec: a VM-level spec and soundness substitution theorem (#309) Lean Action CI #1280: Commit 1b3eb07 pushed by georgwiese
1d 0h 0m 2s main
main
1d 0h 0m 2s
PR Report Comment PR Report Comment #68: completed by alex-ozdemir
3s
3s
VmSpec: a VM-level spec and soundness substitution theorem Lean Action CI #1279: Pull request #309 synchronize by alex-ozdemir
1d 0h 0m 13s 1arie1:vm-spec
1arie1:vm-spec
1d 0h 0m 13s
VmSpec: a VM-level spec and soundness substitution theorem Optimizer-only label #632: Pull request #309 synchronize by alex-ozdemir
9s
9s
VmSpec: a VM-level spec and soundness substitution theorem Optimizer-only label #631: Pull request #309 synchronize by alex-ozdemir
9s
9s
VmSpec: a VM-level spec and soundness substitution theorem Lean Action CI #1278: Pull request #309 synchronize by alex-ozdemir
18h 14m 45s 1arie1:vm-spec
1arie1:vm-spec
18h 14m 45s
VmSpec: a VM-level spec and soundness substitution theorem Lean Action CI #1277: Pull request #309 synchronize by alex-ozdemir
18h 23m 4s 1arie1:vm-spec
1arie1:vm-spec
18h 23m 4s
VmSpec: a VM-level spec and soundness substitution theorem Optimizer-only label #630: Pull request #309 synchronize by alex-ozdemir
12s
12s
PR Report Comment PR Report Comment #67: completed by alex-ozdemir
13s
13s
VmSpec: a VM-level spec and soundness substitution theorem Lean Action CI #1276: Pull request #309 synchronize by alex-ozdemir
4m 6s 1arie1:vm-spec
1arie1:vm-spec
4m 6s
VmSpec: a VM-level spec and soundness substitution theorem Optimizer-only label #629: Pull request #309 synchronize by alex-ozdemir
7s
7s
PR Report Comment PR Report Comment #66: completed by alex-ozdemir
11s
11s
VmSpec: a VM-level spec and soundness substitution theorem Lean Action CI #1275: Pull request #309 synchronize by alex-ozdemir
4m 2s 1arie1:vm-spec
1arie1:vm-spec
4m 2s
VmSpec: a VM-level spec and soundness substitution theorem Optimizer-only label #628: Pull request #309 synchronize by alex-ozdemir
8s
8s
VmSpec: a VM-level spec and soundness substitution theorem Lean Action CI #1274: Pull request #309 synchronize by alex-ozdemir
3d 19h 24m 3s 1arie1:vm-spec
1arie1:vm-spec
3d 19h 24m 3s
VmSpec: a VM-level spec and soundness substitution theorem Optimizer-only label #627: Pull request #309 synchronize by alex-ozdemir
9s
9s
PR Report Comment PR Report Comment #65: completed by alex-ozdemir
19s
19s
VmSpec: a VM-level spec and soundness substitution theorem Lean Action CI #1273: Pull request #309 synchronize by alex-ozdemir
5m 12s 1arie1:vm-spec
1arie1:vm-spec
5m 12s
VmSpec: a VM-level spec and soundness substitution theorem Optimizer-only label #626: Pull request #309 synchronize by alex-ozdemir
8s
8s
PR Report Comment PR Report Comment #64: completed by alex-ozdemir
10s
10s