Skip to content

Actions: leanprover/lean4

Actions

Check PR body for changelog convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-body.yml
1,641 workflow runs
1,641 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 PR body for changelog convention #1641: Pull request #5657 synchronize by bollu
December 3, 2024 18:58 13s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 18:58 13s
feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check PR body for changelog convention #1640: Pull request #5657 synchronize by bollu
December 3, 2024 18:55 12s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 18:55 12s
feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check PR body for changelog convention #1639: Pull request #5657 synchronize by bollu
December 3, 2024 18:48 15s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 18:48 15s
feat: add Timer and a global event loop in a separate thread using LibUV Check PR body for changelog convention #1638: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:23 12s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:23 12s
feat: add Timer and a global event loop in a separate thread using LibUV Check PR body for changelog convention #1637: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:19 11s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:19 11s
feat: add Timer and a global event loop in a separate thread using LibUV Check PR body for changelog convention #1636: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:16 1m 22s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:16 1m 22s
feat: add Timer and a global event loop in a separate thread using LibUV Check PR body for changelog convention #1635: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:16 10s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:16 10s
Check PR body for changelog convention Check PR body for changelog convention #1634: Merge group checks requested
December 3, 2024 16:14 13s
December 3, 2024 16:14 13s
feat: verify insertMany method for adding lists to HashMaps Check PR body for changelog convention #1633: Pull request #6211 synchronize by monsterkrampe
December 3, 2024 15:50 18s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 3, 2024 15:50 18s
feat: verify insertMany method for adding lists to HashMaps Check PR body for changelog convention #1632: Pull request #6211 synchronize by monsterkrampe
December 3, 2024 15:37 20s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 3, 2024 15:37 20s
feat: verify insertMany method for adding lists to HashMaps Check PR body for changelog convention #1631: Pull request #6211 synchronize by monsterkrampe
December 3, 2024 15:27 26s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 3, 2024 15:27 26s
feat: verify insertMany method for adding lists to HashMaps Check PR body for changelog convention #1630: Pull request #6211 synchronize by monsterkrampe
December 3, 2024 15:16 13s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 3, 2024 15:16 13s
feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check PR body for changelog convention #1629: Pull request #5657 synchronize by bollu
December 3, 2024 14:59 14s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 14:59 14s
feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check PR body for changelog convention #1628: Pull request #5657 synchronize by bollu
December 3, 2024 14:53 12s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 14:53 12s
feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check PR body for changelog convention #1627: Pull request #5657 synchronize by bollu
December 3, 2024 14:50 9s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 14:50 9s
feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check PR body for changelog convention #1626: Pull request #5657 synchronize by bollu
December 3, 2024 14:49 13s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 14:49 13s
feat: Strict Ackermannization tactic (bv_ac_eager) for QF_UFBV Check PR body for changelog convention #1625: Pull request #5657 synchronize by bollu
December 3, 2024 14:46 11s opencompl:strict-ackermannization
opencompl:strict-ackermannization
December 3, 2024 14:46 11s
feat: add Timer and a global event loop in a separate thread using LibUV Check PR body for changelog convention #1624: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 14:09 5m 22s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 14:09 5m 22s
feat: add Timer and a global event loop in a separate thread using LibUV Check PR body for changelog convention #1623: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 13:56 10s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 13:56 10s
feat: add Timer and a global event loop in a separate thread using LibUV Check PR body for changelog convention #1622: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 13:54 11s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 13:54 11s
feat: add Timer and a global event loop in a separate thread using LibUV Check PR body for changelog convention #1621: 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 PR body for changelog convention #1620: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 13:45 13s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 13:45 13s
feat: add Timer and a global event loop in a separate thread using LibUV Check PR body for changelog convention #1619: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 13:42 19s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 13:42 19s
feat: add Timer and a global event loop in a separate thread using LibUV Check PR body for changelog convention #1618: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 13:40 9s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 13:40 9s
feat: add Timer and a global event loop in a separate thread using LibUV Check PR body for changelog convention #1617: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 13:37 14s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 13:37 14s