Skip to content

Actions: leanprover-community/lean4web

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
174 workflow runs
174 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the project Build #305: Commit c231a9f pushed by joneugster
January 13, 2025 15:18 6h 0m 25s main
main
January 13, 2025 15:18 6h 0m 25s
Build the project Build #304: Commit 137995c pushed by joneugster
January 13, 2025 15:15 6h 0m 23s main
main
January 13, 2025 15:15 6h 0m 23s
Build the project Build #303: Commit cb86424 pushed by joneugster
January 13, 2025 15:06 6h 0m 25s main
main
January 13, 2025 15:06 6h 0m 25s
Build the project Build #302: Commit 8eb0ec7 pushed by joneugster
January 13, 2025 14:58 1m 16s main
main
January 13, 2025 14:58 1m 16s
Build the project Build #301: Commit a106c1f pushed by joneugster
January 13, 2025 14:04 2m 10s main
main
January 13, 2025 14:04 2m 10s
Build the project Build #300: Pull request #48 opened by madvorak
January 2, 2025 13:08 1m 26s madvorak:patch-1
madvorak:patch-1
January 2, 2025 13:08 1m 26s
Build the project Build #299: Commit a9fefeb pushed by joneugster
November 24, 2024 10:21 1m 21s main
main
November 24, 2024 10:21 1m 21s
Build the project Build #298: Pull request #46 opened by eric-wieser
November 22, 2024 19:22 1m 29s eric-wieser-patch-1
eric-wieser-patch-1
November 22, 2024 19:22 1m 29s
Build the project Build #296: Commit 5240162 pushed by joneugster
September 23, 2024 18:31 3m 18s main
main
September 23, 2024 18:31 3m 18s
Build the project Build #295: Pull request #38 synchronize by tobiasgrosser
September 19, 2024 16:30 3m 21s opencompl:leansat-tmp
opencompl:leansat-tmp
September 19, 2024 16:30 3m 21s
Build the project Build #294: Commit a439335 pushed by abentkamp
September 17, 2024 20:23 4m 30s main
main
September 17, 2024 20:23 4m 30s
Build the project Build #292: Commit 92dc673 pushed by joneugster
September 2, 2024 08:31 3m 20s main
main
September 2, 2024 08:31 3m 20s
Build the project Build #291: Commit c814278 pushed by joneugster
September 2, 2024 08:10 3m 57s main
main
September 2, 2024 08:10 3m 57s
Build the project Build #290: Commit 096cd4e pushed by joneugster
September 2, 2024 08:06 4m 5s main
main
September 2, 2024 08:06 4m 5s
Build the project Build #289: Commit ba1c042 pushed by joneugster
August 27, 2024 12:49 3m 42s main
main
August 27, 2024 12:49 3m 42s
Build the project Build #288: Commit 53e621b pushed by joneugster
August 25, 2024 20:58 2m 47s main
main
August 25, 2024 20:58 2m 47s
Build the project Build #287: Commit ec36e1a pushed by joneugster
August 25, 2024 20:28 2m 45s main
main
August 25, 2024 20:28 2m 45s
Build the project Build #286: Commit 4a226a5 pushed by joneugster
August 25, 2024 20:03 2m 50s main
main
August 25, 2024 20:03 2m 50s
Build the project Build #285: Commit 7a26dd5 pushed by joneugster
August 25, 2024 19:11 3m 2s main
main
August 25, 2024 19:11 3m 2s
Build the project Build #284: Commit 5576c9f pushed by joneugster
August 25, 2024 12:32 3m 31s main
main
August 25, 2024 12:32 3m 31s
Build the project Build #283: Commit 0e5cf4e pushed by joneugster
August 25, 2024 12:29 1m 43s main
main
August 25, 2024 12:29 1m 43s
Build the project Build #282: Commit 7a5229d pushed by joneugster
August 25, 2024 12:25 1m 49s main
main
August 25, 2024 12:25 1m 49s
Build the project Build #281: Commit 8815759 pushed by joneugster
August 25, 2024 12:11 2m 5s main
main
August 25, 2024 12:11 2m 5s
Build the project Build #280: Commit 86f74ed pushed by joneugster
August 22, 2024 07:53 3m 15s main
main
August 22, 2024 07:53 3m 15s
Build the project Build #279: Commit fa4342d pushed by joneugster
August 22, 2024 07:34 3m 50s main
main
August 22, 2024 07:34 3m 50s