Skip to content

Actions: leanprover-community/physlib

Actions

Style linters

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
2,380 workflow runs
2,380 workflow runs

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(Pseudo-Riemannian/Lorentzian): major refactor / add Lorentzian metric Style linters #4408: Pull request #968 synchronize by or4nge19
40m 30s or4nge19:Pseudo-RIemannian
or4nge19:Pseudo-RIemannian
40m 30s
feat(Cosmology/FLRW): formalize Hubble/deceleration informal lemmas Style linters #4407: Pull request #1054 synchronize by doxtor6
Action required doxtor6:formalize-flrw-hubble-deceleration
doxtor6:formalize-flrw-hubble-deceleration
Action required
feat(Cosmology/FLRW): formalize Hubble/deceleration informal lemmas Style linters #4406: Pull request #1054 synchronize by doxtor6
Action required doxtor6:formalize-flrw-hubble-deceleration
doxtor6:formalize-flrw-hubble-deceleration
Action required
feat(Cosmology/FLRW): formalize Hubble/deceleration informal lemmas Style linters #4405: Pull request #1054 synchronize by doxtor6
Action required doxtor6:formalize-flrw-hubble-deceleration
doxtor6:formalize-flrw-hubble-deceleration
Action required
feat(Pseudo-Riemannian/Lorentzian): major refactor / add Lorentzian metric Style linters #4404: Pull request #968 synchronize by or4nge19
45m 35s or4nge19:Pseudo-RIemannian
or4nge19:Pseudo-RIemannian
45m 35s
fix: Initial Commit for Orbital Mechanics, Vis Viva Version 2 Style linters #4403: Pull request #1057 opened by hannxmarie
Action required hannxmarie:hannah/vis-viva-v2
hannxmarie:hannah/vis-viva-v2
Action required
feat(QM): add polynomially-bounded Schwartz maps Style linters #4402: Pull request #1055 synchronize by gloges
33m 53s gloges:bdd-schwartz
gloges:bdd-schwartz
33m 53s
feat(QM): adds proof of polyBddSchwartzSubmodule_top_dense Style linters #4401: Pull request #1056 opened by gloges
40m 4s gloges:bdd-dense
gloges:bdd-dense
40m 4s
feat(QM): add polynomially-bounded Schwartz maps Style linters #4400: Pull request #1055 opened by gloges
39m 37s gloges:bdd-schwartz
gloges:bdd-schwartz
39m 37s
feat(Cosmology/FLRW): formalize Hubble/deceleration informal lemmas Style linters #4399: Pull request #1054 synchronize by doxtor6
45m 45s doxtor6:formalize-flrw-hubble-deceleration
doxtor6:formalize-flrw-hubble-deceleration
45m 45s
feat(Cosmology/FLRW): formalize Hubble/deceleration informal lemmas Style linters #4398: Pull request #1054 synchronize by doxtor6
40m 17s doxtor6:formalize-flrw-hubble-deceleration
doxtor6:formalize-flrw-hubble-deceleration
40m 17s
feat(Cosmology/FLRW): formalize Hubble/deceleration informal lemmas Style linters #4397: Pull request #1054 opened by doxtor6
40m 4s doxtor6:formalize-flrw-hubble-deceleration
doxtor6:formalize-flrw-hubble-deceleration
40m 4s
refactor: Tensor basis indices Style linters #4396: Pull request #1053 opened by jstoobysmith
39m 17s basisIdx
basisIdx
39m 17s
chore: fix TODO list (#1052) Style linters #4395: Commit c1b3fb8 pushed by jstoobysmith
45m 47s master
master
45m 47s
feat(Pseudo-Riemannian/Lorentzian): major refactor / add Lorentzian metric Style linters #4394: Pull request #968 synchronize by or4nge19
38m 28s or4nge19:Pseudo-RIemannian
or4nge19:Pseudo-RIemannian
38m 28s
feat(Pseudo-Riemannian/Lorentzian): major refactor / add Lorentzian metric Style linters #4393: Pull request #968 synchronize by or4nge19
43m 34s or4nge19:Pseudo-RIemannian
or4nge19:Pseudo-RIemannian
43m 34s
feat(Pseudo-Riemannian/Lorentzian): major refactor / add Lorentzian metric Style linters #4392: Pull request #968 synchronize by or4nge19
47m 29s or4nge19:Pseudo-RIemannian
or4nge19:Pseudo-RIemannian
47m 29s
feat(Pseudo-Riemannian/Lorentzian): major refactor / add Lorentzian metric Style linters #4391: Pull request #968 synchronize by or4nge19
43m 8s or4nge19:Pseudo-RIemannian
or4nge19:Pseudo-RIemannian
43m 8s
chore: fix TODO list Style linters #4390: Pull request #1052 opened by jstoobysmith
45m 5s TODOList
TODOList
45m 5s
refactor(QuantumInfo): Some Line lengths Style linters #4389: Pull request #1051 opened by jstoobysmith
32m 23s refactor-Some-line-lengths
refactor-Some-line-lengths
32m 23s
Rename and split QED anomaly cancellation plane definitions for clarity Style linters #4388: Pull request #1047 synchronize by Copilot AI
Action required copilot/improve-variable-naming-basis-linear
copilot/improve-variable-naming-basis-linear
Action required
refactor: Separate Vector.Basic & CoVector.Basic Style linters #4387: Pull request #1050 synchronize by jstoobysmith
43m 33s VectorTensorial
VectorTensorial
43m 33s
refactor: Separate Vector.Basic & CoVector.Basic Style linters #4386: Pull request #1050 opened by jstoobysmith
44m 35s VectorTensorial
VectorTensorial
44m 35s
Rename and split QED anomaly cancellation plane definitions for clarity Style linters #4384: Pull request #1047 synchronize by Copilot AI
Action required copilot/improve-variable-naming-basis-linear
copilot/improve-variable-naming-basis-linear
Action required
Rename and split QED anomaly cancellation plane definitions for clarity Style linters #4383: Pull request #1047 synchronize by Copilot AI
Action required copilot/improve-variable-naming-basis-linear
copilot/improve-variable-naming-basis-linear
Action required