Skip to content

Actions: leanprover-community/physlib

Actions

PR Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
PRMessage.yml
299 workflow runs
299 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: Added PR template PR Comment #299: Pull request #1458 opened by Alex-Zughaid
33s
33s
docs(QuantumMechanics): add Hilbert space API map PR Comment #298: Pull request #1456 opened by gloges
27s
27s
auto-task(QuantumInfo.ClassicalInfo.Capacity): minimize imports PR Comment #297: Pull request #1455 opened by Alex-Zughaid
30s
30s
feat(QuantumMechanics): derivative operators via Fourier-conjugated m… PR Comment #296: Pull request #1454 opened by adambornemann-glitch
31s
31s
feat: Github actions workflow to send a message to Zulip thread PR Comment #295: Pull request #1453 opened by Alex-Zughaid
30s
30s
[fix maintenance] Fix a typo preventing script from running PR Comment #294: Pull request #1452 opened by Alex-Zughaid
41s
41s
[feat infrastructure] Added actions scripts to count no. of reviewers PR Comment #293: Pull request #1451 opened by Alex-Zughaid
28s
28s
docs(fluid-dynamics): add fluid API map PR Comment #292: Pull request #1450 opened by Robby955
32s
32s
refactor(QuantumMechanics): rename SelfAdjoint to Symmetric PR Comment #291: Pull request #1449 opened by KrystianNowakowski
34s
34s
feat(QuantumMechanics): add algebraic properties for mulOperator PR Comment #290: Pull request #1448 opened by gloges
38s
38s
feat(Units): parameterise Dimension and its unit twin over a basis (Stacked on #1445) PR Comment #289: Pull request #1447 opened by NicolasRouquette
34s
34s
feat(Mathematics): Schwartz multiplier by the affine resolvent symbol PR Comment #288: Pull request #1446 opened by adambornemann-glitch
31s
31s
chore: Bump v4.32.0 PR Comment #287: Pull request #1445 opened by NicolasRouquette
33s
33s
docs(classical-mechanics): add configuration API maps PR Comment #286: Pull request #1444 opened by Robby955
27s
27s
feat(QuantumMechanics): adjoint of continuous operators PR Comment #285: Pull request #1443 opened by gloges
28s
28s
feat(QuantumMechanics): basic properties/defs for HarmonicOscillator PR Comment #284: Pull request #1442 opened by gloges
29s
29s
feat(CondensedMatter): add the thermoelectric figure of merit PR Comment #283: Pull request #1440 opened by gbarbalinardo
29s
29s
docs(electromagnetism): add kinematics API map PR Comment #282: Pull request #1439 opened by Robby955
30s
30s
docs(classical-field): add gauge theory API map PR Comment #281: Pull request #1438 opened by Robby955
33s
33s
ci: lint API maps PR Comment #280: Pull request #1436 opened by Robby955
29s
29s
feat(QuantumMechanics): add RectangularBarrier PR Comment #279: Pull request #1435 opened by gloges
30s
30s
feat(QuantumMechanics): Sobolev submodules of SpaceDHilbertSpace PR Comment #278: Pull request #1434 opened by adambornemann-glitch
35s
35s
feat(QuantumMechanics): Fourier conjugate of the momentum operator PR Comment #277: Pull request #1433 opened by adambornemann-glitch
26s
26s
feat(QuantumMechanics): the basic criterion of essential self-adjoint… PR Comment #276: Pull request #1432 opened by adambornemann-glitch
34s
34s
feat(QuantumMechanics): add DirichletSubmoduleOn PR Comment #275: Pull request #1431 opened by gloges
35s
35s