Skip to content

Actions: gasparattila/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,371 workflow runs
2,371 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. #812: completed by gasparattila
9s
9s
Update Monoid.lean continuous integration #814: Commit f483e90 pushed by gasparattila
1s NSMul-defeq-doc
NSMul-defeq-doc
1s
Update Monoid.lean Run pre-commit and in-place update PR on push #729: Commit f483e90 pushed by gasparattila
30s NSMul-defeq-doc
NSMul-defeq-doc
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #811: completed by gasparattila
1s
1s
Fix continuous integration #813: Commit f2b9238 pushed by gasparattila
2s deprecate-ofPairwiseDisjoint
deprecate-ofPairwiseDisjoint
2s
Fix Run pre-commit and in-place update PR on push #728: Commit f2b9238 pushed by gasparattila
25s deprecate-ofPairwiseDisjoint
deprecate-ofPairwiseDisjoint
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #810: completed by gasparattila
4s
4s
Fix continuous integration #812: Commit fa87d48 pushed by gasparattila
2s deprecate-ofPairwiseDisjoint
deprecate-ofPairwiseDisjoint
2s
Fix Run pre-commit and in-place update PR on push #727: Commit fa87d48 pushed by gasparattila
26s deprecate-ofPairwiseDisjoint
deprecate-ofPairwiseDisjoint
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #809: completed by gasparattila
3s
3s
Merge branch 'master' into deprecate-ofPairwiseDisjoint continuous integration #811: Commit e4a6897 pushed by gasparattila
1s deprecate-ofPairwiseDisjoint
deprecate-ofPairwiseDisjoint
1s
Merge branch 'master' into deprecate-ofPairwiseDisjoint Run pre-commit and in-place update PR on push #726: Commit e4a6897 pushed by gasparattila
30s deprecate-ofPairwiseDisjoint
deprecate-ofPairwiseDisjoint
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #808: completed by gasparattila
1s
1s
Update Finpartition.lean continuous integration #810: Commit 4b97bd4 pushed by gasparattila
9s deprecate-ofPairwiseDisjoint
deprecate-ofPairwiseDisjoint
9s
Update Finpartition.lean Run pre-commit and in-place update PR on push #725: Commit 4b97bd4 pushed by gasparattila
35s deprecate-ofPairwiseDisjoint
deprecate-ofPairwiseDisjoint
35s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #807: completed by gasparattila
1s
1s
feat(Order/Partition): converting a Finpartition into a Partition continuous integration #809: Commit 0801481 pushed by gasparattila
1s Finpartition.toPartition
Finpartition.toPartition
1s
feat(Order/Partition): converting a Finpartition into a Partition Run pre-commit and in-place update PR on push #724: Commit 0801481 pushed by gasparattila
33s Finpartition.toPartition
Finpartition.toPartition
33s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #806: completed by gasparattila
1s
1s
refactor(Data/FunLike): make the arguments of Is*Apply implicit continuous integration #808: Commit 35b76f3 pushed by gasparattila
2s IsApply-implicit
IsApply-implicit
2s
refactor(Data/FunLike): make the arguments of Is*Apply implicit Run pre-commit and in-place update PR on push #723: Commit 35b76f3 pushed by gasparattila
36s IsApply-implicit
IsApply-implicit
36s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #805: completed by gasparattila
2s
2s
Workaround for CI error continuous integration #807: Commit c6cf46d pushed by gasparattila
1s idempotent-struct
idempotent-struct
1s
Workaround for CI error Run pre-commit and in-place update PR on push #722: Commit c6cf46d pushed by gasparattila
29s idempotent-struct
idempotent-struct
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #804: completed by gasparattila
1s
1s