Skip to content

Actions: mkaratarakis/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,648 workflow runs
9,648 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update nolints update nolints #10: Scheduled
August 18, 2024 01:23 17m 26s master
master
August 18, 2024 01:23 17m 26s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #61: Scheduled
August 12, 2024 10:19 10s master
master
August 12, 2024 10:19 10s
Weekly Technical Debt Counters Weekly Technical Debt Counters #9: Scheduled
August 12, 2024 04:11 20s master
master
August 12, 2024 04:11 20s
lean4checker Workflow lean4checker Workflow #61: Scheduled
August 12, 2024 00:53 1d 12h 37m 26s master
master
August 12, 2024 00:53 1d 12h 37m 26s
Merge master to nightly Merge master to nightly #481: Scheduled
August 11, 2024 15:36 13s master
master
August 11, 2024 15:36 13s
Dependent Issues Dependent Issues #4181: Scheduled
August 11, 2024 13:36 12s master
master
August 11, 2024 13:36 12s
Merge conflicts Merge conflicts #4841: Scheduled
August 11, 2024 13:26 13s master
master
August 11, 2024 13:26 13s
Dependent Issues Dependent Issues #4180: Scheduled
August 11, 2024 13:22 12s master
master
August 11, 2024 13:22 12s
Merge conflicts Merge conflicts #4840: Scheduled
August 11, 2024 13:12 15s master
master
August 11, 2024 13:12 15s
Dependent Issues Dependent Issues #4179: Scheduled
August 11, 2024 12:59 12s master
master
August 11, 2024 12:59 12s
Merge master to nightly Merge master to nightly #480: Scheduled
August 11, 2024 12:51 11s master
master
August 11, 2024 12:51 11s
Merge conflicts Merge conflicts #4839: Scheduled
August 11, 2024 12:49 10s master
master
August 11, 2024 12:49 10s
Dependent Issues Dependent Issues #4178: Scheduled
August 11, 2024 12:30 12s master
master
August 11, 2024 12:30 12s
Merge conflicts Merge conflicts #4838: Scheduled
August 11, 2024 12:20 12s master
master
August 11, 2024 12:20 12s
Dependent Issues Dependent Issues #4177: Scheduled
August 11, 2024 11:51 11s master
master
August 11, 2024 11:51 11s
Merge conflicts Merge conflicts #4837: Scheduled
August 11, 2024 11:48 13s master
master
August 11, 2024 11:48 13s
Dependent Issues Dependent Issues #4176: Scheduled
August 11, 2024 11:36 13s master
master
August 11, 2024 11:36 13s
Merge conflicts Merge conflicts #4836: Scheduled
August 11, 2024 11:34 10s master
master
August 11, 2024 11:34 10s
Dependent Issues Dependent Issues #4175: Scheduled
August 11, 2024 11:23 14s master
master
August 11, 2024 11:23 14s
Merge conflicts Merge conflicts #4835: Scheduled
August 11, 2024 11:20 12s master
master
August 11, 2024 11:20 12s
Dependent Issues Dependent Issues #4174: Scheduled
August 11, 2024 11:12 12s master
master
August 11, 2024 11:12 12s
Merge conflicts Merge conflicts #4834: Scheduled
August 11, 2024 11:09 11s master
master
August 11, 2024 11:09 11s
Dependent Issues Dependent Issues #4173: Scheduled
August 11, 2024 10:51 14s master
master
August 11, 2024 10:51 14s
Merge conflicts Merge conflicts #4833: Scheduled
August 11, 2024 10:48 11s master
master
August 11, 2024 10:48 11s
Merge conflicts Merge conflicts #4832: Scheduled
August 11, 2024 10:38 10s master
master
August 11, 2024 10:38 10s