Skip to content

Actions: SnirBroshi/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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. #2049: completed by SnirBroshi
1s
1s
grind ext continuous integration #2050: Commit 5233ed2 pushed by SnirBroshi
1s feature/simple-graph/map-inl-map-inr
feature/simple-graph/map-inl-map-inr
1s
grind ext Run pre-commit and in-place update PR on push #2032: Commit 5233ed2 pushed by SnirBroshi
29s feature/simple-graph/map-inl-map-inr
feature/simple-graph/map-inl-map-inr
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2048: completed by SnirBroshi
1s
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… continuous integration #2049: Commit cb5d5de pushed by SnirBroshi
11s feature/logic/more-is-const
feature/logic/more-is-const
11s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Run pre-commit and in-place update PR on push #2031: Commit cb5d5de pushed by SnirBroshi
28s feature/logic/more-is-const
feature/logic/more-is-const
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2047: completed by SnirBroshi
10s
10s
surjective continuous integration #2048: Commit 44d8ee2 pushed by SnirBroshi
1s feature/logic/more-is-const
feature/logic/more-is-const
1s
surjective Run pre-commit and in-place update PR on push #2030: Commit 44d8ee2 pushed by SnirBroshi
28s feature/logic/more-is-const
feature/logic/more-is-const
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2046: completed by SnirBroshi
2s
2s
fix continuous integration #2047: Commit 7152241 pushed by SnirBroshi
1s feature/simple-graph/map-inl-map-inr
feature/simple-graph/map-inl-map-inr
1s
fix Run pre-commit and in-place update PR on push #2029: Commit 7152241 pushed by SnirBroshi
28s feature/simple-graph/map-inl-map-inr
feature/simple-graph/map-inl-map-inr
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2045: completed by SnirBroshi
10s
10s
@[grind .] continuous integration #2046: Commit 08be348 pushed by SnirBroshi
1s feature/simple-graph/hom-map-le
feature/simple-graph/hom-map-le
1s
@[grind .] Run pre-commit and in-place update PR on push #2028: Commit 08be348 pushed by SnirBroshi
22s feature/simple-graph/hom-map-le
feature/simple-graph/hom-map-le
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2044: completed by SnirBroshi
1s
1s
grind continuous integration #2045: Commit e3a17b9 pushed by SnirBroshi
1s feature/simple-graph/map-inl-map-inr
feature/simple-graph/map-inl-map-inr
1s
grind Run pre-commit and in-place update PR on push #2027: Commit e3a17b9 pushed by SnirBroshi
26s feature/simple-graph/map-inl-map-inr
feature/simple-graph/map-inl-map-inr
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2043: completed by SnirBroshi
1s
1s
Merge branch 'feature/relation/map-onfun-le-iff' into feature/simple-… continuous integration #2044: Commit 11cacce pushed by SnirBroshi
1s feature/simple-graph/map-bot-top-support
feature/simple-graph/map-bot-top-support
1s
Merge branch 'feature/relation/map-onfun-le-iff' into feature/simple-… Run pre-commit and in-place update PR on push #2026: Commit 11cacce pushed by SnirBroshi
28s feature/simple-graph/map-bot-top-support
feature/simple-graph/map-bot-top-support
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2042: completed by SnirBroshi
2s
2s
grind knows about Relation.Map continuous integration #2043: Commit fefe2c7 pushed by SnirBroshi
1s feature/relation/map-onfun-le-iff
feature/relation/map-onfun-le-iff
1s
grind knows about Relation.Map Run pre-commit and in-place update PR on push #2025: Commit fefe2c7 pushed by SnirBroshi
31s feature/relation/map-onfun-le-iff
feature/relation/map-onfun-le-iff
31s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2041: completed by SnirBroshi
1s
1s