Skip to content

Actions: robertmaxton42/mathlib4

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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #111: completed by robertmaxton42
1s
1s
Apply suggestions from code review continuous integration #111: Commit 09e6187 pushed by robertmaxton42
1s delab_isFoo_of
delab_isFoo_of
1s
Apply suggestions from code review Run pre-commit and in-place update PR on push #95: Commit 09e6187 pushed by robertmaxton42
25s delab_isFoo_of
delab_isFoo_of
25s
Remove outdated deprecated declarations Remove outdated deprecated declarations #8: Scheduled
11s master
master
11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #110: completed by robertmaxton42
Skipped
Skipped
Merge branch 'master' into delab_isFoo_of continuous integration #110: Commit b490245 pushed by robertmaxton42
1s delab_isFoo_of
delab_isFoo_of
1s
Merge branch 'master' into delab_isFoo_of Run pre-commit and in-place update PR on push #94: Commit b490245 pushed by robertmaxton42
28s delab_isFoo_of
delab_isFoo_of
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #109: completed by robertmaxton42
1s
1s
Update Mathlib/Util/DelabNonCanonical.lean continuous integration #109: Commit a4e0b08 pushed by robertmaxton42
1s delab_isFoo_of
delab_isFoo_of
1s
Update Mathlib/Util/DelabNonCanonical.lean Run pre-commit and in-place update PR on push #93: Commit a4e0b08 pushed by robertmaxton42
32s delab_isFoo_of
delab_isFoo_of
32s
Weekly linting report Weekly linting report #25: Scheduled
1s master
master
1s
Weekly Long File Report Weekly Long File Report #32: Scheduled
1s master
master
1s
Late importers report Late importers report #32: Scheduled
1s master
master
1s
Weekly Technical Debt Counters Weekly Technical Debt Counters #32: Scheduled
1s master
master
1s
update nolints update nolints #32: Scheduled
1s master
master
1s
Weekly linting report Weekly linting report #24: Scheduled
1s master
master
1s
Weekly Long File Report Weekly Long File Report #31: Scheduled
Skipped master
master
Skipped
Late importers report Late importers report #31: Scheduled
1s master
master
1s
Weekly Technical Debt Counters Weekly Technical Debt Counters #31: Scheduled
1s master
master
1s
update nolints update nolints #31: Scheduled
1s master
master
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #108: completed by robertmaxton42
1s
1s
cleanup, withAnnotateTermInfo continuous integration #108: Commit 41f200a pushed by robertmaxton42
1s delab_isFoo_of
delab_isFoo_of
1s
cleanup, withAnnotateTermInfo Run pre-commit and in-place update PR on push #92: Commit 41f200a pushed by robertmaxton42
30s delab_isFoo_of
delab_isFoo_of
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #107: completed by robertmaxton42
1s
1s
linters, cleanup Run pre-commit and in-place update PR on push #91: Commit 383b3ba pushed by robertmaxton42
25s delab_isFoo_of
delab_isFoo_of
25s
⚡