Skip to content

Actions: theronic/eacl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,225 workflow runs
2,225 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
Formal verification Formal verification #1020: Scheduled
48m 45s main
main
48m 45s
Formal verification Formal verification #1019: Scheduled
49m 9s main
main
49m 9s
Delete tautological tests Tests #1143: Pull request #236 opened by theronic
6m 33s agent/delete-tautological-tests
agent/delete-tautological-tests
6m 33s
Delete tautological tests Formal verification #1018: Pull request #236 opened by theronic
9m 16s agent/delete-tautological-tests
agent/delete-tautological-tests
9m 16s
Record the test policy as an OpenSpec change Tests #1142: Commit 8a5ee36 pushed by theronic
22m 34s agent/delete-tautological-tests
agent/delete-tautological-tests
22m 34s
Record the test policy as an OpenSpec change Formal verification #1017: Commit 8a5ee36 pushed by theronic
43m 49s agent/delete-tautological-tests
agent/delete-tautological-tests
43m 49s
Compile the operator evaluator and stop repeating per-request work Formal verification #1016: Pull request #234 synchronize by theronic
14m 0s agent/faster-eacl
agent/faster-eacl
14m 0s
Compile the operator evaluator and stop repeating per-request work Tests #1141: Pull request #234 synchronize by theronic
6m 1s agent/faster-eacl
agent/faster-eacl
6m 1s
Record the constant-factor work in the performance change Formal verification #1015: Commit a2898a4 pushed by theronic
33m 5s agent/faster-eacl
agent/faster-eacl
33m 5s
Record the constant-factor work in the performance change Tests #1140: Commit a2898a4 pushed by theronic
22m 43s agent/faster-eacl
agent/faster-eacl
22m 43s
Take a plain cover candidate as proof of the generator node Tests #1139: Pull request #235 opened by theronic
6m 57s agent/structural-certainty-from-generator
agent/structural-certainty-from-generator
6m 57s
Take a plain cover candidate as proof of the generator node Formal verification #1014: Pull request #235 opened by theronic
14m 55s agent/structural-certainty-from-generator
agent/structural-certainty-from-generator
14m 55s
Take a plain cover candidate as proof of the generator node Tests #1138: Commit 5f11ffc pushed by theronic
17m 22s agent/structural-certainty-from-generator
agent/structural-certainty-from-generator
17m 22s
Take a plain cover candidate as proof of the generator node Formal verification #1013: Commit 5f11ffc pushed by theronic
43m 24s agent/structural-certainty-from-generator
agent/structural-certainty-from-generator
43m 24s
Compile the operator evaluator and stop repeating per-request work Tests #1137: Pull request #234 opened by theronic
4m 2s agent/faster-eacl
agent/faster-eacl
4m 2s
Compile the operator evaluator and stop repeating per-request work Formal verification #1012: Pull request #234 opened by theronic
10m 17s agent/faster-eacl
agent/faster-eacl
10m 17s
Record the constant-factor work in the performance change Tests #1136: Commit f381173 pushed by theronic
16m 12s agent/faster-eacl
agent/faster-eacl
16m 12s
Record the constant-factor work in the performance change Formal verification #1011: Commit f381173 pushed by theronic
42m 32s agent/faster-eacl
agent/faster-eacl
42m 32s
Generate an intersection from an operand no wildcard reaches Formal verification #1010: Pull request #233 opened by theronic
12m 30s agent/intersection-anchor-selectivity
agent/intersection-anchor-selectivity
12m 30s
Generate an intersection from an operand no wildcard reaches Tests #1135: Pull request #233 opened by theronic
8m 24s agent/intersection-anchor-selectivity
agent/intersection-anchor-selectivity
8m 24s
State what the anchor rule costs and pin its last-page contract Formal verification #1009: Commit 4e4c37f pushed by theronic
26m 15s agent/intersection-anchor-selectivity
agent/intersection-anchor-selectivity
26m 15s
State what the anchor rule costs and pin its last-page contract Tests #1134: Commit 4e4c37f pushed by theronic
26m 27s agent/intersection-anchor-selectivity
agent/intersection-anchor-selectivity
26m 27s
Fix ledger evidence that names missing tests, and the :cache-attempt release note Tests #1133: Pull request #232 opened by theronic
4m 2s agent/fix-stale-ledger-evidence
agent/fix-stale-ledger-evidence
4m 2s
Fix ledger evidence that names missing tests, and the :cache-attempt release note Formal verification #1008: Pull request #232 opened by theronic
14m 38s agent/fix-stale-ledger-evidence
agent/fix-stale-ledger-evidence
14m 38s
Release notes: :cache-attempt is not an option Formal verification #1007: Commit 9afe9f0 pushed by theronic
44m 20s agent/fix-stale-ledger-evidence
agent/fix-stale-ledger-evidence
44m 20s