Skip to content

Actions: callesonne/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
693 workflow runs
693 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. #227: completed by callesonne
1s
1s
Merge branch 'master' into bicategory-yoneda continuous integration #227: Commit e28562a pushed by callesonne
2s bicategory-yoneda
bicategory-yoneda
2s
Merge branch 'master' into bicategory-yoneda Run pre-commit and in-place update PR on push #211: Commit e28562a pushed by callesonne
25s bicategory-yoneda
bicategory-yoneda
25s
Merge branch 'master' into bicategory-yoneda Autolabel PRs #25: Commit e28562a pushed by callesonne
1s bicategory-yoneda
bicategory-yoneda
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #226: completed by callesonne
1s
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Run pre-commit and in-place update PR on push #210: Commit 2da5362 pushed by callesonne
32s bicategory-yoneda
bicategory-yoneda
32s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… continuous integration #226: Commit 2da5362 pushed by callesonne
1s bicategory-yoneda
bicategory-yoneda
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #24: Commit 2da5362 pushed by callesonne
1s bicategory-yoneda
bicategory-yoneda
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #225: completed by callesonne
Skipped
Skipped
progress continuous integration #225: Commit 88ce8a8 pushed by callesonne
1s calle/mkAppOptM
calle/mkAppOptM
1s
progress continuous integration (mathlib forks) #3: Commit 88ce8a8 pushed by callesonne
57s calle/mkAppOptM
calle/mkAppOptM
57s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #224: completed by callesonne
1s
1s
Update Mathlib/CategoryTheory/Bicategory/Subbicategory.lean Run pre-commit and in-place update PR on push #209: Commit 28c1a7f pushed by callesonne
25s fullsubbicat
fullsubbicat
25s
Update Mathlib/CategoryTheory/Bicategory/Subbicategory.lean continuous integration #224: Commit 28c1a7f pushed by callesonne
1s fullsubbicat
fullsubbicat
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #223: completed by callesonne
1s
1s
remove old code continuous integration #223: Commit 61af86a pushed by callesonne
2s pseudo-eval
pseudo-eval
2s
remove old code Run pre-commit and in-place update PR on push #208: Commit 61af86a pushed by callesonne
25s pseudo-eval
pseudo-eval
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #222: completed by callesonne
Skipped
Skipped
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… continuous integration #222: Commit b38b184 pushed by callesonne
1s pseudo-eval
pseudo-eval
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Run pre-commit and in-place update PR on push #207: Commit b38b184 pushed by callesonne
24s pseudo-eval
pseudo-eval
24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #221: completed by callesonne
2s
2s
progress Run pre-commit and in-place update PR on push #206: Commit 9e2d8b1 pushed by callesonne
29s pseudo-eval
pseudo-eval
29s
progress continuous integration #221: Commit 9e2d8b1 pushed by callesonne
1s pseudo-eval
pseudo-eval
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #220: completed by callesonne
1s
1s
fix to_app tags continuous integration #220: Commit 5ff4c85 pushed by callesonne
1s to_app_reassoc
to_app_reassoc
1s