Skip to content

Actions: physicslib/physicslib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
567 workflow runs
567 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
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
Agent: Make HaagKastlerNet and related structures universe-polymorphic Lean Action CI #511: Commit cb215a0 pushed by numina-fuse Bot
4m 59s numina/aqft-in-lean
numina/aqft-in-lean
4m 59s
Agent: Restrict QuasilocalAlgebra.ι to Alexandrov-basis sets only Lean Action CI #510: Commit 7b6f4b3 pushed by numina-fuse Bot
4m 40s numina/aqft-in-lean
numina/aqft-in-lean
4m 40s
Agent: Restructure Axiom 4 into separate conceptual nodes Lean Action CI #509: Commit fcb7b4b pushed by numina-fuse Bot
3m 50s numina/aqft-in-lean
numina/aqft-in-lean
3m 50s
Agent: Add frontier/endpoint lemmas and mark blueprint nodes as proved Lean Action CI #508: Commit 1f0c306 pushed by numina-fuse Bot
4m 38s numina/aqft-in-lean
numina/aqft-in-lean
4m 38s
Agent: Move misattributed Lean citations to correct blueprint nodes Lean Action CI #507: Commit 4992bf2 pushed by numina-fuse Bot
7m 5s numina/aqft-in-lean
numina/aqft-in-lean
7m 5s
Agent: Add CStarCompletion abbreviation and link blueprint node Lean Action CI #506: Commit acad753 pushed by numina-fuse Bot
6m 4s numina/aqft-in-lean
numina/aqft-in-lean
6m 4s
Agent: Add C*-completion file and mark blueprint nodes as proved Lean Action CI #505: Commit d9cf352 pushed by numina-fuse Bot
7m 17s numina/aqft-in-lean
numina/aqft-in-lean
7m 17s
Agent: Mark colimit norm, normed algebra, and C*-ring lemmas as proved Lean Action CI #504: Commit d116264 pushed by numina-fuse Bot
7m 24s numina/aqft-in-lean
numina/aqft-in-lean
7m 24s
Agent: Document colimit instance synthesis obstacle for quasilocal no… Lean Action CI #503: Commit 7403b04 pushed by numina-fuse Bot
5m 33s numina/aqft-in-lean
numina/aqft-in-lean
5m 33s
Agent: Mark quasilocal colimit norm and common-representatives lemmas… Lean Action CI #502: Commit c7b5386 pushed by numina-fuse Bot
8m 47s numina/aqft-in-lean
numina/aqft-in-lean
8m 47s
Agent: Add QuasilocalColimit file with Diamond index type and Directe… Lean Action CI #501: Commit d4ab2ec pushed by numina-fuse Bot
5m 7s numina/aqft-in-lean
numina/aqft-in-lean
5m 7s
Agent: Prove bicommutant_inter_eq and mark blueprint lemma as forma… Lean Action CI #500: Commit 079be98 pushed by numina-fuse Bot
7m 31s numina/aqft-in-lean
numina/aqft-in-lean
7m 31s