Skip to content

Actions: digitable-lol/flang

Actions

Binary

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
binary.yml
1,813 workflow runs
1,813 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
chore(numbers): sync counts after rebase onto the checker sets Binary #1813: Commit b7aa7d3 pushed by the-homeless-god
8m 18s dev
dev
8m 18s
fix(checker): replay property steps, cite across files, project fields Binary #1812: Pull request #218 opened by the-homeless-god
9m 53s a/1400-fmath-first-statements
a/1400-fmath-first-statements
9m 53s
chore(numbers): sync counts after rebase onto the checker sets Binary #1811: Commit 43b143f pushed by the-homeless-god
13m 0s a/1400-fmath-first-statements
a/1400-fmath-first-statements
13m 0s
chore(numbers): sync measured counts after rebase Binary #1810: Commit 886a684 pushed by the-homeless-god
10m 22s dev
dev
10m 22s
fix(checker): replay what the kernel proves in user programs Binary #1809: Pull request #215 synchronize by the-homeless-god
11m 8s a/4573-checker-reads-module-types-and-dependency-sets
a/4573-checker-reads-module-types-and-dependency-sets
11m 8s
chore(numbers): sync measured counts after rebase Binary #1808: Commit be7b87e pushed by the-homeless-god
9m 52s a/4573-checker-reads-module-types-and-dependency-sets
a/4573-checker-reads-module-types-and-dependency-sets
9m 52s
refactor(proof): run the record forgeries from a table and a plan Binary #1807: Commit 3a6bcb4 pushed by the-homeless-god
7m 58s dev
dev
7m 58s
refactor(proof): measure the share by replay from a plan Binary #1806: Pull request #217 opened by the-homeless-god
10m 7s a/proof-shell-becomes-plans-3
a/proof-shell-becomes-plans-3
10m 7s
refactor(proof): run the record forgeries from a table and a plan Binary #1805: Commit f4a431b pushed by the-homeless-god
11m 10s a/proof-shell-becomes-plans-3
a/proof-shell-becomes-plans-3
11m 10s
fix(checker): reject a record whose hypothesis is not the statement's Binary #1804: Pull request #216 opened by the-homeless-god
10m 1s a/checker-replays-steps-from-assumptions
a/checker-replays-steps-from-assumptions
10m 1s
docs(site): sync the theorem count with the tree Binary #1803: Commit f2296da pushed by the-homeless-god
13m 44s a/checker-replays-steps-from-assumptions
a/checker-replays-steps-from-assumptions
13m 44s
fix(checker): replay what the kernel proves in user programs Binary #1802: Pull request #215 opened by the-homeless-god
9m 50s a/4573-checker-reads-module-types-and-dependency-sets
a/4573-checker-reads-module-types-and-dependency-sets
9m 50s
chore(numbers): sync measured counts after rebase Binary #1801: Commit 8949cbe pushed by the-homeless-god
10m 6s a/4573-checker-reads-module-types-and-dependency-sets
a/4573-checker-reads-module-types-and-dependency-sets
10m 6s
chore(numbers): sync measured counts after rebase Binary #1800: Commit 8949cbe pushed by the-homeless-god
3s a/4573-checker-reads-module-types-and-dependency-sets
a/4573-checker-reads-module-types-and-dependency-sets
3s
docs: name the three open soundness holes Binary #1799: Commit eb61db4 pushed by the-homeless-god
10m 45s dev
dev
10m 45s
docs: name the three open soundness holes Binary #1798: Pull request #214 opened by the-homeless-god
9m 43s a/description-names-the-open-soundness-holes
a/description-names-the-open-soundness-holes
9m 43s
docs: name the three open soundness holes Binary #1797: Commit e1cd002 pushed by the-homeless-god
13m 26s a/description-names-the-open-soundness-holes
a/description-names-the-open-soundness-holes
13m 26s
fix(ci): give the proof probe steps a temporary directory Binary #1796: Commit 9da3488 pushed by the-homeless-god
9m 37s dev
dev
9m 37s
refactor(proof): write and probe the seed fingerprint from a plan Binary #1795: Pull request #213 synchronize by the-homeless-god
10m 45s a/proof-shell-becomes-plans-2
a/proof-shell-becomes-plans-2
10m 45s
fix(ci): give the proof probe steps a temporary directory Binary #1794: Commit edab6c9 pushed by the-homeless-god
10m 25s a/proof-shell-becomes-plans-2
a/proof-shell-becomes-plans-2
10m 25s
refactor(proof): write and probe the seed fingerprint from a plan Binary #1793: Pull request #213 opened by the-homeless-god
9m 50s a/proof-shell-becomes-plans-2
a/proof-shell-becomes-plans-2
9m 50s
refactor(proof): check corpus nesting and the ledger probe from plans Binary #1792: Commit 334866f pushed by the-homeless-god
12m 5s a/proof-shell-becomes-plans-2
a/proof-shell-becomes-plans-2
12m 5s
fix(seed): name the landed runtime commit in the fingerprint Binary #1791: Commit e0e9873 pushed by the-homeless-god
10m 16s dev
dev
10m 16s
fix(seed): name the landed runtime commit in the fingerprint Binary #1790: Pull request #212 opened by the-homeless-god
9m 36s a/seed-fingerprint-names-the-landed-commit
a/seed-fingerprint-names-the-landed-commit
9m 36s
fix(seed): name the landed runtime commit in the fingerprint Binary #1789: Commit f0676e5 pushed by the-homeless-god
12m 39s a/seed-fingerprint-names-the-landed-commit
a/seed-fingerprint-names-the-landed-commit
12m 39s