Skip to content

Actions: leanprover-community/physlib

Actions

Label PR based on Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
labels_from_comment.yml
1,960 workflow runs
1,960 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(ClassicalMechanics): add rigid-body angular velocity tensor Label PR based on Comment #2195: Pull request #1353 submitted by jstoobysmith
5s
5s
feat(ClassicalMechanics): add rigid-body angular velocity tensor Label PR based on Comment #2194: Issue comment #1353 (comment) created by giuseppesorge
7s
7s
feat(ClassicalMechanics): add rigid-body angular velocity tensor Label PR based on Comment #2193: Pull request #1353 created by giuseppesorge
5s
5s
feat(ClassicalMechanics): add rigid-body angular velocity tensor Label PR based on Comment #2192: Pull request #1353 submitted by giuseppesorge
7s
7s
feat: Add reviewer checklist Label PR based on Comment #2191: Pull request #1361 created by jstoobysmith
6s
6s
feat: Add reviewer checklist Label PR based on Comment #2190: Pull request #1361 submitted by jstoobysmith
5s
5s
feat: Add reviewer checklist Label PR based on Comment #2189: Pull request #1361 created by nateabr
7s
7s
feat: Add reviewer checklist Label PR based on Comment #2188: Pull request #1361 submitted by nateabr
4s
4s
feat: add /check-golf bot verifying statements are unchanged Label PR based on Comment #2187: Issue comment #1355 (comment) created by jstoobysmith
6s
6s
refactor: golf wrapper proofs Label PR based on Comment #2186: Issue comment #1332 (comment) created by Vilin97
9s
9s
refactor: golf Physlib proofs — proof-body only, no new declarations (~−4,390 lines, 109 files) Label PR based on Comment #2185: Issue comment #1263 (comment) created by Vilin97
6s
6s
refactor: golf wrapper proofs Label PR based on Comment #2184: Issue comment #1332 (comment) created by jstoobysmith
6s
6s
refactor: golf wrapper proofs Label PR based on Comment #2183: Issue comment #1332 (comment) created by Vilin97
6s
6s
feat: Add Quarks Label PR based on Comment #2182: Issue comment #1328 (comment) created by jstoobysmith
5s
5s
feat: Add Quarks Label PR based on Comment #2181: Pull request #1328 created by jstoobysmith
6s
6s
feat: Add Quarks Label PR based on Comment #2180: Pull request #1328 submitted by jstoobysmith
8s
8s
feat: Add Quarks Label PR based on Comment #2179: Pull request #1328 created by jstoobysmith
5s
5s
feat: Add Quarks Label PR based on Comment #2178: Pull request #1328 submitted by jstoobysmith
8s
8s
feat: Add Quarks Label PR based on Comment #2177: Pull request #1328 created by jstoobysmith
9s
9s
feat: Add Quarks Label PR based on Comment #2176: Pull request #1328 submitted by jstoobysmith
6s
6s
feat: Add Quarks Label PR based on Comment #2175: Issue comment #1328 (comment) created by nateabr
8s
8s
feat: Add Quarks Label PR based on Comment #2174: Issue comment #1328 (comment) created by nateabr
8s
8s
feat: Add Quarks Label PR based on Comment #2173: Pull request #1328 created by nateabr
5s
5s
feat: Add Quarks Label PR based on Comment #2172: Pull request #1328 created by nateabr
6s
6s
feat: Add Quarks Label PR based on Comment #2171: Pull request #1328 created by nateabr
6s
6s