Skip to content

Actions: leanprover/lean-llvm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
build necessary runtimes Build LLVM #103: Pull request #11 synchronize by Kha
November 14, 2024 08:58 3h 35m 52s runtimes
runtimes
November 14, 2024 08:58 3h 35m 52s
build necessary runtimes Build LLVM #102: Pull request #11 synchronize by Kha
November 13, 2024 15:49 4h 39m 30s runtimes
runtimes
November 13, 2024 15:49 4h 39m 30s
build necessary runtimes Build LLVM #101: Pull request #11 synchronize by Kha
November 13, 2024 13:15 4h 17m 2s runtimes
runtimes
November 13, 2024 13:15 4h 17m 2s