Skip to content

Actions: dicipler-pixel/offset-lean

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
Add BoundaryModel: the explicit odd-boundary matrix at every size (13… Lean proof check #10: Commit dafc1d9 pushed by dicipler-pixel
7m 35s main
main
7m 35s
License code under MIT and written text under CC BY 4.0 Lean proof check #9: Commit e30b771 pushed by dicipler-pixel
7m 0s main
main
7m 0s
Cite the Zenodo record DOI so links always open the newest version Lean proof check #8: Commit dc76581 pushed by dicipler-pixel
6m 37s main
main
6m 37s
Link the paper by its DOI Lean proof check #7: Commit f8f48c8 pushed by dicipler-pixel
6m 51s main
main
6m 51s
Accept subscript characters in theorem names during the axiom audit Lean proof check #6: Commit ba95f41 pushed by dicipler-pixel
6m 16s main
main
6m 16s
Report audit failures as GitHub error annotations Lean proof check #5: Commit c5fbf6c pushed by dicipler-pixel
5m 2s main
main
5m 2s
Run the proof check as plain steps with an explicit Mathlib cache fetch Lean proof check #4: Commit 68dcfd7 pushed by dicipler-pixel
5m 50s main
main
5m 50s
Re-run the proof check Lean proof check #3: Commit 1f36010 pushed by dicipler-pixel
4m 2s main
main
4m 2s
Run the proof check now that the repository is public Lean proof check #2: Commit c5a2dcf pushed by dicipler-pixel
4m 36s main
main
4m 36s
Offset Lean library: 143 verified theorems, 7 headline results, 13 fa… Lean proof check #1: Commit a685dae pushed by dicipler-pixel
4s main
main
4s