Skip to content

Actions: leanprover-community/lean4web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
181 workflow runs
181 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the project
Build #299: Commit a9fefeb pushed by joneugster
November 24, 2024 10:21 1m 21s 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
August 22, 2024 07:34 3m 50s
Build the project
Build #278: Commit 5e480b1 pushed by joneugster
August 22, 2024 07:08 3m 55s main
August 22, 2024 07:08 3m 55s
Build the project
Build #277: Commit 9d1b7fe pushed by joneugster
August 22, 2024 07:00 3m 40s main
August 22, 2024 07:00 3m 40s
Build the project
Build #276: Commit 878bbe3 pushed by joneugster
August 22, 2024 06:31 3m 17s main
August 22, 2024 06:31 3m 17s
Build the project
Build #275: Pull request #36 opened by j3parker
August 21, 2024 19:52 3m 43s j3parker:compressed-urls
August 21, 2024 19:52 3m 43s
Build the project
Build #274: Commit 3dc8654 pushed by joneugster
August 20, 2024 16:05 3m 6s main
August 20, 2024 16:05 3m 6s
Build the project
Build #273: Commit 8d90def pushed by joneugster
August 20, 2024 13:49 3m 18s main
August 20, 2024 13:49 3m 18s