Skip to content

Actions: Alex-Zughaid/physlib

Actions

Style linters

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
alphaBuild.yml
21 workflow runs
21 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
Move repo-updates workflow, script, and Zulip relay to PhysLibBots Style linters #21: Commit ee3ba0f pushed by Alex-Zughaid
7m 48s master
master
7m 48s
change so doesnt post to thread Style linters #20: Commit d33c7e3 pushed by Alex-Zughaid
8m 7s master
master
8m 7s
Remove Wrangler local cache from version control Style linters #19: Commit c6ac999 pushed by Alex-Zughaid
7m 44s master
master
7m 44s
Merge branch 'leanprover-community:master' into master Style linters #18: Commit 79cf43f pushed by Alex-Zughaid
6m 23s master
master
6m 23s
Create wrangler-account.json Style linters #17: Commit e29b19d pushed by Alex-Zughaid
7m 12s master
master
7m 12s
feat(CondensedMatter): add the thermoelectric figure of merit (#1440) Style linters #16: Commit 04db84a pushed by Alex-Zughaid
8m 2s master
master
8m 2s
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
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
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
7m 58s pr-template
pr-template
7m 58s
Update Bundled.lean Style linters #10: Pull request #5 opened by Alex-Zughaid
5m 34s pr-template
pr-template
5m 34s
Update PULL_REQUEST_TEMPLATE.md Style linters #9: Commit 9739156 pushed by Alex-Zughaid
8m 59s master
master
8m 59s
Merge pull request #4 from Alex-Zughaid/pr-template Style linters #8: Commit deb1a10 pushed by Alex-Zughaid
7m 1s master
master
7m 1s
inital test Style linters #7: Pull request #4 opened by Alex-Zughaid
7m 43s pr-template
pr-template
7m 43s
Merge branch 'leanprover-community:master' into master Style linters #6: Commit ba70c8f pushed by Alex-Zughaid
5m 44s master
master
5m 44s
TEST - DO NOT MERGE Style linters #5: Pull request #3 opened by Alex-Zughaid
7m 41s test-labeled-branch
test-labeled-branch
7m 41s
Merge pull request #2 from Alex-Zughaid/github-reviewer-bot Style linters #4: Commit e686209 pushed by Alex-Zughaid
7m 17s master
master
7m 17s
fix typo Style linters #3: Pull request #2 opened by Alex-Zughaid
6m 39s github-reviewer-bot
github-reviewer-bot
6m 39s
Merge pull request #1 from Alex-Zughaid/github-reviewer-bot Style linters #2: Commit 850df50 pushed by Alex-Zughaid
8m 0s master
master
8m 0s
[feat maintenance] Added actions scripts to count no. of reviewers Style linters #1: Pull request #1 opened by Alex-Zughaid
6m 42s github-reviewer-bot
github-reviewer-bot
6m 42s