Skip to content

Actions: leanprover/lean4

Actions

Check for stage0 changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-stage0.yml
9,578 workflow runs
9,578 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: TCP socket support using LibUV Check for stage0 changes #9582: Pull request #6683 synchronize by algebraic-dev
February 7, 2025 23:52 45s algebraic-dev:tcp-socket
algebraic-dev:tcp-socket
February 7, 2025 23:52 45s
feat: TCP socket support using LibUV Check for stage0 changes #9581: Pull request #6683 synchronize by algebraic-dev
February 7, 2025 23:50 53s algebraic-dev:tcp-socket
algebraic-dev:tcp-socket
February 7, 2025 23:50 53s
feat: TCP socket support using LibUV Check for stage0 changes #9580: Pull request #6683 synchronize by algebraic-dev
February 7, 2025 23:28 53s algebraic-dev:tcp-socket
algebraic-dev:tcp-socket
February 7, 2025 23:28 53s
Check for stage0 changes Check for stage0 changes #9579: Merge group checks requested
February 7, 2025 22:43 42s
February 7, 2025 22:43 42s
feat: exact? in try? Check for stage0 changes #9578: Pull request #6995 opened by leodemoura
February 7, 2025 22:23 50s try_exact_trace
try_exact_trace
February 7, 2025 22:23 50s
Check for stage0 changes Check for stage0 changes #9577: Merge group checks requested
February 7, 2025 19:17 43s
February 7, 2025 19:17 43s
Check for stage0 changes Check for stage0 changes #9576: Merge group checks requested
February 7, 2025 18:18 41s
February 7, 2025 18:18 41s
feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] Check for stage0 changes #9575: Pull request #6792 synchronize by luisacicolini
February 7, 2025 18:16 50s opencompl:extractlsb-msb
opencompl:extractlsb-msb
February 7, 2025 18:16 50s
feat: compress try? suggestions Check for stage0 changes #9574: Pull request #6994 opened by leodemoura
February 7, 2025 17:47 43s try_compress
try_compress
February 7, 2025 17:47 43s
fix: prevent compiler crash in casesOn optimization Check for stage0 changes #9573: Pull request #6993 opened by Rob23oba
February 7, 2025 17:44 48s Rob23oba:compiler-caseson-fix
Rob23oba:compiler-caseson-fix
February 7, 2025 17:44 48s
feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] Check for stage0 changes #9572: Pull request #6792 synchronize by luisacicolini
February 7, 2025 17:24 48s opencompl:extractlsb-msb
opencompl:extractlsb-msb
February 7, 2025 17:24 48s
feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] Check for stage0 changes #9571: Pull request #6792 synchronize by luisacicolini
February 7, 2025 17:24 42s opencompl:extractlsb-msb
opencompl:extractlsb-msb
February 7, 2025 17:24 42s
feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] Check for stage0 changes #9570: Pull request #6792 synchronize by luisacicolini
February 7, 2025 17:24 49s opencompl:extractlsb-msb
opencompl:extractlsb-msb
February 7, 2025 17:24 49s
feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] Check for stage0 changes #9569: Pull request #6792 synchronize by luisacicolini
February 7, 2025 17:22 42s opencompl:extractlsb-msb
opencompl:extractlsb-msb
February 7, 2025 17:22 42s
Check for stage0 changes Check for stage0 changes #9568: Merge group checks requested
February 7, 2025 16:50 41s
February 7, 2025 16:50 41s
Check for stage0 changes Check for stage0 changes #9567: Merge group checks requested
February 7, 2025 16:33 44s
February 7, 2025 16:33 44s
feat: parallel progress notifications Check for stage0 changes #9566: Pull request #6329 synchronize by Kha
February 7, 2025 16:27 45s Kha:push-vorkpouuxruv
Kha:push-vorkpouuxruv
February 7, 2025 16:27 45s
feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] Check for stage0 changes #9565: Pull request #6792 synchronize by luisacicolini
February 7, 2025 16:24 50s opencompl:extractlsb-msb
opencompl:extractlsb-msb
February 7, 2025 16:24 50s
Check for stage0 changes Check for stage0 changes #9564: Merge group checks requested
February 7, 2025 16:12 44s
February 7, 2025 16:12 44s
feat: improve try? suggestion Check for stage0 changes #9563: Pull request #6991 opened by leodemoura
February 7, 2025 16:06 48s try_same_kind
try_same_kind
February 7, 2025 16:06 48s
Check for stage0 changes Check for stage0 changes #9562: Merge group checks requested
February 7, 2025 15:55 46s
February 7, 2025 15:55 46s
chore: re-enable Elab.async in the server Check for stage0 changes #9561: Pull request #6990 synchronize by Kha
February 7, 2025 15:51 47s Kha:push-vwmsksyuqrwz
Kha:push-vwmsksyuqrwz
February 7, 2025 15:51 47s
fix: convert kernel interrupt into elab interrupt Check for stage0 changes #9560: Pull request #6988 synchronize by Kha
February 7, 2025 15:38 54s Kha:push-xoryvkvswyyn
Kha:push-xoryvkvswyyn
February 7, 2025 15:38 54s
feat: parallel progress notifications Check for stage0 changes #9559: Pull request #6329 synchronize by Kha
February 7, 2025 15:35 47s Kha:push-vorkpouuxruv
Kha:push-vorkpouuxruv
February 7, 2025 15:35 47s
Check for stage0 changes Check for stage0 changes #9558: Merge group checks requested
February 7, 2025 15:33 43s
February 7, 2025 15:33 43s