Skip to content

Actions: leanprover-community/physlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
feat(SUSY/N1): add chiral scalar configuration space and coordinate CLMs Label PR based on Comment #1235: Pull request #1113 submitted by doxtor6
Action required
Action required
feat(SUSY/N1): add chiral scalar configuration space and coordinate CLMs Label PR based on Comment #1234: Pull request #1113 created by doxtor6
Action required
Action required
refactor: Reorganise the QuantumInfo directory (#1124) Style linters #4789: Commit ab98b3d pushed by jstoobysmith
47m 17s master
master
47m 17s
chore: bump to v4.30.0 Label PR based on Comment #1233: Issue comment #1130 (comment) created by jstoobysmith
5s
5s
feat(QuantumInfo): Cauchy-Schwarz norm bound for Bargmann invariant Label PR based on Comment #1232: Issue comment #1134 (comment) created by jstoobysmith
8s
8s
feat(AxiomatizedEntropy): expand RelEntropy API and add Hellinger overlap Label PR based on Comment #1231: Issue comment #1098 (comment) created by jstoobysmith
6s
6s
refactor: Reorganise the QuantumInfo directory Style linters #4788: Pull request #1124 synchronize by jstoobysmith
51m 10s jstoobysmith:moveQuantumInfoFiles
jstoobysmith:moveQuantumInfoFiles
51m 10s
refactor: Reorganise the QuantumInfo directory Style linters #4787: Pull request #1124 synchronize by jstoobysmith
53m 18s jstoobysmith:moveQuantumInfoFiles
jstoobysmith:moveQuantumInfoFiles
53m 18s
feat(QuantumInfo): Cauchy-Schwarz norm bound for Bargmann invariant Label PR based on Comment #1230: Pull request #1134 created by wock9000
4s
4s
feat(QuantumInfo): Cauchy-Schwarz norm bound for Bargmann invariant Label PR based on Comment #1229: Pull request #1134 submitted by wock9000
5s
5s
feat(QuantumInfo): Cauchy-Schwarz norm bound for Bargmann invariant Style linters #4786: Pull request #1134 synchronize by wock9000
46m 47s Xylem-Group:bargmann-norm-bound
Xylem-Group:bargmann-norm-bound
46m 47s
refactor: Reorganise the QuantumInfo directory Label PR based on Comment #1228: Issue comment #1124 (comment) created by Timeroot
6s
6s
feat: Wirtinger calculus and N=1 SUSY scalar Wirtinger derivatives Style linters #4785: Pull request #1107 synchronize by pariandrea
Action required pariandrea:susy
pariandrea:susy
Action required
refactor: Remove category theory from Tensors Style linters #4784: Pull request #1131 synchronize by jstoobysmith
41m 21s jstoobysmith:deCat
jstoobysmith:deCat
41m 21s
Add bounded derivative indices (#1039) Style linters #4783: Commit 3d32d16 pushed by jstoobysmith
47m 16s master
master
47m 16s
refactor: Remove category theory from Tensors Style linters #4782: Pull request #1131 synchronize by jstoobysmith
37m 18s jstoobysmith:deCat
jstoobysmith:deCat
37m 18s
refactor: Remove category theory from Tensors Style linters #4781: Pull request #1131 synchronize by jstoobysmith
33m 2s jstoobysmith:deCat
jstoobysmith:deCat
33m 2s
feat(QuantumInfo): Cauchy-Schwarz norm bound for Bargmann invariant Label PR based on Comment #1227: Pull request #1134 submitted by jstoobysmith
8s
8s
feat(QuantumInfo): Cauchy-Schwarz norm bound for Bargmann invariant Label PR based on Comment #1226: Pull request #1134 created by jstoobysmith
7s
7s
feat(QuantumInfo): Cauchy-Schwarz norm bound for Bargmann invariant Label PR based on Comment #1225: Pull request #1134 created by jstoobysmith
7s
7s
refactor: Remove category theory from Tensors Style linters #4780: Pull request #1131 synchronize by jstoobysmith
36m 54s jstoobysmith:deCat
jstoobysmith:deCat
36m 54s
refactor: Remove category theory from Tensors Style linters #4779: Pull request #1131 synchronize by jstoobysmith
32m 42s jstoobysmith:deCat
jstoobysmith:deCat
32m 42s
feat(QuantumInfo): Cauchy-Schwarz norm bound for Bargmann invariant Style linters #4778: Pull request #1134 synchronize by wock9000
50m 37s Xylem-Group:bargmann-norm-bound
Xylem-Group:bargmann-norm-bound
50m 37s
feat(QuantumMechanics): Add operator monoid (#1132) Style linters #4777: Commit 3855afe pushed by jstoobysmith
47m 23s master
master
47m 23s
refactor: Remove category theory from Tensors Style linters #4776: Pull request #1131 synchronize by jstoobysmith
32m 3s jstoobysmith:deCat
jstoobysmith:deCat
32m 3s