Skip to content

Actions: leanprover/lean-llvm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump to 19.1.2 Build LLVM #80: Pull request #10 synchronize by Kha
November 11, 2024 09:38 13m 2s llvm-19
llvm-19
November 11, 2024 09:38 13m 2s
libcxx is now in ENABLE_RUNTIMES (we build all of them) Build LLVM #79: Commit b3c5668 pushed by Kha
November 11, 2024 09:38 12m 40s llvm-19
llvm-19
November 11, 2024 09:38 12m 40s
bump to 19.1.2 Build LLVM #78: Pull request #10 synchronize by Kha
October 25, 2024 09:44 12m 43s llvm-19
llvm-19
October 25, 2024 09:44 12m 43s
fix Build LLVM #77: Commit ffada11 pushed by Kha
October 25, 2024 09:44 13m 12s llvm-19
llvm-19
October 25, 2024 09:44 13m 12s
bump to 19.1.2 Build LLVM #76: Pull request #10 opened by Kha
October 25, 2024 09:43 2m 37s llvm-19
llvm-19
October 25, 2024 09:43 2m 37s
bump to 19.1.2 Build LLVM #75: Commit d92d094 pushed by Kha
October 25, 2024 09:43 2m 46s llvm-19
llvm-19
October 25, 2024 09:43 2m 46s
disable zstd Build LLVM #74: Commit 6ffe4c0 pushed by Kha
October 25, 2024 09:42 1d 22h 19m 2s llvm-19
llvm-19
October 25, 2024 09:42 1d 22h 19m 2s
disable zstd Build LLVM #73: Commit 6ffe4c0 pushed by Kha
October 25, 2024 09:42 1d 22h 19m 12s llvm
llvm
October 25, 2024 09:42 1d 22h 19m 12s