Skip to content

Actions: leanprover/lean-llvm

Actions

Build LLVM

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

debug Build LLVM #128: Pull request #12 opened by Kha
February 23, 2025 15:19 3m 49s fix-pic
fix-pic
February 23, 2025 15:19 3m 49s
fixes Build LLVM #127: Commit 21a3301 pushed by Kha
February 22, 2025 17:23 3h 25m 22s 19.1.2
19.1.2
February 22, 2025 17:23 3h 25m 22s
fixes Build LLVM #126: Commit 21a3301 pushed by Kha
February 22, 2025 17:13 2h 11m 24s main
main
February 22, 2025 17:13 2h 11m 24s
fix runtimes output dir Build LLVM #125: Commit d14cb18 pushed by Kha
February 15, 2025 08:43 2h 10m 28s 19.1.2
19.1.2
February 15, 2025 08:43 2h 10m 28s
fix runtimes output dir Build LLVM #124: Commit d14cb18 pushed by Kha
February 15, 2025 08:43 53s lean-llvm
lean-llvm
February 15, 2025 08:43 53s
fix runtimes output dir Build LLVM #123: Commit d14cb18 pushed by Kha
February 15, 2025 08:42 2m 4s main
main
February 15, 2025 08:42 2m 4s
use ubuntu-20.04 Build LLVM #122: Commit 47efcc9 pushed by Kha
February 14, 2025 08:39 2h 12m 21s main
main
February 14, 2025 08:39 2h 12m 21s
build necessary runtimes (#11) Build LLVM #121: Commit 88f70fd pushed by Kha
February 13, 2025 18:25 2h 32m 12s 19.1.2
19.1.2
February 13, 2025 18:25 2h 32m 12s
build necessary runtimes (#11) Build LLVM #120: Commit 88f70fd pushed by Kha
February 13, 2025 18:23 2m 19s main
main
February 13, 2025 18:23 2m 19s
build necessary runtimes Build LLVM #119: Pull request #11 synchronize by Kha
February 13, 2025 08:29 2h 20m 24s runtimes
runtimes
February 13, 2025 08:29 2h 20m 24s
build necessary runtimes Build LLVM #118: Pull request #11 synchronize by Kha
February 12, 2025 21:05 1h 51m 53s runtimes
runtimes
February 12, 2025 21:05 1h 51m 53s
build necessary runtimes Build LLVM #117: Pull request #11 synchronize by Kha
February 12, 2025 20:46 8m 25s runtimes
runtimes
February 12, 2025 20:46 8m 25s
build necessary runtimes Build LLVM #116: Pull request #11 synchronize by Kha
February 12, 2025 20:36 3m 31s runtimes
runtimes
February 12, 2025 20:36 3m 31s
build necessary runtimes Build LLVM #115: Pull request #11 synchronize by Kha
February 12, 2025 09:57 3m 21s runtimes
runtimes
February 12, 2025 09:57 3m 21s
build necessary runtimes Build LLVM #114: Pull request #11 synchronize by Kha
February 12, 2025 09:42 5m 1s runtimes
runtimes
February 12, 2025 09:42 5m 1s
build necessary runtimes Build LLVM #113: Pull request #11 synchronize by Kha
February 12, 2025 09:32 4m 54s runtimes
runtimes
February 12, 2025 09:32 4m 54s
build necessary runtimes Build LLVM #112: Pull request #11 synchronize by Kha
February 12, 2025 09:26 3m 31s runtimes
runtimes
February 12, 2025 09:26 3m 31s
build necessary runtimes Build LLVM #111: Pull request #11 synchronize by hargoniX
February 11, 2025 22:57 2h 21m 10s runtimes
runtimes
February 11, 2025 22:57 2h 21m 10s
build necessary runtimes Build LLVM #110: Pull request #11 synchronize by Kha
February 11, 2025 22:03 2h 53m 33s runtimes
runtimes
February 11, 2025 22:03 2h 53m 33s
build necessary runtimes Build LLVM #109: Pull request #11 synchronize by hargoniX
December 15, 2024 17:10 2h 13m 9s runtimes
runtimes
December 15, 2024 17:10 2h 13m 9s
build necessary runtimes Build LLVM #108: Pull request #11 synchronize by hargoniX
December 15, 2024 14:00 3h 30m 42s runtimes
runtimes
December 15, 2024 14:00 3h 30m 42s
build necessary runtimes Build LLVM #107: Pull request #11 synchronize by hargoniX
December 15, 2024 13:52 4m 36s runtimes
runtimes
December 15, 2024 13:52 4m 36s
build necessary runtimes Build LLVM #106: Pull request #11 synchronize by hargoniX
December 15, 2024 13:43 3h 40m 3s runtimes
runtimes
December 15, 2024 13:43 3h 40m 3s
build necessary runtimes Build LLVM #105: Pull request #11 synchronize by Kha
November 15, 2024 15:02 3h 35m 28s runtimes
runtimes
November 15, 2024 15:02 3h 35m 28s
build necessary runtimes Build LLVM #104: Pull request #11 synchronize by Kha
November 15, 2024 09:16 3h 35m 23s runtimes
runtimes
November 15, 2024 09:16 3h 35m 23s