Skip to content

Actions: cameronfreer/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 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. #10: completed by cameronfreer
2s
2s
Export workflow telemetry Export workflow telemetry #10: completed by cameronfreer
1s
1s
style: convert toCompl from tactic mode to term mode continuous integration #10: Commit 8691629 pushed by cameronfreer
1s feat/perm-extend-injective-fin
feat/perm-extend-injective-fin
1s
style: convert toCompl from tactic mode to term mode Run pre-commit and in-place update PR on push #10: Commit 8691629 pushed by cameronfreer
28s feat/perm-extend-injective-fin
feat/perm-extend-injective-fin
28s
Export workflow telemetry Export workflow telemetry #9: completed by cameronfreer
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9: completed by cameronfreer
1s
1s
style: convert toCompl from tactic mode to term mode continuous integration #9: Commit a424062 pushed by cameronfreer
2s feat/perm-extend-injective-fin
feat/perm-extend-injective-fin
2s
style: convert toCompl from tactic mode to term mode Run pre-commit and in-place update PR on push #9: Commit a424062 pushed by cameronfreer
29s feat/perm-extend-injective-fin
feat/perm-extend-injective-fin
29s
Export workflow telemetry Export workflow telemetry #8: completed by cameronfreer
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by cameronfreer
1s
1s
style: convert toCompl from tactic mode to term mode continuous integration #8: Commit 26ac0e1 pushed by cameronfreer
2s feat/perm-extend-injective-fin
feat/perm-extend-injective-fin
2s
style: convert toCompl from tactic mode to term mode Run pre-commit and in-place update PR on push #8: Commit 26ac0e1 pushed by cameronfreer
25s feat/perm-extend-injective-fin
feat/perm-extend-injective-fin
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by cameronfreer
1s
1s
Export workflow telemetry Export workflow telemetry #7: completed by cameronfreer
1s
1s
golf: simplify exists_map_finset_eq using eq_of_subset_of_card_le Run pre-commit and in-place update PR on push #7: Commit fc2de20 pushed by cameronfreer
25s feat/perm-extend-injective-fin
feat/perm-extend-injective-fin
25s
golf: simplify exists_map_finset_eq using eq_of_subset_of_card_le continuous integration #7: Commit fc2de20 pushed by cameronfreer
1s feat/perm-extend-injective-fin
feat/perm-extend-injective-fin
1s
Export workflow telemetry Export workflow telemetry #6: completed by cameronfreer
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by cameronfreer
1s
1s
Merge branch 'master' into feat/perm-extend-injective-fin continuous integration #6: Commit fe83e6a pushed by cameronfreer
1s feat/perm-extend-injective-fin
feat/perm-extend-injective-fin
1s
Merge branch 'master' into feat/perm-extend-injective-fin Run pre-commit and in-place update PR on push #6: Commit fe83e6a pushed by cameronfreer
31s feat/perm-extend-injective-fin
feat/perm-extend-injective-fin
31s
Export workflow telemetry Export workflow telemetry #5: completed by cameronfreer
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by cameronfreer
1s
1s
Merge branch 'master' into feat/perm-extend-injective-fin continuous integration #5: Commit 7694c32 pushed by cameronfreer
2s feat/perm-extend-injective-fin
feat/perm-extend-injective-fin
2s
Merge branch 'master' into feat/perm-extend-injective-fin Run pre-commit and in-place update PR on push #5: Commit 7694c32 pushed by cameronfreer
29s feat/perm-extend-injective-fin
feat/perm-extend-injective-fin
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by cameronfreer
Skipped
Skipped