Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
113,650 workflow runs
113,650 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: lake: v4.16.0-rc1 trace issues Label PR based on Comment #9137: Issue comment #6627 (comment) created by kim-em
January 13, 2025 13:51 2s
January 13, 2025 13:51 2s
PR release PR release #17165: completed by hargoniX
January 13, 2025 13:44 3s
January 13, 2025 13:44 3s
fix: Windows stage0 linking CI #26538: Pull request #6622 synchronize by hargoniX
January 13, 2025 13:43 In progress hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 13:43 In progress
fix: Windows stage0 linking Nix CI #23241: Pull request #6622 synchronize by hargoniX
January 13, 2025 13:43 3m 38s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 13:43 3m 38s
fix: Windows stage0 linking Check PR title for commit convention #13751: Pull request #6622 synchronize by hargoniX
January 13, 2025 13:43 10s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 13:43 10s
fix: Windows stage0 linking Check PR body for changelog convention #3303: Pull request #6622 synchronize by hargoniX
January 13, 2025 13:43 11s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 13:43 11s
fix: Windows stage0 linking Check for modules that should use `prelude` #7515: Pull request #6622 synchronize by hargoniX
January 13, 2025 13:43 16s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 13:43 16s
fix: Windows stage0 linking Check for stage0 changes #8283: Pull request #6622 synchronize by hargoniX
January 13, 2025 13:43 38s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 13:43 38s
fix: Windows stage0 linking Check for copyright header #7670: Pull request #6622 synchronize by hargoniX
January 13, 2025 13:43 35s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 13:43 35s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Check for modules that should use `prelude` #7514: Pull request #6628 opened by luisacicolini
January 13, 2025 13:35 17s opencompl:smtlib-overflow-defs
opencompl:smtlib-overflow-defs
January 13, 2025 13:35 17s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Check PR title for commit convention #13750: Pull request #6628 opened by luisacicolini
January 13, 2025 13:35 13s opencompl:smtlib-overflow-defs
opencompl:smtlib-overflow-defs
January 13, 2025 13:35 13s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Check for stage0 changes #8282: Pull request #6628 opened by luisacicolini
January 13, 2025 13:35 38s opencompl:smtlib-overflow-defs
opencompl:smtlib-overflow-defs
January 13, 2025 13:35 38s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Check for copyright header #7669: Pull request #6628 opened by luisacicolini
January 13, 2025 13:35 33s opencompl:smtlib-overflow-defs
opencompl:smtlib-overflow-defs
January 13, 2025 13:35 33s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Nix CI #23240: Pull request #6628 opened by luisacicolini
January 13, 2025 13:35 13m 46s opencompl:smtlib-overflow-defs
opencompl:smtlib-overflow-defs
January 13, 2025 13:35 13m 46s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) CI #26537: Pull request #6628 opened by luisacicolini
January 13, 2025 13:35 In progress opencompl:smtlib-overflow-defs
opencompl:smtlib-overflow-defs
January 13, 2025 13:35 In progress
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Check PR body for changelog convention #3302: Pull request #6628 opened by luisacicolini
January 13, 2025 13:35 11s opencompl:smtlib-overflow-defs
opencompl:smtlib-overflow-defs
January 13, 2025 13:35 11s
PR release PR release #17164: completed by hargoniX
January 13, 2025 13:28 3m 1s
January 13, 2025 13:28 3m 1s
PR release PR release #17163: completed by datokrat
January 13, 2025 13:22 3m 18s
January 13, 2025 13:22 3m 18s
PR release PR release #17162: completed by tydeu
January 13, 2025 13:21 4m 32s
January 13, 2025 13:21 4m 32s
PR release PR release #17161: completed by hargoniX
January 13, 2025 13:13 2s
January 13, 2025 13:13 2s
Actionlint Actionlint #3223: Merge group checks requested
January 13, 2025 13:13 30s
January 13, 2025 13:13 30s
Check PR body for changelog convention Check PR body for changelog convention #3301: Merge group checks requested
January 13, 2025 13:13 10s
January 13, 2025 13:13 10s
Nix CI Nix CI #23239: Merge group checks requested
January 13, 2025 13:13 13m 30s
January 13, 2025 13:13 13m 30s
Check PR title for commit convention Check PR title for commit convention #13749: Merge group checks requested
January 13, 2025 13:13 10s
January 13, 2025 13:13 10s
Check for stage0 changes Check for stage0 changes #8281: Merge group checks requested
January 13, 2025 13:13 34s
January 13, 2025 13:13 34s