Skip to content

Actions: EtienneC30/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. #966: completed by EtienneC30
1s
1s
done continuous integration #966: Commit 69d8391 pushed by EtienneC30
2s card_lemma
card_lemma
2s
done Run pre-commit and in-place update PR on push #674: Commit 69d8391 pushed by EtienneC30
30s card_lemma
card_lemma
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #965: completed by EtienneC30
Skipped
Skipped
move simp continuous integration #965: Commit 2b6599a pushed by EtienneC30
2s card_lemma
card_lemma
2s
move simp Run pre-commit and in-place update PR on push #673: Commit 2b6599a pushed by EtienneC30
30s card_lemma
card_lemma
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #964: completed by EtienneC30
1s
1s
add lemma continuous integration #964: Commit 3f5ecb7 pushed by EtienneC30
1s card_lemma
card_lemma
1s
add lemma Run pre-commit and in-place update PR on push #672: Commit 3f5ecb7 pushed by EtienneC30
25s card_lemma
card_lemma
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #963: completed by EtienneC30
1s
1s
Merge branch 'master' of https://github.com/leanprover-community/math… Run pre-commit and in-place update PR on push #671: Commit d61ce2b pushed by EtienneC30
33s cont_meas
cont_meas
33s
Merge branch 'master' of https://github.com/leanprover-community/math… continuous integration #963: Commit d61ce2b pushed by EtienneC30
1s cont_meas
cont_meas
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #962: completed by EtienneC30
1s
1s
remove Set. continuous integration #962: Commit 964dd01 pushed by EtienneC30
1s cont_meas
cont_meas
1s
remove Set. Run pre-commit and in-place update PR on push #670: Commit 964dd01 pushed by EtienneC30
25s cont_meas
cont_meas
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #961: completed by EtienneC30
2s
2s
more split continuous integration #961: Commit cb35c4b pushed by EtienneC30
2s cont_meas
cont_meas
2s
more split Run pre-commit and in-place update PR on push #669: Commit cb35c4b pushed by EtienneC30
52s cont_meas
cont_meas
52s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #960: completed by EtienneC30
1s
1s
more continuous integration #960: Commit f5f67a8 pushed by EtienneC30
1s fix_instance
fix_instance
1s
more Run pre-commit and in-place update PR on push #668: Commit f5f67a8 pushed by EtienneC30
28s fix_instance
fix_instance
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #959: completed by EtienneC30
1s
1s
chore: remove duplicate instance continuous integration #959: Commit 3f2fa8d pushed by EtienneC30
2s fix_instance
fix_instance
2s
chore: remove duplicate instance Run pre-commit and in-place update PR on push #667: Commit 3f2fa8d pushed by EtienneC30
31s fix_instance
fix_instance
31s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #958: completed by EtienneC30
1s
1s