Skip to content

Actions: EtienneC30/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,960 workflow runs
1,960 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. #741: completed by EtienneC30
1s
1s
doc continuous integration #741: Commit 7b628a6 pushed by EtienneC30
1s indep_gauss_proc
indep_gauss_proc
1s
doc Run pre-commit and in-place update PR on push #449: Commit 7b628a6 pushed by EtienneC30
42s indep_gauss_proc
indep_gauss_proc
42s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #740: completed by EtienneC30
1s
1s
tidy Run pre-commit and in-place update PR on push #448: Commit 3122f23 pushed by EtienneC30
26s indep_gauss_proc
indep_gauss_proc
26s
tidy continuous integration #740: Commit 3122f23 pushed by EtienneC30
2s indep_gauss_proc
indep_gauss_proc
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #739: completed by EtienneC30
1s
1s
doc continuous integration #739: Commit b02714e pushed by EtienneC30
2s indep_gauss_proc
indep_gauss_proc
2s
doc Run pre-commit and in-place update PR on push #447: Commit b02714e pushed by EtienneC30
25s indep_gauss_proc
indep_gauss_proc
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #738: completed by EtienneC30
1s
1s
typos Autolabel PRs #29: Commit c906340 pushed by EtienneC30
1s indep_gauss_proc
indep_gauss_proc
1s
typos Run pre-commit and in-place update PR on push #446: Commit c906340 pushed by EtienneC30
31s indep_gauss_proc
indep_gauss_proc
31s
typos continuous integration #738: Commit c906340 pushed by EtienneC30
1s indep_gauss_proc
indep_gauss_proc
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #737: completed by EtienneC30
12s
12s
Merge branch 'master' of https://github.com/leanprover-community/math… continuous integration #737: Commit a3cd5a8 pushed by EtienneC30
2s indep_gaussian
indep_gaussian
2s
Merge branch 'master' of https://github.com/leanprover-community/math… Run pre-commit and in-place update PR on push #445: Commit a3cd5a8 pushed by EtienneC30
26s indep_gaussian
indep_gaussian
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #736: completed by EtienneC30
1s
1s
fix documentation Run pre-commit and in-place update PR on push #444: Commit 85c95a6 pushed by EtienneC30
24s indep_gaussian
indep_gaussian
24s
fix documentation continuous integration #736: Commit 85c95a6 pushed by EtienneC30
2s indep_gaussian
indep_gaussian
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #735: completed by EtienneC30
1s
1s
review continuous integration #735: Commit 7c8b132 pushed by EtienneC30
1s gaussian_process
gaussian_process
1s
review Run pre-commit and in-place update PR on push #443: Commit 7c8b132 pushed by EtienneC30
25s gaussian_process
gaussian_process
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #734: completed by EtienneC30
1s
1s
Merge branch 'master' of https://github.com/leanprover-community/math… Autolabel PRs #28: Commit f82bd33 pushed by EtienneC30
2s gaussian_process
gaussian_process
2s
Merge branch 'master' of https://github.com/leanprover-community/math… continuous integration #734: Commit f82bd33 pushed by EtienneC30
2s gaussian_process
gaussian_process
2s