Skip to content

Actions: physicslib/physicslib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
579 workflow runs
579 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
Apply the omit convention to clear the remaining lint errors Lean Action CI #535: Commit e3a2877 pushed by KellyJDavis
4m 47s TeXRA/aqft-in-lean
TeXRA/aqft-in-lean
4m 47s
Ran 'lake exe mk_all' Lean Action CI #534: Commit f595a95 pushed by KellyJDavis
6m 28s TeXRA/aqft-in-lean
TeXRA/aqft-in-lean
6m 28s
Blueprint: tag the two new section 10.3 prerequisite lemmas Lean Action CI #533: Commit bb434f4 pushed by KellyJDavis
1m 43s TeXRA/aqft-in-lean
TeXRA/aqft-in-lean
1m 43s
Blueprint: tag prpstn:hall-9.13 as formalized Lean Action CI #532: Commit d1bbb63 pushed by KellyJDavis
1m 58s TeXRA/aqft-in-lean
TeXRA/aqft-in-lean
1m 58s
Blueprint: tag the two newly proved section 10.3 entries Lean Action CI #531: Commit 477e774 pushed by KellyJDavis
1m 52s TeXRA/aqft-in-lean
TeXRA/aqft-in-lean
1m 52s
Agent: Expand Lean formalization note on H×H product topology vs norm Lean Action CI #530: Commit be61e4d pushed by KellyJDavis
2m 28s TeXRA/aqft-in-lean
TeXRA/aqft-in-lean
2m 28s
Agent: Expand Lean formalization note on H×H product topology vs norm Lean Action CI #529: Commit be61e4d pushed by numina-fuse Bot
2m 5s numina/aqft-in-lean
numina/aqft-in-lean
2m 5s
Agent: Add leanok tags and prove remaining sorry lemmas in unbounded … Lean Action CI #528: Commit 61d9fa0 pushed by numina-fuse Bot
1m 51s numina/aqft-in-lean
numina/aqft-in-lean
1m 51s
Agent: Mark hasSum_borelCalculus_indicator proof complete and add lea… Lean Action CI #527: Commit 71330f4 pushed by numina-fuse Bot
2m 4s numina/aqft-in-lean
numina/aqft-in-lean
2m 4s
Agent: Link def:identity-and-indicator to a new Lean theorem Lean Action CI #526: Commit e41cd70 pushed by numina-fuse Bot
2m 14s numina/aqft-in-lean
numina/aqft-in-lean
2m 14s
Agent: Remove stale \leanok tags from Section 10.2 blueprint entries Lean Action CI #525: Commit c9a4f26 pushed by numina-fuse Bot
2m 6s numina/aqft-in-lean
numina/aqft-in-lean
2m 6s
Add spectral theory modules and Haag-Kastler fixes Lean Action CI #524: Commit ac97898 pushed by numina-fuse Bot
2m 15s numina/aqft-in-lean
numina/aqft-in-lean
2m 15s
Added blueprints for bounded+unbounded spectral theorems Lean Action CI #523: Commit 6dd1546 pushed by KellyJDavis
5m 37s numina/aqft-in-lean
numina/aqft-in-lean
5m 37s
Merge pull request #31 from physicslib/numina/aqft-in-lean Lean Action CI #522: Commit 357af94 pushed by KellyJDavis
6m 50s main
main
6m 50s
Merge pull request #31 from physicslib/numina/aqft-in-lean Compile blueprint #39: Commit 357af94 pushed by KellyJDavis
53m 5s main
main
53m 5s
Numina/aqft in lean Lean Action CI #521: Pull request #31 opened by KellyJDavis
6m 39s numina/aqft-in-lean
numina/aqft-in-lean
6m 39s
Update using the blueprint LaTeX Lean Action CI #520: Commit eb800b5 pushed by KellyJDavis
7m 21s numina/aqft-in-lean
numina/aqft-in-lean
7m 21s
Fixing many small Fuse errors Lean Action CI #519: Commit b51d0fb pushed by KellyJDavis
9m 27s numina/aqft-in-lean
numina/aqft-in-lean
9m 27s
More small fixes Lean Action CI #518: Commit 169a318 pushed by KellyJDavis
5m 7s numina/aqft-in-lean
numina/aqft-in-lean
5m 7s
Fixed many little problems created by Fuse Lean Action CI #517: Commit 3d9c4ef pushed by KellyJDavis
Failure numina/aqft-in-lean
numina/aqft-in-lean
Failure
Removed scratch placeholder Lean Action CI #516: Commit f66ff58 pushed by KellyJDavis
2m 3s numina/aqft-in-lean
numina/aqft-in-lean
2m 3s
Moved QuasilocalCompleteness.lean to QuasilocalObservable.lean Lean Action CI #515: Commit 7872756 pushed by KellyJDavis
1m 51s numina/aqft-in-lean
numina/aqft-in-lean
1m 51s
Agent: Promote QuasilocalCompleteness to a theorem and encode Axiom… Lean Action CI #514: Commit 340ca7a pushed by numina-fuse Bot
1m 53s numina/aqft-in-lean
numina/aqft-in-lean
1m 53s
Agent: Add quasilocal existence theorem and supporting embedding lemmas Lean Action CI #513: Commit 9fe1676 pushed by numina-fuse Bot
2m 2s numina/aqft-in-lean
numina/aqft-in-lean
2m 2s
Agent: Update blueprint to reflect completed universe-tying fixes Lean Action CI #512: Commit 00fad42 pushed by numina-fuse Bot
4m 52s numina/aqft-in-lean
numina/aqft-in-lean
4m 52s