All workflows

Showing runs from all workflows

2500+ workflow runs

Provability
failed:
Provability#46:Scheduled
main
Oct 30, 202613m 13s
Lean crosscheck
completed successfully:
Lean crosscheck#38:Scheduled
main
Oct 30, 202637m 6s
Install path
completed successfully:
Install path#364:Scheduled
main
Oct 30, 202614m 49s
Provability
failed:
Provability#45:Scheduled
main
Oct 29, 20268m 20s
Lean crosscheck
completed successfully:
Lean crosscheck#37:Scheduled
main
Oct 29, 202638m 33s
Install path
completed successfully:
Install path#363:Scheduled
main
Oct 29, 202630m 24s
fix(services): pasta hands loopback connections to the loopback inside
failed:
Binary#2696:Commit6e70c9dpushedbythe-homeless-god
a/the-first-service-in-production
Oct 28, 202617m 17s
fix(services): pasta hands loopback connections to the loopback inside
completed successfully:
macOS build#2743:Commit6e70c9dpushedbythe-homeless-god
a/the-first-service-in-production
Oct 28, 20269m 18s
Provability
failed:
Provability#44:Scheduled
main
Oct 28, 20268m 48s
Lean crosscheck
completed successfully:
Lean crosscheck#36:Scheduled
main
Oct 28, 202638m 15s
Install path
completed successfully:
Install path#362:Scheduled
main
Oct 28, 202630m 15s
test(probes): syllogism probes keep the answer of the binary until print
completed successfully:
Binary#2695:Commitd7b8eecpushedbythe-homeless-god
a/print-batch-9c
Oct 28, 202618m 25s
test(probes): syllogism probes keep the answer of the binary until print
completed successfully:
macOS build#2742:Commitd7b8eecpushedbythe-homeless-god
a/print-batch-9c
Oct 28, 202610m 24s
ci(binary): the listen address guard waits for the printed host
failed:
Binary#2694:Commitab0da89pushedbythe-homeless-god
a/print-batch-9c
Oct 28, 202615m 31s
ci(binary): the listen address guard waits for the printed host
completed successfully:
macOS build#2741:Commitab0da89pushedbythe-homeless-god
a/print-batch-9c
Oct 28, 20268m 39s
ci(binary): the guards self test runs as two halves
completed successfully:
macOS build#2740:Commita5f8ff0pushedbythe-homeless-god
a/print-batch-9c
Oct 28, 20269m 7s
ci(binary): the guards self test runs as two halves
failed:
Binary#2693:Commita5f8ff0pushedbythe-homeless-god
a/print-batch-9c
Oct 28, 202618m 22s
proof: lean model reads the registry, a census names blocks outside it, the second checker accepts by the model
completed successfully:
Docs site#1279:Pull request#482openedbythe-homeless-god
a/lean-model-covers-every-record-block-2
Oct 28, 202612m 49s
proof: lean model reads the registry, a census names blocks outside it, the second checker accepts by the model
completed successfully:
Commit messages#368:Pull request#482openedbythe-homeless-god
a/lean-model-covers-every-record-block-2
Oct 28, 20269m 57s
proof: lean model reads the registry, a census names blocks outside it, the second checker accepts by the model
completed successfully:
Install path#361:Pull request#482openedbythe-homeless-god
a/lean-model-covers-every-record-block-2
Oct 28, 202626m 21s
proof: lean model reads the registry, a census names blocks outside it, the second checker accepts by the model
cancelled:
Binary#2692:Pull request#482openedbythe-homeless-god
a/lean-model-covers-every-record-block-2
Oct 28, 202634m 8s
proof: lean model reads the registry, a census names blocks outside it, the second checker accepts by the model
completed successfully:
macOS build#2739:Pull request#482openedbythe-homeless-god
a/lean-model-covers-every-record-block-2
Oct 28, 20267m 45s
chore(guards): file name words and a forgery shortcut follow the census
cancelled:
Binary#2691:Commit288d21epushedbythe-homeless-god
a/lean-model-covers-every-record-block-2
Oct 28, 202625m 19s
chore(guards): file name words and a forgery shortcut follow the census
completed successfully:
macOS build#2738:Commit288d21epushedbythe-homeless-god
a/lean-model-covers-every-record-block-2
Oct 28, 20269m 18s
chore(merge): dev after the 0.7.31 release into 9c
failed:
Binary#2690:Commit6e41c91pushedbythe-homeless-god
a/print-batch-9c
Oct 28, 202616m 12s