Skip to content

Actions: teorth/sendov

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 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
Correct the account of where the computation actually sits Lean Action CI #10: Commit 1ddea92 pushed by teorth
2m 35s master
master
2m 35s
Metadata: add an abstract, and move to formalization.yaml v0.4 Lean Action CI #9: Commit b4a4790 pushed by teorth
2m 39s master
master
2m 39s
Attribute the boundary argument to Tang-Zhang (5.1) and Remark 5.1 Lean Action CI #8: Commit d2230ee pushed by teorth
1m 53s master
master
1m 53s
CI: drop the docs step that never worked; build and audit what we claim Lean Action CI #7: Commit 9db64fc pushed by teorth
2m 0s master
master
2m 0s
docs: cross-link the making-of, and point the README at both new docs Lean Action CI #6: Commit 4374ef1 pushed by teorth
39m 19s master
master
39m 19s
docs: a making-of transcript, and a getting-started guide Lean Action CI #5: Commit 5c4bd12 pushed by teorth
39m 0s master
master
39m 0s
Qualify novelty as unknown; correct the relation to the earlier proof Lean Action CI #4: Commit 1a26ebc pushed by teorth
41m 45s master
master
41m 45s
Point at the published blog post; drop the draft copy Lean Action CI #3: Commit e356ef6 pushed by teorth
38m 14s master
master
38m 14s
README as a roadmap; Statement.lean -> Defs.lean Lean Action CI #2: Commit fdadd13 pushed by teorth
57m 4s master
master
57m 4s
Mutation test, and what its first run got wrong Lean Action CI #1: Commit a3ef3bd pushed by teorth
36m 43s master
master
36m 43s