Skip to content

Actions: DrMurphyIsIn/Arda

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
grant(mirrormere): four nodes proved after the team-branch landing (#577) telperion-casestudy #2518: Pull request #578 opened by DrMurphyIsIn
19m 43s grant/mm-four
grant/mm-four
19m 43s
grant(mirrormere): four nodes proved after the team-branch landing (#577) telperion-lean-e2e #2110: Pull request #578 opened by DrMurphyIsIn
Queued grant/mm-four
grant/mm-four
Queued
grant(mirrormere): four nodes proved after the team-branch landing (#577) telperion-test #2530: Pull request #578 opened by DrMurphyIsIn
In progress grant/mm-four
grant/mm-four
In progress
grant(mirrormere): four nodes proved after #577 -- torus T1 rung, dis… telperion-casestudy #2517: Commit 41f675b pushed by DrMurphyIsIn
18m 50s grant/mm-four
grant/mm-four
18m 50s
grant(mirrormere): four nodes proved after #577 -- torus T1 rung, dis… telperion-test #2529: Commit 41f675b pushed by DrMurphyIsIn
In progress grant/mm-four
grant/mm-four
In progress
Merge pull request #577 from DrMurphyIsIn/land/mirrormere-proofs telperion-lean-e2e #2109: Commit 7758472 pushed by DrMurphyIsIn
Queued main
main
Queued
Merge pull request #577 from DrMurphyIsIn/land/mirrormere-proofs telperion-test #2528: Commit 7758472 pushed by DrMurphyIsIn
19m 16s main
main
19m 16s
Merge pull request #577 from DrMurphyIsIn/land/mirrormere-proofs telperion-casestudy #2516: Commit 7758472 pushed by DrMurphyIsIn
24m 9s main
main
24m 9s
Merge pull request #577 from DrMurphyIsIn/land/mirrormere-proofs telperion-production #916: Commit 7758472 pushed by DrMurphyIsIn
20m 27s main
main
20m 27s
land(mirrormere): the six verified team branches, integrated serially (4 proofs + 4 emitter kinds) telperion-lean-e2e #2108: Pull request #577 synchronize by DrMurphyIsIn
In progress land/mirrormere-proofs
land/mirrormere-proofs
In progress
land(mirrormere): the six verified team branches, integrated serially (4 proofs + 4 emitter kinds) telperion-casestudy #2515: Pull request #577 synchronize by DrMurphyIsIn
25m 9s land/mirrormere-proofs
land/mirrormere-proofs
25m 9s
land(mirrormere): the six verified team branches, integrated serially (4 proofs + 4 emitter kinds) telperion-test #2527: Pull request #577 synchronize by DrMurphyIsIn
19m 9s land/mirrormere-proofs
land/mirrormere-proofs
19m 9s
land(mirrormere): the six verified team branches, integrated serially (4 proofs + 4 emitter kinds) telperion-production #915: Pull request #577 synchronize by DrMurphyIsIn
21m 58s land/mirrormere-proofs
land/mirrormere-proofs
21m 58s
Merge pull request #576 from DrMurphyIsIn/feat/gate-reduction-premise telperion-production #914: Commit d00099b pushed by DrMurphyIsIn
23m 57s main
main
23m 57s
Merge pull request #576 from DrMurphyIsIn/feat/gate-reduction-premise telperion-casestudy #2514: Commit d00099b pushed by DrMurphyIsIn
16m 45s main
main
16m 45s
Merge pull request #576 from DrMurphyIsIn/feat/gate-reduction-premise telperion-lean-e2e #2107: Commit d00099b pushed by DrMurphyIsIn
1h 5m 54s main
main
1h 5m 54s
Merge pull request #576 from DrMurphyIsIn/feat/gate-reduction-premise telperion-test #2526: Commit d00099b pushed by DrMurphyIsIn
19m 11s main
main
19m 11s
land(mirrormere): the six verified team branches, integrated serially (4 proofs + 4 emitter kinds) telperion-test #2525: Pull request #577 synchronize by DrMurphyIsIn
19m 16s land/mirrormere-proofs
land/mirrormere-proofs
19m 16s
land(mirrormere): the six verified team branches, integrated serially (4 proofs + 4 emitter kinds) telperion-production #913: Pull request #577 synchronize by DrMurphyIsIn
20m 37s land/mirrormere-proofs
land/mirrormere-proofs
20m 37s
land(mirrormere): the six verified team branches, integrated serially (4 proofs + 4 emitter kinds) telperion-lean-e2e #2106: Pull request #577 synchronize by DrMurphyIsIn
50m 16s land/mirrormere-proofs
land/mirrormere-proofs
50m 16s
land(mirrormere): the six verified team branches, integrated serially (4 proofs + 4 emitter kinds) telperion-casestudy #2513: Pull request #577 synchronize by DrMurphyIsIn
19m 49s land/mirrormere-proofs
land/mirrormere-proofs
19m 49s
fix(zzl_aux): repair the second lakefile union merge (duplicate targe… telperion-test #2524: Commit 2a3fbab pushed by DrMurphyIsIn
19m 32s land/mirrormere-proofs
land/mirrormere-proofs
19m 32s
fix(zzl_aux): repair the second lakefile union merge (duplicate targe… telperion-casestudy #2512: Commit 2a3fbab pushed by DrMurphyIsIn
23m 1s land/mirrormere-proofs
land/mirrormere-proofs
23m 1s
land(mirrormere): the six verified team branches, integrated serially (4 proofs + 4 emitter kinds) telperion-production #912: Pull request #577 synchronize by DrMurphyIsIn
22m 18s land/mirrormere-proofs
land/mirrormere-proofs
22m 18s
land(mirrormere): the six verified team branches, integrated serially (4 proofs + 4 emitter kinds) telperion-lean-e2e #2105: Pull request #577 synchronize by DrMurphyIsIn
32m 24s land/mirrormere-proofs
land/mirrormere-proofs
32m 24s