Skip to content

Actions: Pjotr5/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 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. #12: completed by Pjotr5
1s
1s
Revert changes to the subadditive lemmas Autolabel PRs #6: Commit ebd43ce pushed by Pjotr5
1s expect-lemmas
expect-lemmas
1s
Revert changes to the subadditive lemmas continuous integration #12: Commit ebd43ce pushed by Pjotr5
1s expect-lemmas
expect-lemmas
1s
Revert changes to the subadditive lemmas Run pre-commit and in-place update PR on push #12: Commit ebd43ce pushed by Pjotr5
29s expect-lemmas
expect-lemmas
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #11: completed by Pjotr5
1s
1s
Merge branch 'master' into expect-lemmas continuous integration #11: Commit e167bdc pushed by Pjotr5
1s expect-lemmas
expect-lemmas
1s
Merge branch 'master' into expect-lemmas Run pre-commit and in-place update PR on push #11: Commit e167bdc pushed by Pjotr5
27s expect-lemmas
expect-lemmas
27s
Merge branch 'master' into expect-lemmas Autolabel PRs #5: Commit e167bdc pushed by Pjotr5
1s expect-lemmas
expect-lemmas
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #10: completed by Pjotr5
1s
1s
Merge branch 'expect-lemmas' of https://github.com/Pjotr5/mathlib4 in… continuous integration #10: Commit 28f54d7 pushed by Pjotr5
1s expect-lemmas
expect-lemmas
1s
Merge branch 'expect-lemmas' of https://github.com/Pjotr5/mathlib4 in… Run pre-commit and in-place update PR on push #10: Commit 28f54d7 pushed by Pjotr5
30s expect-lemmas
expect-lemmas
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9: completed by Pjotr5
1s
1s
Merge branch 'master' into expect-lemmas continuous integration #9: Commit 15aa901 pushed by Pjotr5
2s expect-lemmas
expect-lemmas
2s
Merge branch 'master' into expect-lemmas Run pre-commit and in-place update PR on push #9: Commit 15aa901 pushed by Pjotr5
32s expect-lemmas
expect-lemmas
32s
Merge branch 'master' into expect-lemmas Autolabel PRs #4: Commit 15aa901 pushed by Pjotr5
1s expect-lemmas
expect-lemmas
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by Pjotr5
1s
1s
Merge branch 'master' into expect-lemmas Run pre-commit and in-place update PR on push #8: Commit a991667 pushed by Pjotr5
21s expect-lemmas
expect-lemmas
21s
Merge branch 'master' into expect-lemmas continuous integration #8: Commit a991667 pushed by Pjotr5
1s expect-lemmas
expect-lemmas
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by Pjotr5
1s
1s
Merge branch 'master' into expect-lemmas Autolabel PRs #3: Commit 5e93580 pushed by Pjotr5
2s expect-lemmas
expect-lemmas
2s
Merge branch 'master' into expect-lemmas Run pre-commit and in-place update PR on push #7: Commit 5e93580 pushed by Pjotr5
20s expect-lemmas
expect-lemmas
20s
Merge branch 'master' into expect-lemmas continuous integration #7: Commit 5e93580 pushed by Pjotr5
1s expect-lemmas
expect-lemmas
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by Pjotr5
1s
1s
Merge branch 'master' into expect-lemmas continuous integration #6: Commit 6c8c812 pushed by Pjotr5
1s expect-lemmas
expect-lemmas
1s
Merge branch 'master' into expect-lemmas Run pre-commit and in-place update PR on push #6: Commit 6c8c812 pushed by Pjotr5
24s expect-lemmas
expect-lemmas
24s