Skip to content

Actions: Alex-Zughaid/physlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 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(CondensedMatter): add the thermoelectric figure of merit (#1440) Style linters #16: Commit 04db84a pushed by Alex-Zughaid
8m 2s master
master
8m 2s
feat(CondensedMatter): add the thermoelectric figure of merit (#1440) Style linters #16: Commit 04db84a pushed by Alex-Zughaid
21m 21s master
master
21m 21s
reset to upstream Style linters #15: Commit 0fb65e8 pushed by Alex-Zughaid
40m 57s master
master
40m 57s
reset to upstream Style linters #15: Commit 0fb65e8 pushed by Alex-Zughaid
8m 14s master
master
8m 14s
Revert "Update PULL_REQUEST_TEMPLATE.md" Style linters #14: Commit a86d292 pushed by Alex-Zughaid
41m 26s master
master
41m 26s
Revert "Update PULL_REQUEST_TEMPLATE.md" Style linters #14: Commit a86d292 pushed by Alex-Zughaid
7m 25s master
master
7m 25s
Merge branch 'leanprover-community:master' into master Style linters #13: Commit 409a6ef pushed by Alex-Zughaid
7m 50s master
master
7m 50s
Merge branch 'leanprover-community:master' into master Style linters #13: Commit 409a6ef pushed by Alex-Zughaid
38m 55s master
master
38m 55s
Update PULL_REQUEST_TEMPLATE.md Style linters #12: Commit fa8f237 pushed by Alex-Zughaid
41m 30s master
master
41m 30s
Update PULL_REQUEST_TEMPLATE.md Style linters #12: Commit fa8f237 pushed by Alex-Zughaid
7m 51s master
master
7m 51s
Update Bundled.lean Style linters #11: Pull request #6 opened by Alex-Zughaid
40m 18s pr-template
pr-template
40m 18s
Update Bundled.lean Autolabel PRs #6: Pull request #6 opened by Alex-Zughaid
1s
1s
Update Bundled.lean Style linters #11: Pull request #6 opened by Alex-Zughaid
7m 58s pr-template
pr-template
7m 58s
Update Bundled.lean PR Comment #6: Pull request #6 opened by Alex-Zughaid
32s
32s
Update Bundled.lean Style linters #10: Pull request #5 opened by Alex-Zughaid
36m 42s pr-template
pr-template
36m 42s
Update Bundled.lean PR Comment #5: Pull request #5 opened by Alex-Zughaid
33s
33s
Update Bundled.lean Style linters #10: Pull request #5 opened by Alex-Zughaid
5m 34s pr-template
pr-template
5m 34s
Update Bundled.lean Autolabel PRs #5: Pull request #5 opened by Alex-Zughaid
2s
2s
Update PULL_REQUEST_TEMPLATE.md Style linters #9: Commit 9739156 pushed by Alex-Zughaid
8m 59s master
master
8m 59s
Update PULL_REQUEST_TEMPLATE.md Style linters #9: Commit 9739156 pushed by Alex-Zughaid
40m 37s master
master
40m 37s
Merge pull request #4 from Alex-Zughaid/pr-template Style linters #8: Commit deb1a10 pushed by Alex-Zughaid
7m 1s master
master
7m 1s
Merge pull request #4 from Alex-Zughaid/pr-template Style linters #8: Commit deb1a10 pushed by Alex-Zughaid
38m 51s master
master
38m 51s
inital test Style linters #7: Pull request #4 opened by Alex-Zughaid
7m 43s pr-template
pr-template
7m 43s
inital test Style linters #7: Pull request #4 opened by Alex-Zughaid
39m 58s pr-template
pr-template
39m 58s
inital test PR Comment #4: Pull request #4 opened by Alex-Zughaid
25s
25s