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 #178: Commit 5117455 pushed by abentkamp
December 6, 2023 20:23 51s main
main
December 6, 2023 20:23 51s
Build the project Build #177: Commit a4feb8a pushed by abentkamp
December 6, 2023 20:19 49s cleanup
cleanup
December 6, 2023 20:19 49s
Build the project Build #176: Commit fad5b9d pushed by joneugster
December 6, 2023 09:40 50s main
main
December 6, 2023 09:40 50s
Build the project Build #175: Commit 53746f9 pushed by abentkamp
December 1, 2023 09:55 51s cleanup
cleanup
December 1, 2023 09:55 51s
Build the project Build #174: Commit f7897d8 pushed by abentkamp
November 30, 2023 20:40 51s cleanup
cleanup
November 30, 2023 20:40 51s
Build the project Build #173: Commit 6fc9c11 pushed by joneugster
November 22, 2023 10:16 52s main
main
November 22, 2023 10:16 52s
Build the project Build #172: Commit 9117d85 pushed by joneugster
November 22, 2023 10:15 51s main
main
November 22, 2023 10:15 51s
Build the project Build #171: Commit a409686 pushed by joneugster
November 22, 2023 10:13 53s main
main
November 22, 2023 10:13 53s
Build the project Build #170: Commit 5ecdf61 pushed by joneugster
November 22, 2023 10:08 54s main
main
November 22, 2023 10:08 54s
Build the project Build #169: Commit 866770c pushed by joneugster
November 22, 2023 08:48 50s main
main
November 22, 2023 08:48 50s
Build the project Build #168: Commit fa5cd4d pushed by joneugster
November 21, 2023 18:23 50s main
main
November 21, 2023 18:23 50s
Build the project Build #167: Commit c21db2d pushed by abentkamp
November 21, 2023 10:26 48s main
main
November 21, 2023 10:26 48s
Build the project Build #166: Commit 8f6eea7 pushed by joneugster
November 21, 2023 09:44 53s main
main
November 21, 2023 09:44 53s
Build the project Build #165: Commit 4a6c567 pushed by joneugster
November 20, 2023 14:41 52s main
main
November 20, 2023 14:41 52s
Build the project Build #164: Commit b5c0895 pushed by joneugster
November 20, 2023 14:33 52s main
main
November 20, 2023 14:33 52s
Build the project Build #163: Commit 1e4571e pushed by joneugster
November 20, 2023 14:25 48s main
main
November 20, 2023 14:25 48s
Build the project Build #162: Commit 2203c47 pushed by joneugster
November 20, 2023 10:46 53s main
main
November 20, 2023 10:46 53s
Build the project Build #161: Commit b665ec4 pushed by joneugster
November 14, 2023 22:04 1m 11s main
main
November 14, 2023 22:04 1m 11s
Build the project Build #160: Commit 1f715f2 pushed by joneugster
November 14, 2023 22:00 2m 24s main
main
November 14, 2023 22:00 2m 24s
Build the project Build #159: Commit 97b1480 pushed by joneugster
November 14, 2023 21:39 48s main
main
November 14, 2023 21:39 48s
Build the project Build #158: Commit b45ae82 pushed by joneugster
November 14, 2023 21:12 52s main
main
November 14, 2023 21:12 52s
Build the project Build #157: Commit f656bc4 pushed by joneugster
November 14, 2023 21:11 50s main
main
November 14, 2023 21:11 50s
Build the project Build #156: Commit f3f3fa4 pushed by joneugster
November 14, 2023 21:08 53s main
main
November 14, 2023 21:08 53s
Build the project Build #155: Commit 6257774 pushed by abentkamp
November 4, 2023 19:59 42s wasm-server
wasm-server
November 4, 2023 19:59 42s
Build the project Build #154: Commit 6a74f98 pushed by abentkamp
November 4, 2023 09:26 32s wasm-server
wasm-server
November 4, 2023 09:26 32s