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(Units): component lemmas for the Exponent power of a dimension Check golf #463: Issue comment #1600 (comment) created by NicolasRouquette
1s
1s
feat(Units): component lemmas for the Exponent power of a dimension Label PR based on Comment #3767: Issue comment #1600 (comment) created by NicolasRouquette
6s
6s
feat(Units): component lemmas for the Exponent power of a dimension Label PR based on Comment #3766: Pull request #1600 created by NicolasRouquette
8s
8s
feat(Units): component lemmas for the Exponent power of a dimension Label PR based on Comment #3765: Pull request #1600 submitted by NicolasRouquette
6s
6s
feat(Units): component lemmas for the Exponent power of a dimension Style linters #6635: Pull request #1600 synchronize by NicolasRouquette
7m 48s NicolasRouquette:epow-component-lemmas
NicolasRouquette:epow-component-lemmas
7m 48s
feat(Units): component lemmas for the Exponent power of a dimension Style linters #1757: Pull request #1600 synchronize by NicolasRouquette
2m 51s NicolasRouquette:epow-component-lemmas
NicolasRouquette:epow-component-lemmas
2m 51s
feat(Units): component lemmas for the Exponent power of a dimension PR size label #276: Pull request #1600 synchronize by NicolasRouquette
9s
9s
feat(ReferenceFrame): velocity of a trajectory in a frame via derivVec Label PR based on Comment #3764: Issue comment #1606 (comment) created by zhikaip
7s
7s
feat(ReferenceFrame): velocity of a trajectory in a frame via derivVec Check golf #462: Issue comment #1606 (comment) created by zhikaip
1s
1s
fix(Tensors): rank the tensor action above the Tensorial action Style linters #6634: Pull request #1611 opened by zhikaip
15m 59s tensor_action_priority
tensor_action_priority
15m 59s
fix(Tensors): rank the tensor action above the Tensorial action Style linters #1756: Pull request #1611 opened by zhikaip
4m 46s tensor_action_priority
tensor_action_priority
4m 46s
fix(Tensors): rank the tensor action above the Tensorial action PR size label #275: Pull request #1611 opened by zhikaip
8s
8s
fix(Tensors): rank the tensor action above the Tensorial action PR Comment #422: Pull request #1611 opened by zhikaip
30s
30s
fix(Tensors): rank the tensor action above the Tensorial action Autolabel PRs #165: Pull request #1611 opened by zhikaip
1m 33s
1m 33s
feat(Lorentz.Vector): mark Vector and CoVector implicit_reducible, add inner_eq_sum Style linters #6633: Pull request #1610 opened by zhikaip
17m 40s vector_implicit_reducible
vector_implicit_reducible
17m 40s
feat(Lorentz.Vector): mark Vector and CoVector implicit_reducible, add inner_eq_sum Style linters #1755: Pull request #1610 opened by zhikaip
5m 42s vector_implicit_reducible
vector_implicit_reducible
5m 42s
feat(Lorentz.Vector): mark Vector and CoVector implicit_reducible, add inner_eq_sum PR size label #274: Pull request #1610 opened by zhikaip
10s
10s
feat(Lorentz.Vector): mark Vector and CoVector implicit_reducible, add inner_eq_sum Autolabel PRs #164: Pull request #1610 opened by zhikaip
1m 40s
1m 40s
feat(Lorentz.Vector): mark Vector and CoVector implicit_reducible, add inner_eq_sum PR Comment #421: Pull request #1610 opened by zhikaip
32s
32s
feat: review claims via comments Style linters #6632: Pull request #1601 synchronize by Alex-Zughaid
7m 55s Alex-Zughaid:github-review-claim-labels
Alex-Zughaid:github-review-claim-labels
7m 55s
feat: review claims via comments Style linters #1754: Pull request #1601 synchronize by Alex-Zughaid
3m 2s Alex-Zughaid:github-review-claim-labels
Alex-Zughaid:github-review-claim-labels
3m 2s
feat: review claims via comments PR size label #273: Pull request #1601 synchronize by Alex-Zughaid
10s
10s
feat: review claims via comments Style linters #6631: Pull request #1601 synchronize by Alex-Zughaid
4m 36s Alex-Zughaid:github-review-claim-labels
Alex-Zughaid:github-review-claim-labels
4m 36s
feat: review claims via comments Style linters #1753: Pull request #1601 synchronize by Alex-Zughaid
3m 14s Alex-Zughaid:github-review-claim-labels
Alex-Zughaid:github-review-claim-labels
3m 14s
feat: review claims via comments PR size label #272: Pull request #1601 synchronize by Alex-Zughaid
9s
9s