Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
89,674 workflow runs
89,674 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: deprecate Array.modifyOp Label PR based on Comment #7645: Issue comment #5797 (comment) created by kim-em
October 28, 2024 01:13 2s
October 28, 2024 01:13 2s
chore: deprecate Array.modifyOp Backport #4811: Pull request #5797 closed by kim-em
October 28, 2024 01:13 2s
October 28, 2024 01:13 2s
feat: preserve binder names in signatures Check PR title for commit convention #10762: Pull request #5827 edited by kmill
October 28, 2024 01:11 8s kmill:fix_5810
kmill:fix_5810
October 28, 2024 01:11 8s
feat: preserve binder names in signatures Check PR title for commit convention #10761: Pull request #5827 edited by kmill
October 28, 2024 01:09 8s kmill:fix_5810
kmill:fix_5810
October 28, 2024 01:09 8s
feat: preserve binder names in signatures Check PR title for commit convention #10760: Pull request #5827 synchronize by kmill
October 28, 2024 01:05 1m 22s kmill:fix_5810
kmill:fix_5810
October 28, 2024 01:05 1m 22s
feat: preserve binder names in signatures Check for copyright header #5806: Pull request #5827 synchronize by kmill
October 28, 2024 01:05 27s kmill:fix_5810
kmill:fix_5810
October 28, 2024 01:05 27s
feat: preserve binder names in signatures CI #23395: Pull request #5827 synchronize by kmill
October 28, 2024 01:05 In progress kmill:fix_5810
kmill:fix_5810
October 28, 2024 01:05 In progress
feat: preserve binder names in signatures Nix CI #20186: Pull request #5827 synchronize by kmill
October 28, 2024 01:05 In progress kmill:fix_5810
kmill:fix_5810
October 28, 2024 01:05 In progress
feat: preserve binder names in signatures Check for modules that should use `prelude` #5651: Pull request #5827 synchronize by kmill
October 28, 2024 01:05 1m 29s kmill:fix_5810
kmill:fix_5810
October 28, 2024 01:05 1m 29s
feat: preserve binder names in signatures Check for stage0 changes #5796: Pull request #5827 synchronize by kmill
October 28, 2024 01:05 1m 44s kmill:fix_5810
kmill:fix_5810
October 28, 2024 01:05 1m 44s
feat: record all structure parents in StructureInfo Restart by label #1552: Pull request #5853 labeled by leanprover-community-bot
October 28, 2024 00:37 2s
October 28, 2024 00:37 2s
feat: record all structure parents in StructureInfo Backport #4810: Pull request #5853 labeled by leanprover-community-bot
October 28, 2024 00:37 2s
October 28, 2024 00:37 2s
PR release PR release #13970: completed by kmill
October 27, 2024 23:56 4m 48s
October 27, 2024 23:56 4m 48s
PR release PR release #13969: completed by github-merge-queue bot
October 27, 2024 23:41 2s
October 27, 2024 23:41 2s
feat: record all structure parents in StructureInfo Check for modules that should use `prelude` #5650: Pull request #5853 synchronize by kmill
October 27, 2024 23:36 1m 8s kmill:record_parents
kmill:record_parents
October 27, 2024 23:36 1m 8s
feat: record all structure parents in StructureInfo Check for stage0 changes #5795: Pull request #5853 synchronize by kmill
October 27, 2024 23:36 1m 52s kmill:record_parents
kmill:record_parents
October 27, 2024 23:36 1m 52s
feat: record all structure parents in StructureInfo Nix CI #20185: Pull request #5853 synchronize by kmill
October 27, 2024 23:36 22m 32s kmill:record_parents
kmill:record_parents
October 27, 2024 23:36 22m 32s
feat: record all structure parents in StructureInfo CI #23394: Pull request #5853 synchronize by kmill
October 27, 2024 23:36 19m 33s kmill:record_parents
kmill:record_parents
October 27, 2024 23:36 19m 33s
feat: record all structure parents in StructureInfo Check PR title for commit convention #10759: Pull request #5853 synchronize by kmill
October 27, 2024 23:36 7s kmill:record_parents
kmill:record_parents
October 27, 2024 23:36 7s
feat: record all structure parents in StructureInfo Check for copyright header #5805: Pull request #5853 synchronize by kmill
October 27, 2024 23:36 1m 50s kmill:record_parents
kmill:record_parents
October 27, 2024 23:36 1m 50s
feat: make it possible to use dot notation in m! strings Backport #4809: Pull request #5857 closed by kmill
October 27, 2024 23:19 1m 24s
October 27, 2024 23:19 1m 24s
feat: make it possible to use dot notation in m! strings (#5857) Nix CI #20184: Commit 709ea6c pushed by github-merge-queue bot
October 27, 2024 23:19 18m 54s master
master
October 27, 2024 23:19 18m 54s
feat: make it possible to use dot notation in m! strings (#5857) Update stage0 #1976: Commit 709ea6c pushed by github-merge-queue bot
October 27, 2024 23:19 1m 37s master
master
October 27, 2024 23:19 1m 37s
feat: make it possible to use dot notation in m! strings (#5857) CI #23393: Commit 709ea6c pushed by github-merge-queue bot
October 27, 2024 23:19 22m 34s master
master
October 27, 2024 23:19 22m 34s
PR release PR release #13968: completed by kmill
October 27, 2024 23:19 1s
October 27, 2024 23:19 1s