Skip to content

Actions: leanprover/lean4

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
feat: support libuv finalization before task_manager Adaptation PR #3582: Pull request #14202 synchronize by algebraic-dev
1s
1s
feat: support libuv finalization before task_manager Check PR body for changelog convention #49719: Pull request #14202 synchronize by algebraic-dev
8s
8s
feat: support libuv finalization before task_manager Check stdlib_flags.h modifications #14228: Pull request #14202 synchronize by algebraic-dev
In progress
In progress
spike: flexible induction target indices Check PR body for changelog convention #49718: Pull request #15110 edited by datokrat
7s
7s
spike: flexible induction target indices Adaptation PR #3581: Pull request #15110 edited by datokrat
1m 1s
1m 1s
spike: flexible induction target indices Check PR title for commit convention #48635: Pull request #15110 edited by datokrat
6s datokrat:flexindtargets
datokrat:flexindtargets
6s
spike: flexible induction target indices CI #63021: Pull request #15110 opened by datokrat
In progress datokrat:flexindtargets
datokrat:flexindtargets
In progress
spike: flexible induction target indices Check for empty PR #6988: Pull request #15110 opened by datokrat
1m 2s datokrat:flexindtargets
datokrat:flexindtargets
1m 2s
spike: flexible induction target indices Check for copyright header #30530: Pull request #15110 opened by datokrat
1m 14s datokrat:flexindtargets
datokrat:flexindtargets
1m 14s
spike: flexible induction target indices Check for modules that should use `prelude` #30374: Pull request #15110 opened by datokrat
13s datokrat:flexindtargets
datokrat:flexindtargets
13s
spike: flexible induction target indices Check PR title for commit convention #48634: Pull request #15110 opened by datokrat
9s datokrat:flexindtargets
datokrat:flexindtargets
9s
spike: flexible induction target indices Check for stage0 changes #37732: Pull request #15110 opened by datokrat
1m 4s datokrat:flexindtargets
datokrat:flexindtargets
1m 4s
spike: flexible induction target indices Check PR body for changelog convention #49717: Pull request #15110 opened by datokrat
8s
8s
spike: flexible induction target indices Check stdlib_flags.h modifications #14227: Pull request #15110 opened by datokrat
8s
8s
test toolchain: stricter check for dsimp lemmas Check stdlib_flags.h modifications #14226: Pull request #15109 opened by datokrat
6s
6s
test toolchain: stricter check for dsimp lemmas Check PR body for changelog convention #49716: Pull request #15109 opened by datokrat
9s
9s
feat: erased declarations in do notation Label PR based on Comment #30756: Issue comment #15090 (comment) created by downstream-lean4 Bot
1s
1s
Grove Grove #25890: completed by sgraf812
31s
31s
PR release PR release #54402: completed by sgraf812
6m 31s
6m 31s
PR release PR release #54401: completed by github-merge-queue Bot
1s
1s
Grove Grove #25889: completed by github-merge-queue Bot
2m 8s
2m 8s
feat: erased declarations in do notation CI #63020: Pull request #15090 synchronize by sgraf812
42m 21s sg/ghost-do
sg/ghost-do
42m 21s
feat: erased declarations in do notation Check for copyright header #30529: Pull request #15090 synchronize by sgraf812
1m 11s sg/ghost-do
sg/ghost-do
1m 11s
feat: erased declarations in do notation Check for stage0 changes #37731: Pull request #15090 synchronize by sgraf812
1m 9s sg/ghost-do
sg/ghost-do
1m 9s
feat: erased declarations in do notation Check PR title for commit convention #48633: Pull request #15090 synchronize by sgraf812
21s sg/ghost-do
sg/ghost-do
21s