Skip to content

Actions: leanprover-community/mathlib4

Actions

Check workflows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
2,660 workflow runs
2,660 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: adaptations for nightly-2025-01-29 Check workflows #2662: Pull request #21245 opened by kim-em
January 30, 2025 01:02 18s bump/nightly-2025-01-29
bump/nightly-2025-01-29
January 30, 2025 01:02 18s
[Merged by Bors] - fix(CI): remove also maintainer-merge label on bors <x> Check workflows #2661: Pull request #21211 opened by adomani
January 29, 2025 08:02 19s adomani/bors_removes_labels
adomani/bors_removes_labels
January 29, 2025 08:02 19s
[Merged by Bors] - fix(CI): use Elab.async=false for late importers workflow Check workflows #2660: Pull request #21147 synchronize by adomani
January 27, 2025 23:25 18s adomani/elab_async_also_in_late_importers
adomani/elab_async_also_in_late_importers
January 27, 2025 23:25 18s
[Merged by Bors] - fix(CI): use Elab.async=false for late importers workflow Check workflows #2659: Pull request #21147 synchronize by adomani
January 27, 2025 23:21 20s adomani/elab_async_also_in_late_importers
adomani/elab_async_also_in_late_importers
January 27, 2025 23:21 20s
[Merged by Bors] - fix(CI): use Elab.async=false for late importers workflow Check workflows #2658: Pull request #21147 synchronize by adomani
January 27, 2025 23:19 24s adomani/elab_async_also_in_late_importers
adomani/elab_async_also_in_late_importers
January 27, 2025 23:19 24s
[Merged by Bors] - fix(CI): use Elab.async=false for late importers workflow Check workflows #2657: Pull request #21147 synchronize by adomani
January 27, 2025 23:00 21s adomani/elab_async_also_in_late_importers
adomani/elab_async_also_in_late_importers
January 27, 2025 23:00 21s
[Merged by Bors] - fix(CI): use Elab.async=false for late importers workflow Check workflows #2656: Pull request #21147 opened by adomani
January 27, 2025 22:56 19s adomani/elab_async_also_in_late_importers
adomani/elab_async_also_in_late_importers
January 27, 2025 22:56 19s
[Merged by Bors] - chore: adaptations for nightly-2025-01-27 Check workflows #2655: Pull request #21124 opened by kim-em
January 27, 2025 11:25 23s bump/nightly-2025-01-27
bump/nightly-2025-01-27
January 27, 2025 11:25 23s
[Merged by Bors] - chore: adaptations for nightly-2025-01-24 Check workflows #2654: Pull request #21042 opened by jcommelin
January 25, 2025 06:11 20s bump/nightly-2025-01-24
bump/nightly-2025-01-24
January 25, 2025 06:11 20s
chore: adaptations for nightly-2025-01-23 Check workflows #2653: Pull request #21017 opened by jcommelin
January 24, 2025 08:38 18s bump/nightly-2025-01-23
bump/nightly-2025-01-23
January 24, 2025 08:38 18s
test: removed merge-conflict Check workflows #2652: Pull request #19464 synchronize by adomani
January 22, 2025 20:05 21s adomani/fix_bors_zulip_action
adomani/fix_bors_zulip_action
January 22, 2025 20:05 21s
[Merged by Bors] - feat(CI): manage merge-conflict label on push Check workflows #2651: Pull request #20961 synchronize by adomani
January 22, 2025 19:55 24s adomani/add_remove_merge_conflict_label_in_ci
adomani/add_remove_merge_conflict_label_in_ci
January 22, 2025 19:55 24s
[Merged by Bors] - feat(CI): manage merge-conflict label on push Check workflows #2650: Pull request #20961 synchronize by adomani
January 22, 2025 19:54 20s adomani/add_remove_merge_conflict_label_in_ci
adomani/add_remove_merge_conflict_label_in_ci
January 22, 2025 19:54 20s
[Merged by Bors] - feat(CI): manage merge-conflict label on push Check workflows #2649: Pull request #20961 synchronize by adomani
January 22, 2025 19:49 25s adomani/add_remove_merge_conflict_label_in_ci
adomani/add_remove_merge_conflict_label_in_ci
January 22, 2025 19:49 25s
[Merged by Bors] - feat(CI): manage merge-conflict label on push Check workflows #2648: Pull request #20961 synchronize by adomani
January 22, 2025 19:46 22s adomani/add_remove_merge_conflict_label_in_ci
adomani/add_remove_merge_conflict_label_in_ci
January 22, 2025 19:46 22s
[Merged by Bors] - feat(CI): manage merge-conflict label on push Check workflows #2647: Pull request #20961 synchronize by adomani
January 22, 2025 19:41 19s adomani/add_remove_merge_conflict_label_in_ci
adomani/add_remove_merge_conflict_label_in_ci
January 22, 2025 19:41 19s
[Merged by Bors] - feat(CI): manage merge-conflict label on push Check workflows #2646: Pull request #20961 synchronize by adomani
January 22, 2025 19:37 25s adomani/add_remove_merge_conflict_label_in_ci
adomani/add_remove_merge_conflict_label_in_ci
January 22, 2025 19:37 25s
[Merged by Bors] - feat(CI): manage merge-conflict label on push Check workflows #2645: Pull request #20961 opened by adomani
January 22, 2025 19:29 24s adomani/add_remove_merge_conflict_label_in_ci
adomani/add_remove_merge_conflict_label_in_ci
January 22, 2025 19:29 24s
[Merged by Bors] - chore: adaptations for nightly-2025-01-22 Check workflows #2644: Pull request #20943 opened by jcommelin
January 22, 2025 09:41 20s bump/nightly-2025-01-22
bump/nightly-2025-01-22
January 22, 2025 09:41 20s
[Merged by Bors] - feat(CI): remove :closed-pr: reaction, if PR is reopened Check workflows #2643: Pull request #20926 synchronize by adomani
January 22, 2025 06:49 18s adomani/remove_closed_pr_reaction
adomani/remove_closed_pr_reaction
January 22, 2025 06:49 18s
[Merged by Bors] - feat(Order/Nucleus): Nucleus Check workflows #2642: Pull request #19440 synchronize by YaelDillies
January 21, 2025 21:30 26s Nucleus
Nucleus
January 21, 2025 21:30 26s
[Merged by Bors] - feat(CI): remove :closed-pr: reaction, if PR is reopened Check workflows #2641: Pull request #20926 opened by adomani
January 21, 2025 21:24 20s adomani/remove_closed_pr_reaction
adomani/remove_closed_pr_reaction
January 21, 2025 21:24 20s
[Merged by Bors] - feat(Order/Nucleus): Nucleus Check workflows #2640: Pull request #19440 synchronize by Bergschaf
January 21, 2025 21:06 29s Nucleus
Nucleus
January 21, 2025 21:06 29s
[Merged by Bors] - chore(CI): remove issue_number from :closed-pr: action Check workflows #2639: Pull request #20925 opened by adomani
January 21, 2025 21:03 21s adomani/closed_pr_action_remove_issue_number
adomani/closed_pr_action_remove_issue_number
January 21, 2025 21:03 21s
[Merged by Bors] - feat(CI): Zulip :closed-pr: emoji reaction Check workflows #2638: Pull request #20902 synchronize by adomani
January 21, 2025 17:11 1m 53s adomani/zulip_reaction_closed_pr
adomani/zulip_reaction_closed_pr
January 21, 2025 17:11 1m 53s