Skip to content

Actions: fcoUnda/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 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. #5: completed by fcoUnda
1s
1s
addressing style nit Run pre-commit and in-place update PR on push #5: Commit 4dd56e3 pushed by fcoUnda
21s nthroot_improvement
nthroot_improvement
21s
addressing style nit continuous integration #5: Commit 4dd56e3 pushed by fcoUnda
2s nthroot_improvement
nthroot_improvement
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by fcoUnda
1s
1s
Forgot to save Run pre-commit and in-place update PR on push #4: Commit eb1d0a1 pushed by fcoUnda
23s nthroot_improvement
nthroot_improvement
23s
Forgot to save continuous integration #4: Commit eb1d0a1 pushed by fcoUnda
1s nthroot_improvement
nthroot_improvement
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by fcoUnda
Skipped
Skipped
Simplifying some arguments thanks to comments continuous integration #3: Commit 1879f2e pushed by fcoUnda
1s nthroot_improvement
nthroot_improvement
1s
Simplifying some arguments thanks to comments Run pre-commit and in-place update PR on push #3: Commit 1879f2e pushed by fcoUnda
26s nthroot_improvement
nthroot_improvement
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by fcoUnda
1s
1s
Incorporate pow_add_mul_le_add_pow_of_sq_nonneg continuous integration #2: Commit f5af6aa pushed by fcoUnda
1s nthroot_improvement
nthroot_improvement
1s
Incorporate pow_add_mul_le_add_pow_of_sq_nonneg Run pre-commit and in-place update PR on push #2: Commit f5af6aa pushed by fcoUnda
22s nthroot_improvement
nthroot_improvement
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by fcoUnda
1s
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… continuous integration #1: Commit 9fc7915 pushed by fcoUnda
1s nthroot_improvement
nthroot_improvement
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Run pre-commit and in-place update PR on push #1: Commit 9fc7915 pushed by fcoUnda
29s nthroot_improvement
nthroot_improvement
29s