Skip to content

Actions: pechersky/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,162 workflow runs
1,162 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. #510: completed by pechersky
1s
1s
feat(Int): Shift{Left,Right} instance spec on how it interacts with Nat continuous integration #510: Commit a4b2ae5 pushed by pechersky
1s int-shift-api
int-shift-api
1s
feat(Int): Shift{Left,Right} instance spec on how it interacts with Nat Run pre-commit and in-place update PR on push #82: Commit a4b2ae5 pushed by pechersky
31s int-shift-api
int-shift-api
31s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #509: completed by pechersky
1s
1s
Update Mathlib/Topology/MetricSpace/Pseudo/Constructions.lean continuous integration #509: Commit 0f2319b pushed by pechersky
1s discrete-metric-normed
discrete-metric-normed
1s
Update Mathlib/Topology/MetricSpace/Pseudo/Constructions.lean Run pre-commit and in-place update PR on push #81: Commit 0f2319b pushed by pechersky
34s discrete-metric-normed
discrete-metric-normed
34s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #508: completed by pechersky
7s
7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #507: completed by pechersky
1s
1s
deprecations continuous integration #508: Commit c2ea5a1 pushed by pechersky
1s val-rel-top-compatible
val-rel-top-compatible
1s
deprecations Run pre-commit and in-place update PR on push #80: Commit c2ea5a1 pushed by pechersky
21s val-rel-top-compatible
val-rel-top-compatible
21s
deprecations Run pre-commit and in-place update PR on push #79: Commit 704d2b8 pushed by pechersky
27s val-rel-top-compatible
val-rel-top-compatible
27s
deprecations continuous integration #507: Commit 704d2b8 pushed by pechersky
2s val-rel-top-compatible
val-rel-top-compatible
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #506: completed by pechersky
1s
1s
Merge branch 'master' into val-rel-top-compatible continuous integration #506: Commit 0b17d71 pushed by pechersky
1s val-rel-top-compatible
val-rel-top-compatible
1s
Merge branch 'master' into val-rel-top-compatible Run pre-commit and in-place update PR on push #78: Commit 0b17d71 pushed by pechersky
32s val-rel-top-compatible
val-rel-top-compatible
32s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #505: completed by pechersky
1s
1s
Merge branch 'master' into valuative-rel-integer Autolabel PRs #29: Commit 2062e07 pushed by pechersky
1s valuative-rel-integer
valuative-rel-integer
1s
Merge branch 'master' into valuative-rel-integer Run pre-commit and in-place update PR on push #77: Commit 2062e07 pushed by pechersky
31s valuative-rel-integer
valuative-rel-integer
31s
Merge branch 'master' into valuative-rel-integer continuous integration #505: Commit 2062e07 pushed by pechersky
1s valuative-rel-integer
valuative-rel-integer
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #504: completed by pechersky
1s
1s
lower prio for LocallyCompact from Discrete Run pre-commit and in-place update PR on push #76: Commit fc739d2 pushed by pechersky
31s locally-compact-with-zero
locally-compact-with-zero
31s
lower prio for LocallyCompact from Discrete continuous integration #504: Commit fc739d2 pushed by pechersky
1s locally-compact-with-zero
locally-compact-with-zero
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #503: completed by pechersky
1s
1s
Merge branch 'master' into locally-compact-with-zero Autolabel PRs #28: Commit 7b92c17 pushed by pechersky
2s locally-compact-with-zero
locally-compact-with-zero
2s
Merge branch 'master' into locally-compact-with-zero Run pre-commit and in-place update PR on push #75: Commit 7b92c17 pushed by pechersky
37s locally-compact-with-zero
locally-compact-with-zero
37s
⚡