Skip to content

Actions: physicslib/physicslib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
388 workflow runs
388 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
Agent: Add reparametrisation-invariance of IsTimelikeAt via chain rule Lean Action CI #351: Commit 52149db pushed by numina-fuse Bot
7m 39s numina/aqft-in-lean
numina/aqft-in-lean
7m 39s
Agent: Add causal scaling-invariance lemmas and reparametrisation cha… Lean Action CI #350: Commit 7e5863a pushed by numina-fuse Bot
6m 46s numina/aqft-in-lean
numina/aqft-in-lean
6m 46s
Agent: Add SmoothPath.tangent accessor and restate causal predicate… Lean Action CI #349: Commit ea53228 pushed by numina-fuse Bot
7m 45s numina/aqft-in-lean
numina/aqft-in-lean
7m 45s
Updated image Lean Action CI #348: Commit 321c9f0 pushed by KellyJDavis
5m 22s numina/aqft-in-lean
numina/aqft-in-lean
5m 22s
Revert "Updated image" Lean Action CI #347: Commit 868513f pushed by KellyJDavis
5m 22s numina/aqft-in-lean
numina/aqft-in-lean
5m 22s
Updated image Lean Action CI #346: Commit fdf5ff1 pushed by KellyJDavis
8m 9s numina/aqft-in-lean
numina/aqft-in-lean
8m 9s
Agent: Confirm ContinuousSMul is automatic for identity-component s… Lean Action CI #345: Commit 4b69266 pushed by numina-fuse Bot
4m 54s numina/aqft-in-lean
numina/aqft-in-lean
4m 54s
Agent: Add bundled unitary rep theorems at the net and stabilizer level Lean Action CI #344: Commit 22e9a64 pushed by numina-fuse Bot
5m 52s numina/aqft-in-lean
numina/aqft-in-lean
5m 52s
Agent: Add topology instances for Isom on both spacetime bridges Lean Action CI #343: Commit 6724769 pushed by numina-fuse Bot
8m 11s numina/aqft-in-lean
numina/aqft-in-lean
8m 11s
Merge pull request #25 from physicslib/numina/aqft-in-lean Compile blueprint #33: Commit 8a035b7 pushed by KellyJDavis
47m 25s main
main
47m 25s
Merge pull request #25 from physicslib/numina/aqft-in-lean Lean Action CI #342: Commit 8a035b7 pushed by KellyJDavis
6m 21s main
main
6m 21s
Added many standard AQFT results Lean Action CI #341: Pull request #25 synchronize by KellyJDavis
5m 57s numina/aqft-in-lean
numina/aqft-in-lean
5m 57s
Ran "lake exe mk_all" Lean Action CI #340: Commit dfe251f pushed by KellyJDavis
7m 16s numina/aqft-in-lean
numina/aqft-in-lean
7m 16s
Added many standard AQFT results Lean Action CI #339: Pull request #25 opened by KellyJDavis
1m 59s numina/aqft-in-lean
numina/aqft-in-lean
1m 59s
Updated blueprint homepage Lean Action CI #338: Commit c380375 pushed by KellyJDavis
1m 57s numina/aqft-in-lean
numina/aqft-in-lean
1m 57s
Agent: Add continuous SMul instance for isometry group action on spac… Lean Action CI #337: Commit f8412b7 pushed by numina-fuse Bot
1m 42s numina/aqft-in-lean
numina/aqft-in-lean
1m 42s
Agent: Add bundled GNS unitary representation theorems Lean Action CI #336: Commit 39f5f79 pushed by numina-fuse Bot
2m 1s numina/aqft-in-lean
numina/aqft-in-lean
2m 1s
Agent: Bundle covariance and stabilizer actions as MonoidHoms Lean Action CI #335: Commit 0ef1893 pushed by numina-fuse Bot
2m 0s numina/aqft-in-lean
numina/aqft-in-lean
2m 0s
Agent: Move half-plane topology helpers to HorizontalLineRemovable Lean Action CI #334: Commit 635305c pushed by numina-fuse Bot
2m 14s numina/aqft-in-lean
numina/aqft-in-lean
2m 14s
Agent: Add lieConj_star lemma for star-preservation under unitary c… Lean Action CI #333: Commit 8b0a33b pushed by numina-fuse Bot
2m 2s numina/aqft-in-lean
numina/aqft-in-lean
2m 2s
Agent: Add lieConj_one, lieConj_add, and norm_lieConj to conjug… Lean Action CI #332: Commit d336c5c pushed by numina-fuse Bot
2m 22s numina/aqft-in-lean
numina/aqft-in-lean
2m 22s
Agent: Relocate exp_lieConj and lieConj_smul to `Operators/Conjug… Lean Action CI #331: Commit 6c4e34d pushed by numina-fuse Bot
2m 5s numina/aqft-in-lean
numina/aqft-in-lean
2m 5s
Agent: Add Minkowski ground-state-for-flow definition and consequences Lean Action CI #330: Commit 0d3cdd7 pushed by numina-fuse Bot
2m 7s numina/aqft-in-lean
numina/aqft-in-lean
2m 7s
Agent: Extract positive-energy definitions into a shared AQFT module Lean Action CI #329: Commit cf985ff pushed by numina-fuse Bot
2m 2s numina/aqft-in-lean
numina/aqft-in-lean
2m 2s
Agent: Add weak-* compactness of the state space and pure-state exist… Lean Action CI #328: Commit 2cbd697 pushed by numina-fuse Bot
2m 5s numina/aqft-in-lean
numina/aqft-in-lean
2m 5s