Skip to content

Actions: chriseth/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 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. #12: completed by chriseth
1s
1s
Update Mathlib/Data/Set/Card.lean Run pre-commit and in-place update PR on push #12: Commit ca23a7d pushed by chriseth
25s encard_pi_eq_prod_encard
encard_pi_eq_prod_encard
25s
Update Mathlib/Data/Set/Card.lean continuous integration #12: Commit ca23a7d pushed by chriseth
1s encard_pi_eq_prod_encard
encard_pi_eq_prod_encard
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #11: completed by chriseth
1s
1s
Add simplification theorem about cardinalities of "big" cartesian pro… Run pre-commit and in-place update PR on push #11: Commit f06f6b1 pushed by chriseth
37s encard_pi_eq_prod_encard
encard_pi_eq_prod_encard
37s
Add simplification theorem about cardinalities of "big" cartesian pro… continuous integration #11: Commit f06f6b1 pushed by chriseth
1s encard_pi_eq_prod_encard
encard_pi_eq_prod_encard
1s
Add simplification theorem about cardinalities of "big" cartesian pro… Autolabel PRs #2: Commit f06f6b1 pushed by chriseth
1s encard_pi_eq_prod_encard
encard_pi_eq_prod_encard
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #10: completed by chriseth
1s
1s
Merge branch 'master' into turing_tape_write_simp continuous integration #10: Commit 8d18740 pushed by chriseth
1s turing_tape_write_simp
turing_tape_write_simp
1s
Merge branch 'master' into turing_tape_write_simp Run pre-commit and in-place update PR on push #10: Commit 8d18740 pushed by chriseth
25s turing_tape_write_simp
turing_tape_write_simp
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9: completed by chriseth
1s
1s
Reviewer suggestions. Run pre-commit and in-place update PR on push #9: Commit ebf0b1a pushed by chriseth
25s turing_tape_write_simp
turing_tape_write_simp
25s
Reviewer suggestions. continuous integration #9: Commit ebf0b1a pushed by chriseth
1s turing_tape_write_simp
turing_tape_write_simp
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by chriseth
1s
1s
Merge branch 'master' into turing_tape_write_simp Run pre-commit and in-place update PR on push #8: Commit ce31008 pushed by chriseth
25s turing_tape_write_simp
turing_tape_write_simp
25s
Merge branch 'master' into turing_tape_write_simp continuous integration #8: Commit ce31008 pushed by chriseth
1s turing_tape_write_simp
turing_tape_write_simp
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by chriseth
1s
1s
Simplify proofs. continuous integration #7: Commit f5cd2a1 pushed by chriseth
2s turing_tape_write_simp
turing_tape_write_simp
2s
Simplify proofs. Run pre-commit and in-place update PR on push #7: Commit f5cd2a1 pushed by chriseth
22s turing_tape_write_simp
turing_tape_write_simp
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by chriseth
1s
1s
Apply suggestion from @YaelDillies continuous integration #6: Commit 82c3fc3 pushed by chriseth
1s turing_tape_write_simp
turing_tape_write_simp
1s
Apply suggestion from @YaelDillies Run pre-commit and in-place update PR on push #6: Commit 82c3fc3 pushed by chriseth
27s turing_tape_write_simp
turing_tape_write_simp
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by chriseth
1s
1s
Fix proofs that make use of the old Tape.write_mk' theorem. continuous integration #5: Commit 9ef3e78 pushed by chriseth
1s turing_tape_write_simp
turing_tape_write_simp
1s
Fix proofs that make use of the old Tape.write_mk' theorem. Run pre-commit and in-place update PR on push #5: Commit 9ef3e78 pushed by chriseth
28s turing_tape_write_simp
turing_tape_write_simp
28s