Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
16,407 workflow runs
16,407 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: UIntX.toBitVec lemmas (#6625) CI #26548: Commit 734fca7 pushed by github-merge-queue bot
January 13, 2025 15:04 31m 35s master
master
January 13, 2025 15:04 31m 35s
feat: Draft of alter/modify lemmas CI #26547: Pull request #6620 synchronize by datokrat
January 13, 2025 15:04 3m 55s paul/alter-lemmas
paul/alter-lemmas
January 13, 2025 15:04 3m 55s
fix: Windows stage0 linking CI #26546: Pull request #6622 synchronize by hargoniX
January 13, 2025 14:56 13m 5s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 14:56 13m 5s
feat: Draft of alter/modify lemmas CI #26545: Pull request #6620 synchronize by datokrat
January 13, 2025 14:53 10m 33s paul/alter-lemmas
paul/alter-lemmas
January 13, 2025 14:53 10m 33s
fix: lake: v4.16.0-rc1 trace issues (#6627) CI #26544: Commit a6eea4b pushed by github-merge-queue bot
January 13, 2025 14:44 20m 0s master
master
January 13, 2025 14:44 20m 0s
fix: Windows stage0 linking CI #26543: Pull request #6622 synchronize by hargoniX
January 13, 2025 14:39 17m 3s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 14:39 17m 3s
CI CI #26542: Merge group checks requested
January 13, 2025 14:33 30m 12s
January 13, 2025 14:33 30m 12s
fix: Windows stage0 linking CI #26541: Pull request #6622 synchronize by hargoniX
January 13, 2025 14:23 16m 50s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 14:23 16m 50s
CI CI #26540: Merge group checks requested
January 13, 2025 14:16 28m 3s
January 13, 2025 14:16 28m 3s
fix: Windows stage0 linking CI #26539: Pull request #6622 synchronize by hargoniX
January 13, 2025 13:54 21m 14s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 13:54 21m 14s
fix: Windows stage0 linking CI #26538: Pull request #6622 synchronize by hargoniX
January 13, 2025 13:43 12m 1s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 13:43 12m 1s
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 23m 40s opencompl:smtlib-overflow-defs
opencompl:smtlib-overflow-defs
January 13, 2025 13:35 23m 40s
CI CI #26536: Merge group checks requested
January 13, 2025 13:13 31m 23s
January 13, 2025 13:13 31m 23s
feat: faster, linear HashMap.alter and modify CI #26535: Pull request #6573 synchronize by datokrat
January 13, 2025 12:59 22m 54s paul/alter-alter
paul/alter-alter
January 13, 2025 12:59 22m 54s
fix: lake: v4.16.0-rc1 trace issues CI #26534: Pull request #6627 synchronize by tydeu
January 13, 2025 12:53 27m 49s tydeu:lake/fix-trace-issues
tydeu:lake/fix-trace-issues
January 13, 2025 12:53 27m 49s
CI CI #26533: Merge group checks requested
January 13, 2025 12:47 25m 29s
January 13, 2025 12:47 25m 29s
feat: faster, linear HashMap.alter and modify CI #26532: Pull request #6573 synchronize by datokrat
January 13, 2025 12:46 11m 18s paul/alter-alter
paul/alter-alter
January 13, 2025 12:46 11m 18s
feat: faster, linear HashMap.alter and modify CI #26531: Pull request #6573 synchronize by datokrat
January 13, 2025 12:43 2m 58s paul/alter-alter
paul/alter-alter
January 13, 2025 12:43 2m 58s
fix: lake: v4.16.0-rc1 trace issues CI #26530: Pull request #6627 opened by tydeu
January 13, 2025 12:35 18m 23s tydeu:lake/fix-trace-issues
tydeu:lake/fix-trace-issues
January 13, 2025 12:35 18m 23s
feat: UIntX.toBitVec lemmas CI #26529: Pull request #6625 synchronize by hargoniX
January 13, 2025 12:23 23m 40s hbv/uintx-to-bitvec
hbv/uintx-to-bitvec
January 13, 2025 12:23 23m 40s
feat: implement basic async IO with timers CI #26528: Pull request #6505 synchronize by hargoniX
January 13, 2025 12:05 1h 23m 40s ft-async
ft-async
January 13, 2025 12:05 1h 23m 40s
feat: UIntX.toBitVec lemmas CI #26527: Pull request #6625 synchronize by hargoniX
January 13, 2025 12:01 11m 45s hbv/uintx-to-bitvec
hbv/uintx-to-bitvec
January 13, 2025 12:01 11m 45s
feat: partial_fixpoint: partial functions with equations CI #26526: Pull request #6355 synchronize by nomeata
January 13, 2025 11:53 23m 30s joachim/tailrec
joachim/tailrec
January 13, 2025 11:53 23m 30s
fix: adjustments to the datetime library (#6431) CI #26525: Commit 8483ac7 pushed by github-merge-queue bot
January 13, 2025 11:29 29m 10s master
master
January 13, 2025 11:29 29m 10s
fix: trace indentation in info view (#6597) CI #26524: Commit 5f41cc7 pushed by github-merge-queue bot
January 13, 2025 11:04 25m 5s master
master
January 13, 2025 11:04 25m 5s