Skip to content

Actions: physicslib/physicslib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
468 workflow runs
468 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
Merge pull request #29 from physicslib/numina/aqft-in-lean Compile blueprint #37: Commit 23fb58a pushed by KellyJDavis
46m 39s main
main
46m 39s
Merge pull request #29 from physicslib/numina/aqft-in-lean Lean Action CI #426: Commit 23fb58a pushed by KellyJDavis
3m 47s main
main
3m 47s
Fixed Lean4 reference Lean Action CI #425: Pull request #29 opened by KellyJDavis
3m 47s numina/aqft-in-lean
numina/aqft-in-lean
3m 47s
Fixed Lean4 reference Lean Action CI #424: Commit 99dcc64 pushed by KellyJDavis
3m 46s numina/aqft-in-lean
numina/aqft-in-lean
3m 46s
Merge pull request #28 from physicslib/numina/aqft-in-lean Compile blueprint #36: Commit 4c3a9d8 pushed by KellyJDavis
7m 35s main
main
7m 35s
Merge pull request #28 from physicslib/numina/aqft-in-lean Lean Action CI #423: Commit 4c3a9d8 pushed by KellyJDavis
4m 6s main
main
4m 6s
Fixed blueprint references Lean Action CI #422: Pull request #28 opened by KellyJDavis
4m 12s numina/aqft-in-lean
numina/aqft-in-lean
4m 12s
Agent: Remove isCausalTrip_of_isTrip from chronological-implies-cau… Lean Action CI #421: Commit 329a291 pushed by numina-fuse Bot
4m 6s numina/aqft-in-lean
numina/aqft-in-lean
4m 6s
Merge pull request #27 from physicslib/numina/aqft-in-lean Create Release #5: Commit 67ec1e7 pushed by KellyJDavis
25s main
main
25s
Merge pull request #27 from physicslib/numina/aqft-in-lean Compile blueprint #35: Commit 67ec1e7 pushed by KellyJDavis
10m 54s main
main
10m 54s
Merge pull request #27 from physicslib/numina/aqft-in-lean Lean Action CI #420: Commit 67ec1e7 pushed by KellyJDavis
6m 17s main
main
6m 17s
Numerous additions Lean Action CI #419: Pull request #27 opened by KellyJDavis
7m 7s numina/aqft-in-lean
numina/aqft-in-lean
7m 7s
Updated homepage Lean Action CI #418: Commit 8f54e83 pushed by KellyJDavis
7m 48s numina/aqft-in-lean
numina/aqft-in-lean
7m 48s
Agent: Mark alexandrov_nbhd_univ_of_no_diamond as proved and add bl… Lean Action CI #417: Commit 1684eb7 pushed by numina-fuse Bot
7m 19s numina/aqft-in-lean
numina/aqft-in-lean
7m 19s
Agent: Mark exists_past_between_standardMinkowski as proved and con… Lean Action CI #416: Commit a45bb50 pushed by numina-fuse Bot
8m 17s numina/aqft-in-lean
numina/aqft-in-lean
8m 17s
Updated homepage Lean Action CI #415: Commit d86284b pushed by KellyJDavis
7m 10s numina/aqft-in-lean
numina/aqft-in-lean
7m 10s
Agent: Prove exists_future_between_standardMinkowski and mark bluep… Lean Action CI #414: Commit 7d9d7d0 pushed by numina-fuse Bot
6m 17s numina/aqft-in-lean
numina/aqft-in-lean
6m 17s
Agent: Prove four Alexandrov topology theorems and mark blueprint nod… Lean Action CI #413: Commit 8f89725 pushed by numina-fuse Bot
5m 26s numina/aqft-in-lean
numina/aqft-in-lean
5m 26s
Agent: Add Alexandrov genuine-basis theorems: covering, directedness,… Lean Action CI #412: Commit e985cce pushed by numina-fuse Bot
7m 8s numina/aqft-in-lean
numina/aqft-in-lean
7m 8s
Agent: Prove causality theorems and mark blueprint theorem as leanok Lean Action CI #411: Commit 38df196 pushed by numina-fuse Bot
7m 3s numina/aqft-in-lean
numina/aqft-in-lean
7m 3s
Agent: Add irreflexivity of ≪ and antisymmetry of ≺ under no-closed-c… Lean Action CI #410: Commit 5dc540f pushed by numina-fuse Bot
6m 49s numina/aqft-in-lean
numina/aqft-in-lean
6m 49s
Agent: Fix isFactor_gnsVonNeumann_iff_isFactor_commutant simp call Lean Action CI #409: Commit 8979578 pushed by numina-fuse Bot
8m 39s numina/aqft-in-lean
numina/aqft-in-lean
8m 39s
Agent: Prove four double-commutant duality theorems in Superselection… Lean Action CI #408: Commit 162fc8d pushed by numina-fuse Bot
4m 39s numina/aqft-in-lean
numina/aqft-in-lean
4m 39s
Agent: Add double-commutant duality blueprint theorems and Lean stubs Lean Action CI #407: Commit d932dab pushed by numina-fuse Bot
4m 51s numina/aqft-in-lean
numina/aqft-in-lean
4m 51s
Agent: Prove chronological future/past existence and openness for sta… Lean Action CI #406: Commit 5258a01 pushed by numina-fuse Bot
5m 11s numina/aqft-in-lean
numina/aqft-in-lean
5m 11s