Skip to content

Actions: fweth/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #21: completed by fweth
1s
1s
merge continuous integration #21: Commit 865008d pushed by fweth
1s topos-definition
topos-definition
1s
merge Run pre-commit and in-place update PR on push #3: Commit 865008d pushed by fweth
33s topos-definition
topos-definition
33s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #20: completed by pre-commit-ci-lite bot
1s
1s
[pre-commit.ci lite] apply automatic fixes continuous integration #20: Commit a8c7661 pushed by pre-commit-ci-lite bot
1s topos-definition
topos-definition
1s
[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #2: Commit a8c7661 pushed by pre-commit-ci-lite bot
32s topos-definition
topos-definition
32s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #19: completed by fweth
1s
1s
merge upstream Run pre-commit and in-place update PR on push #1: Commit 0d314e4 pushed by fweth
35s topos-definition
topos-definition
35s
merge upstream continuous integration #19: Commit 0d314e4 pushed by fweth
1s topos-definition
topos-definition
1s
merge upstream Autolabel PRs #2: Commit 0d314e4 pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #18: completed by fweth
Skipped
Skipped
rename iota to iso continuous integration #18: Commit eaa4cf1 pushed by fweth
2s topos-definition
topos-definition
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #17: completed by fweth
1s
1s
rw continuous integration #17: Commit aa2be8b pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16: completed by fweth
1s
1s
docstring continuous integration #16: Commit 3f42f6d pushed by fweth
2s topos-definition
topos-definition
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #15: completed by fweth
2s
2s
generalize isoIsPullback_congr lemma continuous integration #15: Commit 4a21ada pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #14: completed by fweth
1s
1s
delete diff.txt continuous integration #14: Commit b757c24 pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #13: completed by fweth
Skipped
Skipped
better docstring continuous integration #13: Commit 2feb15e pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #12: completed by fweth
Skipped
Skipped
better simp continuous integration #12: Commit 80d4d69 pushed by fweth
1s topos-definition
topos-definition
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #11: completed by fweth
1s
1s