Skip to content

Actions: daniel-carranza/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 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. #21: completed by dagurtomas
Skipped
Skipped
fix the build Run pre-commit and in-place update PR on push #21: Commit e556b82 pushed by dagurtomas
29s internal-currying-isomorphism
internal-currying-isomorphism
29s
fix the build continuous integration #21: Commit e556b82 pushed by dagurtomas
1s internal-currying-isomorphism
internal-currying-isomorphism
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #20: completed by dagurtomas
1s
1s
Merge branch 'master' into internal-currying-isomorphism Run pre-commit and in-place update PR on push #20: Commit 7420d6c pushed by dagurtomas
37s internal-currying-isomorphism
internal-currying-isomorphism
37s
Merge branch 'master' into internal-currying-isomorphism continuous integration #20: Commit 7420d6c pushed by dagurtomas
2s internal-currying-isomorphism
internal-currying-isomorphism
2s
Merge branch 'master' into internal-currying-isomorphism Autolabel PRs #2: Commit 7420d6c pushed by dagurtomas
1s internal-currying-isomorphism
internal-currying-isomorphism
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #19: completed by daniel-carranza
2s
2s
Update Mathlib/CategoryTheory/Monoidal/Closed/InternalCurrying.lean continuous integration #19: Commit ee7b613 pushed by daniel-carranza
10s internal-currying-isomorphism
internal-currying-isomorphism
10s
Update Mathlib/CategoryTheory/Monoidal/Closed/InternalCurrying.lean Run pre-commit and in-place update PR on push #19: Commit ee7b613 pushed by daniel-carranza
48s internal-currying-isomorphism
internal-currying-isomorphism
48s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #18: completed by daniel-carranza
4s
4s
corrected TODO comments continuous integration #18: Commit 355de62 pushed by daniel-carranza
1s internal-currying-isomorphism
internal-currying-isomorphism
1s
corrected TODO comments Run pre-commit and in-place update PR on push #18: Commit 355de62 pushed by daniel-carranza
30s internal-currying-isomorphism
internal-currying-isomorphism
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #17: completed by daniel-carranza
1s
1s
trying to resolve merge conflicts continuous integration #17: Commit 041cf6a pushed by daniel-carranza
1s internal-currying-isomorphism
internal-currying-isomorphism
1s
trying to resolve merge conflicts Run pre-commit and in-place update PR on push #17: Commit 041cf6a pushed by daniel-carranza
22s internal-currying-isomorphism
internal-currying-isomorphism
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16: completed by daniel-carranza
1s
1s
Update Mathlib/CategoryTheory/Monoidal/Closed/InternalCurrying.lean continuous integration #16: Commit f74aab5 pushed by daniel-carranza
1s internal-currying-isomorphism
internal-currying-isomorphism
1s
Update Mathlib/CategoryTheory/Monoidal/Closed/InternalCurrying.lean Run pre-commit and in-place update PR on push #16: Commit f74aab5 pushed by daniel-carranza
23s internal-currying-isomorphism
internal-currying-isomorphism
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #15: completed by daniel-carranza
2s
2s
Update Mathlib/CategoryTheory/Monoidal/Closed/InternalCurrying.lean continuous integration #15: Commit c732b49 pushed by daniel-carranza
1s internal-currying-isomorphism
internal-currying-isomorphism
1s
Update Mathlib/CategoryTheory/Monoidal/Closed/InternalCurrying.lean Run pre-commit and in-place update PR on push #15: Commit c732b49 pushed by daniel-carranza
20s internal-currying-isomorphism
internal-currying-isomorphism
20s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #14: completed by daniel-carranza
1s
1s
removed reverseBraiding from file continuous integration #14: Commit eec6fd0 pushed by daniel-carranza
11s enriched-cotensors
enriched-cotensors
11s
removed reverseBraiding from file Run pre-commit and in-place update PR on push #14: Commit eec6fd0 pushed by daniel-carranza
33s enriched-cotensors
enriched-cotensors
33s