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
K-Lean: Lean 4 for Biology (inspired by HEPLean/physlib) Label PR based on Comment #1518: Issue comment #1185 (comment) created by Heime-Jorgen
12s
12s
Add odd-dimensional iterated norm Laplacian (#1175) Style linters #107: Commit 0403fb0 pushed by zhikaip
4m 8s master
master
4m 8s
Add odd-dimensional iterated norm Laplacian (#1175) Style linters #4985: Commit 0403fb0 pushed by zhikaip
41m 4s master
master
41m 4s
Add odd-dimensional iterated norm Laplacian Label PR based on Comment #1517: Pull request #1175 submitted by zhikaip
8s
8s
Add odd-dimensional iterated norm Laplacian Label PR based on Comment #1516: Pull request #1175 created by zhikaip
6s
6s
Add odd-dimensional iterated norm Laplacian Label PR based on Comment #1515: Pull request #1175 created by Lemmy00
12s
12s
Add odd-dimensional iterated norm Laplacian Label PR based on Comment #1514: Pull request #1175 submitted by Lemmy00
9s
9s
Add odd-dimensional iterated norm Laplacian Style linters #106: Pull request #1175 synchronize by Lemmy00
4m 18s Lemmy00:milikic/odd-dimensional-laplacian-core
Lemmy00:milikic/odd-dimensional-laplacian-core
4m 18s
Add odd-dimensional iterated norm Laplacian Style linters #4984: Pull request #1175 synchronize by Lemmy00
42m 16s Lemmy00:milikic/odd-dimensional-laplacian-core
Lemmy00:milikic/odd-dimensional-laplacian-core
42m 16s
Add odd-dimensional iterated norm Laplacian Label PR based on Comment #1513: Pull request #1175 created by zhikaip
53s
53s
Add odd-dimensional iterated norm Laplacian Label PR based on Comment #1512: Pull request #1175 submitted by zhikaip
10s
10s
Add odd-dimensional iterated norm Laplacian Label PR based on Comment #1511: Pull request #1175 created by zhikaip
39s
39s
Add odd-dimensional iterated norm Laplacian Label PR based on Comment #1510: Issue comment #1175 (comment) created by zhikaip
26s
26s
Add odd-dimensional iterated norm Laplacian Style linters #105: Pull request #1175 synchronize by jstoobysmith
5m 11s Lemmy00:milikic/odd-dimensional-laplacian-core
Lemmy00:milikic/odd-dimensional-laplacian-core
5m 11s
Add odd-dimensional iterated norm Laplacian Style linters #4983: Pull request #1175 synchronize by jstoobysmith
39m 38s Lemmy00:milikic/odd-dimensional-laplacian-core
Lemmy00:milikic/odd-dimensional-laplacian-core
39m 38s
Add local CFT first-variation stack to PhyslibAlpha (#1189) Style linters #104: Commit 52fafc9 pushed by jstoobysmith
4m 38s master
master
4m 38s
Add local CFT first-variation stack to PhyslibAlpha (#1189) Style linters #4982: Commit 52fafc9 pushed by jstoobysmith
42m 39s master
master
42m 39s
Add local CFT first-variation stack to PhyslibAlpha Label PR based on Comment #1509: Pull request #1189 submitted by jstoobysmith
14s
14s
feat: quantum harmonic oscillator Style linters #4981: Pull request #1182 synchronize by bjoernkjoshanssen
42m 7s bjoernkjoshanssen:master
bjoernkjoshanssen:master
42m 7s
feat: quantum harmonic oscillator Style linters #103: Pull request #1182 synchronize by bjoernkjoshanssen
3m 42s bjoernkjoshanssen:master
bjoernkjoshanssen:master
3m 42s
feat: Small update of PRMessage.yml (#1160) Style linters #4980: Commit 0548a34 pushed by jstoobysmith
43m 1s master
master
43m 1s
feat: Small update of PRMessage.yml (#1160) Style linters #102: Commit 0548a34 pushed by jstoobysmith
3m 34s master
master
3m 34s
Removed the informal definition StandardModel.GaugeGroup. (#1186) Style linters #4979: Commit 52d43de pushed by jstoobysmith
38m 4s master
master
38m 4s
Removed the informal definition StandardModel.GaugeGroup. (#1186) Style linters #101: Commit 52d43de pushed by jstoobysmith
3m 34s master
master
3m 34s
Add local CFT first-variation stack to PhyslibAlpha Style linters #100: Pull request #1189 synchronize by juanjfndz
3m 55s juanjfndz:codex/physlibalpha-cft-local
juanjfndz:codex/physlibalpha-cft-local
3m 55s