Skip to content

Actions: catskillsresearch/scott1980

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
209 workflow runs
209 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
palomar Continuous Integration #209: Commit bd64fdf pushed by catskillsresearch
7m 27s main
main
7m 27s
Add a Palomar registry badge linking the published entry. Continuous Integration #208: Commit 9073034 pushed by catskillsresearch
6m 39s main
main
6m 39s
Enforce Scott's non-empty Δ in NeighborhoodSystem for Palomar v2. Continuous Integration #207: Commit ef6c056 pushed by catskillsresearch
8m 14s main
main
8m 14s
Correct Palomar attribution to Scott's first Theorem 8.8 sentence. Continuous Integration #206: Commit 9249788 pushed by catskillsresearch
6m 37s main
main
6m 37s
Use Palomar's closed source types so mechanical intake can pass. Continuous Integration #205: Commit 6ff4753 pushed by catskillsresearch
5m 35s main
main
5m 35s
Register Palomar as Theorem 8.8(a) (D ⊴ U) with two concrete embeddings. Continuous Integration #204: Commit ef3420d pushed by catskillsresearch
7m 49s main
main
7m 49s
Sync Palomar preflight with transitive definition-body checks. Continuous Integration #203: Commit d6a5a64 pushed by catskillsresearch
7m 59s main
main
7m 59s
Add Palomar Challenge/Solution packaging for Theorem 8.8. Continuous Integration #202: Commit 4e1c283 pushed by catskillsresearch
8m 5s main
main
8m 5s
Clear Lean 4.33 deprecations and leftover linter noise. Continuous Integration #201: Commit 4cebb92 pushed by catskillsresearch
7m 11s main
main
7m 11s
Stop tracking generated proof.lean; keep flatten script for LLM export. Continuous Integration #200: Commit a63de97 pushed by catskillsresearch
7m 35s main
main
7m 35s
Bump Lean/mathlib to v4.33.0 and add a flattened proof.lean dump. Continuous Integration #199: Commit d649e2f pushed by catskillsresearch
7m 49s main
main
7m 49s
Build PDF-only with scott1972-style per-file Lean appendix subsections. Continuous Integration #198: Commit f6cbc2d pushed by catskillsresearch
7m 54s main
main
7m 54s
Regenerate PDFs with copyright headers in the Lean appendix. Continuous Integration #197: Commit 553f221 pushed by catskillsresearch
8m 0s main
main
8m 0s
Remove accidentally committed Jira PDF from the Zenodo packaging commit. Continuous Integration #196: Commit da2f2ea pushed by catskillsresearch
7m 52s main
main
7m 52s
Switch to Zenodo packaging with full Lean appendix; add copyright hea… Continuous Integration #195: Commit a5bb84d pushed by catskillsresearch
7m 37s main
main
7m 37s
Build arXiv PDF from arxiv.md with GitHub-link Lean appendix. Continuous Integration #194: Commit 229b14f pushed by catskillsresearch
8m 25s main
main
8m 25s
arxiv submitted file Continuous Integration #193: Commit dfd5c4f pushed by catskillsresearch
8m 14s main
main
8m 14s
Fix arXiv pdfLaTeX Unicode failures and split appendix packaging. Continuous Integration #192: Commit 6889305 pushed by catskillsresearch
7m 14s main
main
7m 14s
arxiv.md/PDF: fold Build into Artifact availability; number lecture d… Continuous Integration #191: Commit 3966d18 pushed by catskillsresearch
7m 24s main
main
7m 24s
Fix PDF rendering: LR lecture diagrams, proper bullet lists for inven… Continuous Integration #190: Commit ceea8a0 pushed by catskillsresearch
7m 49s main
main
7m 49s
arxiv.pdf: regenerate from corrected arxiv.md, restore tracked delive… Continuous Integration #189: Commit 5b43e5f pushed by catskillsresearch
8m 23s main
main
8m 23s
arxiv.md: repair data corruption, fix spelling consistency, add metho… Continuous Integration #188: Commit aabb779 pushed by catskillsresearch
8m 8s main
main
8m 8s
arxiv.md: fix Lecture VII dependency diagram — missing L3core→Exercis… Continuous Integration #187: Commit 626131c pushed by catskillsresearch
7m 39s main
main
7m 39s
Exercise 7.19 (Pass): the combinator λf.ℙf, built and proved faithful Continuous Integration #186: Commit fe97943 pushed by catskillsresearch
8m 3s main
main
8m 3s
Definition 7.9 (Pass): fix stale Partial status, no new Lean needed Continuous Integration #185: Commit 480533e pushed by catskillsresearch
7m 37s main
main
7m 37s