Skip to content

Actions: physicslib/physicslib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
394 workflow runs
394 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 disjointness and quasi-equivalence of representations Lean Action CI #357: Commit e5360ad pushed by numina-fuse Bot
3m 45s numina/aqft-in-lean
numina/aqft-in-lean
3m 45s
Agent: Add UnitaryEquiv for representations and prove it is an equi… Lean Action CI #356: Commit 2a365bd pushed by numina-fuse Bot
6m 22s numina/aqft-in-lean
numina/aqft-in-lean
6m 22s
Agent: Add projection OrientedSmoothCurve → SmoothCurve with causal c… Lean Action CI #355: Commit cfc440c pushed by numina-fuse Bot
9m 44s numina/aqft-in-lean
numina/aqft-in-lean
9m 44s
Agent: Lift causal/orientation predicates to SmoothCurve and Oriented… Lean Action CI #354: Commit 8fe8ecf pushed by numina-fuse Bot
7m 19s numina/aqft-in-lean
numina/aqft-in-lean
7m 19s
Agent: Add OrientedSmoothPathEquiv and prove orientation invariance u… Lean Action CI #353: Commit 8ee847b pushed by numina-fuse Bot
7m 3s numina/aqft-in-lean
numina/aqft-in-lean
7m 3s
Agent: Add reparametrisation-invariance theorems for timelike and cau… Lean Action CI #352: Commit 0dfe70c pushed by numina-fuse Bot
7m 1s numina/aqft-in-lean
numina/aqft-in-lean
7m 1s
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