Skip to content

Actions: digitable-lol/flang

Actions

Commit messages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
commit-messages.yml
234 workflow runs
234 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
feat(lean): the last five checker moves enter the acceptance Commit messages #234: Pull request #339 opened by the-homeless-god
6m 50s a/lean-acceptance-closes-the-debt
a/lean-acceptance-closes-the-debt
6m 50s
feat(foreign): code in c is translated to flang and judged by kernel Commit messages #233: Pull request #338 opened by the-homeless-god
6m 57s a/foreign-code-is-checked-in-flang
a/foreign-code-is-checked-in-flang
6m 57s
feat(checker): replay conditional bodies the kernel closes by case split Commit messages #232: Pull request #337 opened by the-homeless-god
6m 23s a/no-verdict-on-the-kernels-word
a/no-verdict-on-the-kernels-word
6m 23s
feat(bench): pool scaling bench is a plan, ADR-0072 on parallelism Commit messages #231: Pull request #336 opened by the-homeless-god
5m 37s a/real-parallelism
a/real-parallelism
5m 37s
feat(proof): every checker move has a lean theorem or a debt row Commit messages #230: Pull request #335 synchronize by the-homeless-god
34s a/checker-rules-are-sound-in-lean
a/checker-rules-are-sound-in-lean
34s
feat(proof): every checker move has a lean theorem or a debt row Commit messages #229: Pull request #335 opened by the-homeless-god
6m 47s a/checker-rules-are-sound-in-lean
a/checker-rules-are-sound-in-lean
6m 47s
chore(seed): the fingerprint names the trunk commit of print 5 Commit messages #228: Pull request #334 opened by the-homeless-god
6m 45s a/the-fingerprint-names-the-trunk-seed-commit
a/the-fingerprint-names-the-trunk-seed-commit
6m 45s
docs(adr): 0067 the release ships binaries for four triples Commit messages #227: Pull request #333 synchronize by the-homeless-god
3m 1s a/the-release-ships-binaries-for-four-triples
a/the-release-ships-binaries-for-four-triples
3m 1s
feat(self): print batch 2 with the exact integer and the exact fraction Commit messages #226: Pull request #331 synchronize by the-homeless-god
3m 35s a/exact-fractions-are-a-pair-of-exact-integers
a/exact-fractions-are-a-pair-of-exact-integers
3m 35s
docs(adr): 0067 the release ships binaries for four triples Commit messages #225: Pull request #333 opened by the-homeless-god
4m 33s a/the-release-ships-binaries-for-four-triples
a/the-release-ships-binaries-for-four-triples
4m 33s
feat(self): print batch 2 with the exact integer and the exact fraction Commit messages #224: Pull request #331 synchronize by the-homeless-god
3m 33s a/exact-fractions-are-a-pair-of-exact-integers
a/exact-fractions-are-a-pair-of-exact-integers
3m 33s
docs(site): the roadmap page is a dated plan to 1.0 Commit messages #223: Pull request #332 opened by the-homeless-god
7m 1s a/the-roadmap-is-a-gantt-to-one-point-zero
a/the-roadmap-is-a-gantt-to-one-point-zero
7m 1s
feat(self): print batch 2 with the exact integer and the exact fraction Commit messages #222: Pull request #331 synchronize by the-homeless-god
14m 43s a/exact-fractions-are-a-pair-of-exact-integers
a/exact-fractions-are-a-pair-of-exact-integers
14m 43s
feat(self): print batch 2 with the exact integer and the exact fraction Commit messages #221: Pull request #331 synchronize by the-homeless-god
17m 15s a/exact-fractions-are-a-pair-of-exact-integers
a/exact-fractions-are-a-pair-of-exact-integers
17m 15s
feat(self): print batch 2 with the exact integer and the exact fraction Commit messages #220: Pull request #331 opened by the-homeless-god
19m 31s a/exact-fractions-are-a-pair-of-exact-integers
a/exact-fractions-are-a-pair-of-exact-integers
19m 31s
Registry: the lock closes every form and resolution is proved by a corpus Commit messages #219: Pull request #330 opened by the-homeless-god
13m 35s a/the-registry-properties-and-the-js-twin
a/the-registry-properties-and-the-js-twin
13m 35s
docs(reprint): the ledger carries four runs and the cost is 4736 s Commit messages #218: Pull request #323 synchronize by the-homeless-god
2m 13s a/user-stories-and-the-reprint-ledger
a/user-stories-and-the-reprint-ledger
2m 13s
feat(guards): сторож «проверки, которых никто не зовёт» видит судей в замыкании Commit messages #217: Pull request #329 opened by the-homeless-god
4m 48s a/the-law-judges-are-called-at-last
a/the-law-judges-are-called-at-last
4m 48s
docs(reprint): the ledger carries four runs and the cost is 4736 s Commit messages #216: Pull request #323 synchronize by the-homeless-god
2m 41s a/user-stories-and-the-reprint-ledger
a/user-stories-and-the-reprint-ledger
2m 41s
fix(site): the registry page is printed without internal words Commit messages #215: Pull request #327 opened by the-homeless-god
9m 39s a/registry-page-without-internal-words
a/registry-page-without-internal-words
9m 39s
fix(repl): check asks the plan judge and twelve forgeries fail Commit messages #214: Pull request #326 opened by the-homeless-god
8m 18s a/check-asks-the-plan-judge
a/check-asks-the-plan-judge
8m 18s
refactor(guards): the hand-written list census is a plan, not a shell Commit messages #213: Pull request #325 opened by the-homeless-god
8m 25s a/hand-written-lists-to-plan
a/hand-written-lists-to-plan
8m 25s
docs(tasks): 5245 asks for a remainder over the exact integer Commit messages #212: Pull request #324 opened by the-homeless-god
5m 47s a/exact-remainder-task
a/exact-remainder-task
5m 47s
docs(reprint): the ledger carries four runs and the cost is 4736 s Commit messages #211: Pull request #323 opened by the-homeless-god
6m 43s a/user-stories-and-the-reprint-ledger
a/user-stories-and-the-reprint-ledger
6m 43s
Five of the disabled CI jobs go green Commit messages #210: Pull request #322 opened by the-homeless-god
5m 17s a/five-red-ci-jobs-go-green
a/five-red-ci-jobs-go-green
5m 17s