Skip to content

Actions: anishrajeev/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 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. #12: completed by anishrajeev
1s
1s
Merge branch 'master' into OmittingTypes Run pre-commit and in-place update PR on push #12: Commit 68f7493 pushed by anishrajeev
27s OmittingTypes
OmittingTypes
27s
Merge branch 'master' into OmittingTypes continuous integration #12: Commit 68f7493 pushed by anishrajeev
2s OmittingTypes
OmittingTypes
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #11: completed by anishrajeev
Skipped
Skipped
Update Mathlib/ModelTheory/Topology/Types.lean continuous integration #11: Commit 5f9cf53 pushed by anishrajeev
1s OmittingTypes
OmittingTypes
1s
Update Mathlib/ModelTheory/Topology/Types.lean Run pre-commit and in-place update PR on push #11: Commit 5f9cf53 pushed by anishrajeev
24s OmittingTypes
OmittingTypes
24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #10: completed by anishrajeev
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9: completed by anishrajeev
1s
1s
Update Mathlib/ModelTheory/Topology/Types.lean continuous integration #10: Commit 0a7ec16 pushed by anishrajeev
1s OmittingTypes
OmittingTypes
1s
Update Mathlib/ModelTheory/Topology/Types.lean Run pre-commit and in-place update PR on push #10: Commit 0a7ec16 pushed by anishrajeev
28s OmittingTypes
OmittingTypes
28s
Update Mathlib/ModelTheory/Topology/Types.lean continuous integration #9: Commit d367fa2 pushed by anishrajeev
9s OmittingTypes
OmittingTypes
9s
Update Mathlib/ModelTheory/Topology/Types.lean Run pre-commit and in-place update PR on push #9: Commit d367fa2 pushed by anishrajeev
28s OmittingTypes
OmittingTypes
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by anishrajeev
1s
1s
Update Mathlib/ModelTheory/Topology/Types.lean continuous integration #8: Commit 1931e78 pushed by anishrajeev
1s OmittingTypes
OmittingTypes
1s
Update Mathlib/ModelTheory/Topology/Types.lean Run pre-commit and in-place update PR on push #8: Commit 1931e78 pushed by anishrajeev
22s OmittingTypes
OmittingTypes
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by anishrajeev
1s
1s
Update Mathlib/ModelTheory/Topology/Types.lean continuous integration #7: Commit b83ccc7 pushed by anishrajeev
1s OmittingTypes
OmittingTypes
1s
Update Mathlib/ModelTheory/Topology/Types.lean Run pre-commit and in-place update PR on push #7: Commit b83ccc7 pushed by anishrajeev
24s OmittingTypes
OmittingTypes
24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by anishrajeev
1s
1s
Update Mathlib/ModelTheory/Topology/Types.lean continuous integration #6: Commit 5f96dfb pushed by anishrajeev
Skipped OmittingTypes
OmittingTypes
Skipped
Update Mathlib/ModelTheory/Topology/Types.lean Run pre-commit and in-place update PR on push #6: Commit 5f96dfb pushed by anishrajeev
34s OmittingTypes
OmittingTypes
34s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by anishrajeev
3s
3s
Merge branch 'master' into OmittingTypes Run pre-commit and in-place update PR on push #5: Commit 7beaf34 pushed by anishrajeev
31s OmittingTypes
OmittingTypes
31s
Merge branch 'master' into OmittingTypes continuous integration #5: Commit 7beaf34 pushed by anishrajeev
4s OmittingTypes
OmittingTypes
4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by anishrajeev
1s
1s