Skip to content

Actions: leanprover/lean4

Actions

Check for modules that should use `prelude`

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-prelude.yml
6,719 workflow runs
6,719 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check for modules that should use `prelude` #6723: Pull request #5657 synchronize by bollu
December 3, 2024 18:58 15s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 18:58 15s
feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check for modules that should use `prelude` #6722: Pull request #5657 synchronize by bollu
December 3, 2024 18:55 17s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 18:55 17s
feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check for modules that should use `prelude` #6721: Pull request #5657 synchronize by bollu
December 3, 2024 18:48 17s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 18:48 17s
feat: add Timer and a global event loop in a separate thread using LibUV Check for modules that should use `prelude` #6720: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:23 18s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:23 18s
feat: add Timer and a global event loop in a separate thread using LibUV Check for modules that should use `prelude` #6719: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:19 14s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:19 14s
feat: add Timer and a global event loop in a separate thread using LibUV Check for modules that should use `prelude` #6718: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:16 17s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:16 17s
feat: add Timer and a global event loop in a separate thread using LibUV Check for modules that should use `prelude` #6717: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:16 18s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:16 18s
feat: verify insertMany method for adding lists to HashMaps Check for modules that should use `prelude` #6716: Pull request #6211 synchronize by monsterkrampe
December 3, 2024 15:50 17s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 3, 2024 15:50 17s
feat: verify insertMany method for adding lists to HashMaps Check for modules that should use `prelude` #6715: Pull request #6211 synchronize by monsterkrampe
December 3, 2024 15:37 24s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 3, 2024 15:37 24s
feat: verify insertMany method for adding lists to HashMaps Check for modules that should use `prelude` #6714: Pull request #6211 synchronize by monsterkrampe
December 3, 2024 15:27 44s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 3, 2024 15:27 44s
feat: verify insertMany method for adding lists to HashMaps Check for modules that should use `prelude` #6713: Pull request #6211 synchronize by monsterkrampe
December 3, 2024 15:16 15s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 3, 2024 15:16 15s
feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check for modules that should use `prelude` #6712: Pull request #5657 synchronize by bollu
December 3, 2024 14:59 17s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 14:59 17s
feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check for modules that should use `prelude` #6711: Pull request #5657 synchronize by bollu
December 3, 2024 14:53 16s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 14:53 16s
feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check for modules that should use `prelude` #6710: Pull request #5657 synchronize by bollu
December 3, 2024 14:50 15s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 14:50 15s
feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check for modules that should use `prelude` #6709: Pull request #5657 synchronize by bollu
December 3, 2024 14:49 16s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 14:49 16s
feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check for modules that should use `prelude` #6708: Pull request #5657 synchronize by bollu
December 3, 2024 14:46 14s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 14:46 14s
feat: add Timer and a global event loop in a separate thread using LibUV Check for modules that should use `prelude` #6707: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 14:09 5m 40s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 14:09 5m 40s
feat: add Timer and a global event loop in a separate thread using LibUV Check for modules that should use `prelude` #6706: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 13:56 16s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 13:56 16s
feat: add Timer and a global event loop in a separate thread using LibUV Check for modules that should use `prelude` #6705: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 13:54 13s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 13:54 13s
feat: add Timer and a global event loop in a separate thread using LibUV Check for modules that should use `prelude` #6704: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 13:45 15s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 13:45 15s
feat: add Timer and a global event loop in a separate thread using LibUV Check for modules that should use `prelude` #6703: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 13:45 14s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 13:45 14s
feat: add Timer and a global event loop in a separate thread using LibUV Check for modules that should use `prelude` #6702: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 13:42 14s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 13:42 14s
feat: add Timer and a global event loop in a separate thread using LibUV Check for modules that should use `prelude` #6701: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 13:40 14s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 13:40 14s
feat: add Timer and a global event loop in a separate thread using LibUV Check for modules that should use `prelude` #6700: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 13:37 16s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 13:37 16s
feat: split Lean.Kernel.Environment from Lean.Environment Check for modules that should use `prelude` #6699: Pull request #5145 synchronize by Kha
December 3, 2024 13:08 16s Kha:kernel-env
Kha:kernel-env
December 3, 2024 13:08 16s