Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104,581 workflow runs
104,581 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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 Nix CI #21965: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:16 3m 33s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:16 3m 33s
feat: add Timer and a global event loop in a separate thread using LibUV Check PR title for commit convention #12562: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:16 11s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:16 11s
feat: add Timer and a global event loop in a separate thread using LibUV CI #25220: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:16 3m 38s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:16 3m 38s
feat: add Timer and a global event loop in a separate thread using LibUV Check for stage0 changes #7245: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:16 40s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:16 40s
feat: add Timer and a global event loop in a separate thread using LibUV Check for copyright header #6873: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:16 40s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:16 40s
feat: add Timer and a global event loop in a separate thread using LibUV Check for copyright header #6872: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:16 40s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:16 40s
feat: add Timer and a global event loop in a separate thread using LibUV Nix CI #21964: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:16 27s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:16 27s
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: add Timer and a global event loop in a separate thread using LibUV CI #25219: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:16 31s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:16 31s
feat: add Timer and a global event loop in a separate thread using LibUV Check PR title for commit convention #12561: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:16 11s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:16 11s
feat: add Timer and a global event loop in a separate thread using LibUV Check for stage0 changes #7244: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 16:16 47s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 16:16 47s
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
CI CI #25218: Merge group checks requested
December 3, 2024 16:14 29m 14s
December 3, 2024 16:14 29m 14s
Nix CI Nix CI #21963: Merge group checks requested
December 3, 2024 16:14 14m 0s
December 3, 2024 16:14 14m 0s
Check PR title for commit convention Check PR title for commit convention #12560: Merge group checks requested
December 3, 2024 16:14 12s
December 3, 2024 16:14 12s
Check for stage0 changes Check for stage0 changes #7243: Merge group checks requested
December 3, 2024 16:14 38s
December 3, 2024 16:14 38s
Actionlint Actionlint #2953: Merge group checks requested
December 3, 2024 16:14 47s
December 3, 2024 16:14 47s
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
PR release PR release #15832: completed by monsterkrampe
December 3, 2024 16:07 3m 26s
December 3, 2024 16:07 3m 26s
PR release PR release #15831: completed by monsterkrampe
December 3, 2024 15:51 2s
December 3, 2024 15:51 2s
feat: verify insertMany method for adding lists to HashMaps Nix CI #21962: Pull request #6211 synchronize by monsterkrampe
December 3, 2024 15:50 15m 38s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 3, 2024 15:50 15m 38s
feat: verify insertMany method for adding lists to HashMaps Check for stage0 changes #7242: Pull request #6211 synchronize by monsterkrampe
December 3, 2024 15:50 47s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 3, 2024 15:50 47s
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