Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
673,320 workflow run results
673,320 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #55534: Scheduled
July 29, 2024 23:48 15s master
master
July 29, 2024 23:48 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #69547: completed by grunweg
July 29, 2024 23:46 2s
July 29, 2024 23:46 2s
Dependent Issues Dependent Issues #56471: Scheduled
July 29, 2024 23:46 13s master
master
July 29, 2024 23:46 13s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #69546: completed by mattrobball
July 29, 2024 23:34 2s
July 29, 2024 23:34 2s
Merge conflicts Merge conflicts #55533: Scheduled
July 29, 2024 23:34 13s master
master
July 29, 2024 23:34 13s
Dependent Issues Dependent Issues #56470: Scheduled
July 29, 2024 23:31 3m 2s master
master
July 29, 2024 23:31 3m 2s
Merge conflicts Merge conflicts #55532: Scheduled
July 29, 2024 23:21 15s master
master
July 29, 2024 23:21 15s
Dependent Issues Dependent Issues #56469: Scheduled
July 29, 2024 23:20 4m 3s master
master
July 29, 2024 23:20 4m 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #69545: completed by grunweg
July 29, 2024 23:06 2s
July 29, 2024 23:06 2s
Merge conflicts Merge conflicts #55531: Scheduled
July 29, 2024 23:05 16s master
master
July 29, 2024 23:05 16s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #69544: completed by grunweg
July 29, 2024 23:05 2s
July 29, 2024 23:05 2s
Update Mathlib Dependencies Update Mathlib Dependencies #1125: Scheduled
July 29, 2024 23:04 45s master
master
July 29, 2024 23:04 45s
Dependent Issues Dependent Issues #56468: Scheduled
July 29, 2024 23:02 2m 58s master
master
July 29, 2024 23:02 2m 58s
Maintainer merge (review) Maintainer merge (review) #42890: submitted by grunweg
July 29, 2024 23:00 1s
July 29, 2024 23:00 1s
Maintainer merge (review comment) Maintainer merge (review comment) #51583: created by grunweg
July 29, 2024 23:00 1s
July 29, 2024 23:00 1s
Maintainer merge (review comment) Maintainer merge (review comment) #51585: created by grunweg
July 29, 2024 23:00 2s
July 29, 2024 23:00 2s
Maintainer merge (review comment) Maintainer merge (review comment) #51584: created by grunweg
July 29, 2024 23:00 2s
July 29, 2024 23:00 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37651: submitted by grunweg
July 29, 2024 23:00 2s
July 29, 2024 23:00 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37650: submitted by grunweg
July 29, 2024 22:59 2s
July 29, 2024 22:59 2s
Maintainer merge (review) Maintainer merge (review) #42889: submitted by grunweg
July 29, 2024 22:59 14s
July 29, 2024 22:59 14s
feat: add Decidable linter Maintainer merge (comment) #54877: Issue comment #10235 (comment) edited by grunweg
July 29, 2024 22:58 2s
July 29, 2024 22:58 2s
feat: add Decidable linter Add "ready-to-merge" and "delegated" label from comment #50466: Issue comment #10235 (comment) created by grunweg
July 29, 2024 22:58 3s
July 29, 2024 22:58 3s
feat: add Decidable linter Label PR based on Comment #31156: Issue comment #10235 (comment) created by grunweg
July 29, 2024 22:58 2s
July 29, 2024 22:58 2s
feat: add Decidable linter Maintainer merge (comment) #54876: Issue comment #10235 (comment) created by grunweg
July 29, 2024 22:58 2s
July 29, 2024 22:58 2s
[Merged by Bors] - chore(Turan): remove superfluous DecidableEq assumption Label New Contributors #23960: Pull request #15280 opened by grunweg
July 29, 2024 22:57 16s MR-decidableq-turan
MR-decidableq-turan
July 29, 2024 22:57 16s