Skip to content

Actions: leanprover/lean-llvm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
build necessary runtimes Build LLVM #100: Pull request #11 opened by Kha
November 13, 2024 13:08 10m 17s runtimes
runtimes
November 13, 2024 13:08 10m 17s
Merge pull request #2 from leanprover/bolt Build LLVM #99: Commit 1766c4e pushed by hargoniX
November 13, 2024 08:31 3h 39m 43s 19.1.2
19.1.2
November 13, 2024 08:31 3h 39m 43s
Merge pull request #2 from leanprover/bolt Build LLVM #98: Commit 1766c4e pushed by hargoniX
November 13, 2024 08:29 3h 34m 37s main
main
November 13, 2024 08:29 3h 34m 37s
add bolt Build LLVM #97: Pull request #2 synchronize by Kha
November 12, 2024 16:07 3h 49m 31s bolt
bolt
November 12, 2024 16:07 3h 49m 31s
bump to 19.1.2 (#10) Build LLVM #96: Commit 8b3216c pushed by Kha
November 12, 2024 15:01 3h 27m 48s main
main
November 12, 2024 15:01 3h 27m 48s
restrict CI to main Build LLVM #95: Commit d89f7b6 pushed by Kha
November 12, 2024 12:33 1d 19h 15m 27s main
main
November 12, 2024 12:33 1d 19h 15m 27s
bump to 19.1.2 Build LLVM #94: Pull request #10 synchronize by hargoniX
November 12, 2024 09:06 4h 57m 34s llvm-19
llvm-19
November 12, 2024 09:06 4h 57m 34s
more yes Build LLVM #93: Commit 6497e53 pushed by hargoniX
November 12, 2024 09:06 4h 30m 47s llvm-19
llvm-19
November 12, 2024 09:06 4h 30m 47s
bump to 19.1.2 Build LLVM #92: Pull request #10 synchronize by hargoniX
November 12, 2024 09:04 1h 37m 42s llvm-19
llvm-19
November 12, 2024 09:04 1h 37m 42s
next one Build LLVM #91: Commit 131caca pushed by hargoniX
November 12, 2024 09:04 1h 38m 8s llvm-19
llvm-19
November 12, 2024 09:04 1h 38m 8s
bump to 19.1.2 Build LLVM #90: Pull request #10 synchronize by hargoniX
November 12, 2024 09:01 1h 41m 14s llvm-19
llvm-19
November 12, 2024 09:01 1h 41m 14s
try aarch64 linux Build LLVM #89: Commit 519206a pushed by hargoniX
November 12, 2024 09:01 3h 10m 30s llvm-19
llvm-19
November 12, 2024 09:01 3h 10m 30s
bump to 19.1.2 Build LLVM #88: Pull request #10 synchronize by Kha
November 11, 2024 15:53 3h 24m 24s llvm-19
llvm-19
November 11, 2024 15:53 3h 24m 24s
off by one Build LLVM #87: Commit e34a7a5 pushed by Kha
November 11, 2024 15:53 2h 45m 57s llvm-19
llvm-19
November 11, 2024 15:53 2h 45m 57s
bump to 19.1.2 Build LLVM #86: Pull request #10 synchronize by hargoniX
November 11, 2024 13:27 2h 23m 10s llvm-19
llvm-19
November 11, 2024 13:27 2h 23m 10s
try fix macos x86 Build LLVM #85: Commit 78b5983 pushed by hargoniX
November 11, 2024 13:27 2h 51m 42s llvm-19
llvm-19
November 11, 2024 13:27 2h 51m 42s