Skip to content

Actions: adrianmartir/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 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. #8: completed by adrianmartir
1s
1s
Merge branch 'master' into adrianmartir-infinite-divisors Run pre-commit and in-place update PR on push #8: Commit 369c54f pushed by adrianmartir
25s adrianmartir-infinite-divisors
adrianmartir-infinite-divisors
25s
Merge branch 'master' into adrianmartir-infinite-divisors continuous integration #8: Commit 369c54f pushed by adrianmartir
2s adrianmartir-infinite-divisors
adrianmartir-infinite-divisors
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by adrianmartir
10s
10s
Merge branch 'master' into adrianmartir-infinite-divisors continuous integration #7: Commit 2274c3f pushed by adrianmartir
4s adrianmartir-infinite-divisors
adrianmartir-infinite-divisors
4s
Merge branch 'master' into adrianmartir-infinite-divisors Run pre-commit and in-place update PR on push #7: Commit 2274c3f pushed by adrianmartir
39s adrianmartir-infinite-divisors
adrianmartir-infinite-divisors
39s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by adrianmartir
1s
1s
Add infinite_setOf_divisors. continuous integration #6: Commit f282bb2 pushed by adrianmartir
2s adrianmartir-infinite-divisors
adrianmartir-infinite-divisors
2s
Add infinite_setOf_divisors. Autolabel PRs #2: Commit f282bb2 pushed by adrianmartir
1s adrianmartir-infinite-divisors
adrianmartir-infinite-divisors
1s
Add infinite_setOf_divisors. Run pre-commit and in-place update PR on push #6: Commit f282bb2 pushed by adrianmartir
34s adrianmartir-infinite-divisors
adrianmartir-infinite-divisors
34s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by adrianmartir
1s
1s
Remove Signature. Run pre-commit and in-place update PR on push #5: Commit 33137a0 pushed by adrianmartir
22s adrianmartir-operads
adrianmartir-operads
22s
Remove Signature. continuous integration #5: Commit 33137a0 pushed by adrianmartir
1s adrianmartir-operads
adrianmartir-operads
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by adrianmartir
1s
1s
Move profunctor code to . Run pre-commit and in-place update PR on push #4: Commit 260015a pushed by adrianmartir
22s adrianmartir-operads
adrianmartir-operads
22s
Move profunctor code to . continuous integration #4: Commit 260015a pushed by adrianmartir
1s adrianmartir-operads
adrianmartir-operads
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by adrianmartir
1s
1s
Fix author. Run pre-commit and in-place update PR on push #3: Commit 21c0a3b pushed by adrianmartir
22s adrianmartir-operads
adrianmartir-operads
22s
Fix author. continuous integration #3: Commit 21c0a3b pushed by adrianmartir
1s adrianmartir-operads
adrianmartir-operads
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by adrianmartir
1s
1s
Fill in missing proofs. continuous integration #2: Commit 75091f4 pushed by adrianmartir
1s adrianmartir-operads
adrianmartir-operads
1s
Fill in missing proofs. Run pre-commit and in-place update PR on push #2: Commit 75091f4 pushed by adrianmartir
25s adrianmartir-operads
adrianmartir-operads
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by adrianmartir
1s
1s
Add a definition for operads. Autolabel PRs #1: Commit 0994e75 pushed by adrianmartir
1s adrianmartir-operads
adrianmartir-operads
1s
Add a definition for operads. Run pre-commit and in-place update PR on push #1: Commit 0994e75 pushed by adrianmartir
40s adrianmartir-operads
adrianmartir-operads
40s