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 #153: Commit e7901d8 pushed by abentkamp
November 3, 2023 17:09 49s wasm-server
wasm-server
November 3, 2023 17:09 49s
Build the project Build #152: Commit 32e5348 pushed by abentkamp
November 3, 2023 17:08 36s wasm-server
wasm-server
November 3, 2023 17:08 36s
Build the project Build #151: Commit 8320e0b pushed by abentkamp
November 2, 2023 16:42 52s main
main
November 2, 2023 16:42 52s
Build the project Build #150: Commit 46dad68 pushed by joneugster
November 2, 2023 15:36 1m 13s main
main
November 2, 2023 15:36 1m 13s
Build the project Build #149: Commit 18fa1ff pushed by joneugster
November 2, 2023 15:14 56s main
main
November 2, 2023 15:14 56s
Build the project Build #148: Commit 66f6c03 pushed by joneugster
November 1, 2023 14:27 51s main
main
November 1, 2023 14:27 51s
Build the project Build #147: Commit 9e95795 pushed by abentkamp
October 28, 2023 13:44 45s wasm-server
wasm-server
October 28, 2023 13:44 45s
Build the project Build #146: Commit 79317b1 pushed by joneugster
October 27, 2023 19:16 40s main
main
October 27, 2023 19:16 40s
Build the project Build #145: Commit 52f8c9b pushed by joneugster
October 27, 2023 15:53 42s main
main
October 27, 2023 15:53 42s
Build the project Build #144: Commit 149f1c7 pushed by joneugster
October 27, 2023 12:33 1m 3s main
main
October 27, 2023 12:33 1m 3s
Build the project Build #143: Commit d98daa9 pushed by joneugster
October 27, 2023 12:13 9m 6s vite
vite
October 27, 2023 12:13 9m 6s
Build the project Build #142: Commit b93d449 pushed by joneugster
October 27, 2023 11:39 13m 53s vite
vite
October 27, 2023 11:39 13m 53s
Build the project Build #141: Commit 10386bd pushed by joneugster
October 27, 2023 11:32 42s vite
vite
October 27, 2023 11:32 42s
Build the project Build #140: Commit 3b98f40 pushed by joneugster
October 25, 2023 07:48 8m 29s vite
vite
October 25, 2023 07:48 8m 29s
Build the project Build #139: Commit ab0a394 pushed by abentkamp
October 24, 2023 13:27 1m 18s vite
vite
October 24, 2023 13:27 1m 18s
Build the project Build #138: Commit 5ea37b4 pushed by joneugster
October 24, 2023 08:41 59s vite
vite
October 24, 2023 08:41 59s
Build the project Build #137: Commit 8f05f02 pushed by joneugster
October 24, 2023 08:12 1m 5s vite
vite
October 24, 2023 08:12 1m 5s
Build the project Build #136: Commit b02044f pushed by joneugster
October 23, 2023 15:23 2m 20s main
main
October 23, 2023 15:23 2m 20s
Build the project Build #135: Commit 0a475a7 pushed by abentkamp
October 22, 2023 08:22 1m 0s vite
vite
October 22, 2023 08:22 1m 0s
Build the project Build #134: Commit 020157d pushed by abentkamp
October 21, 2023 20:04 1m 12s vite
vite
October 21, 2023 20:04 1m 12s
Build the project Build #133: Commit a35381d pushed by abentkamp
October 21, 2023 19:58 1m 2s vite
vite
October 21, 2023 19:58 1m 2s
Build the project Build #132: Commit edf8478 pushed by abentkamp
October 21, 2023 19:49 1m 0s vite
vite
October 21, 2023 19:49 1m 0s
Build the project Build #131: Commit 60ee990 pushed by abentkamp
October 21, 2023 08:38 1m 49s vite
vite
October 21, 2023 08:38 1m 49s
Build the project Build #130: Commit c6277de pushed by abentkamp
October 19, 2023 19:35 1m 48s wasm-server
wasm-server
October 19, 2023 19:35 1m 48s