Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
17,271 workflow runs
17,271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] CI #28353: Pull request #6792 synchronize by luisacicolini
February 11, 2025 12:50 13m 56s opencompl:extractlsb-msb
opencompl:extractlsb-msb
February 11, 2025 12:50 13m 56s
feat: tree map data structures and operations CI #28352: Pull request #6914 synchronize by datokrat
February 11, 2025 12:25 25m 57s paul/treemap1-operations
paul/treemap1-operations
February 11, 2025 12:25 25m 57s
chore: bench building with N cores CI #28351: Pull request #7031 synchronize by Kha
February 11, 2025 11:53 18m 32s Kha:push-uqknotylrnzs
Kha:push-uqknotylrnzs
February 11, 2025 11:53 18m 32s
feat: present bv_decide counter examples for UIntX and enums better (… CI #28350: Commit f348a08 pushed by github-merge-queue bot
February 11, 2025 11:37 30m 9s master
master
February 11, 2025 11:37 30m 9s
chore: bench building with N cores CI #28349: Pull request #7031 synchronize by Kha
February 11, 2025 11:04 20m 14s Kha:push-uqknotylrnzs
Kha:push-uqknotylrnzs
February 11, 2025 11:04 20m 14s
CI CI #28348: Merge group checks requested
February 11, 2025 11:01 35m 17s
February 11, 2025 11:01 35m 17s
feat: tree map data structures and operations CI #28347: Pull request #6914 synchronize by datokrat
February 11, 2025 10:52 24m 45s paul/treemap1-operations
paul/treemap1-operations
February 11, 2025 10:52 24m 45s
feat: present bv_decide counter examples for UIntX and enums better CI #28346: Pull request #7033 synchronize by hargoniX
February 11, 2025 10:40 21m 6s hbv/bv_decide_new_cex
hbv/bv_decide_new_cex
February 11, 2025 10:40 21m 6s
feat: present bv_decide counter examples for UIntX and enums better CI #28345: Pull request #7033 opened by hargoniX
February 11, 2025 10:28 12m 44s hbv/bv_decide_new_cex
hbv/bv_decide_new_cex
February 11, 2025 10:28 12m 44s
feat: tree map data structures and operations CI #28344: Pull request #6914 synchronize by datokrat
February 11, 2025 10:03 10m 27s paul/treemap1-operations
paul/treemap1-operations
February 11, 2025 10:03 10m 27s
feat: tree map data structures and operations CI #28343: Pull request #6914 synchronize by datokrat
February 11, 2025 09:59 3m 42s paul/treemap1-operations
paul/treemap1-operations
February 11, 2025 09:59 3m 42s
feat: tree map data structures and operations CI #28342: Pull request #6914 synchronize by datokrat
February 11, 2025 09:52 7m 41s paul/treemap1-operations
paul/treemap1-operations
February 11, 2025 09:52 7m 41s
feat: tree map data structures and operations CI #28341: Pull request #6914 synchronize by datokrat
February 11, 2025 09:43 9m 22s paul/treemap1-operations
paul/treemap1-operations
February 11, 2025 09:43 9m 22s
feat: tree map data structures and operations CI #28340: Pull request #6914 synchronize by datokrat
February 11, 2025 09:29 14m 27s paul/treemap1-operations
paul/treemap1-operations
February 11, 2025 09:29 14m 27s
feat: tree map data structures and operations CI #28339: Pull request #6914 synchronize by datokrat
February 11, 2025 09:27 2m 34s paul/treemap1-operations
paul/treemap1-operations
February 11, 2025 09:27 2m 34s
chore: bench building with N cores CI #28338: Pull request #7031 synchronize by Kha
February 11, 2025 09:18 15m 19s Kha:push-uqknotylrnzs
Kha:push-uqknotylrnzs
February 11, 2025 09:18 15m 19s
doc: lake: add note on release builds CI #28337: Pull request #7032 opened by marcusrossel
February 11, 2025 08:59 24m 10s marcusrossel:master
marcusrossel:master
February 11, 2025 08:59 24m 10s
feat: add BitVec.umulOverflow and BitVec.smulOverflow definitions and additional theorems CI #28336: Pull request #6949 synchronize by luisacicolini
February 11, 2025 08:41 11m 10s opencompl:overflow-mul-defs
opencompl:overflow-mul-defs
February 11, 2025 08:41 11m 10s
chore: bench building with N cores CI #28335: Pull request #7031 opened by Kha
February 11, 2025 08:27 25m 21s Kha:push-uqknotylrnzs
Kha:push-uqknotylrnzs
February 11, 2025 08:27 25m 21s
CI CI #28334: Scheduled
February 11, 2025 07:04 1h 45m 5s master
master
February 11, 2025 07:04 1h 45m 5s
feat: linear integer inequality normalization using gcd of coeffici… CI #28333: Commit befee89 pushed by github-merge-queue bot
February 11, 2025 04:15 30m 29s master
master
February 11, 2025 04:15 30m 29s
CI CI #28332: Merge group checks requested
February 11, 2025 03:45 29m 25s
February 11, 2025 03:45 29m 25s
feat: linear integer inequality normalization using gcd of coefficients CI #28331: Pull request #7030 opened by leodemoura
February 11, 2025 03:25 19m 53s simp_arith_tight
simp_arith_tight
February 11, 2025 03:25 19m 53s
feat: lake: support plugins CI #28330: Pull request #7001 synchronize by tydeu
February 11, 2025 01:42 1h 19m 47s tydeu:lake/module-plugins
tydeu:lake/module-plugins
February 11, 2025 01:42 1h 19m 47s
feat: lake: provide help on Elan's + option (#7024) CI #28329: Commit e7fa589 pushed by github-merge-queue bot
February 11, 2025 01:13 31m 28s master
master
February 11, 2025 01:13 31m 28s