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 #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
Build the project Build #129: Commit 3b07760 pushed by joneugster
October 13, 2023 12:01 2m 16s main
main
October 13, 2023 12:01 2m 16s
Build the project Build #128: Commit 9a18dfd pushed by joneugster
October 13, 2023 11:43 1m 47s main
main
October 13, 2023 11:43 1m 47s
Build the project Build #127: Commit 9526412 pushed by joneugster
October 13, 2023 10:54 2m 23s main
main
October 13, 2023 10:54 2m 23s
Build the project Build #126: Commit eb17fc3 pushed by abentkamp
October 11, 2023 11:56 2m 16s main
main
October 11, 2023 11:56 2m 16s
Build the project Build #125: Commit da78703 pushed by joneugster
October 10, 2023 16:31 2m 3s main
main
October 10, 2023 16:31 2m 3s
Build the project Build #124: Commit 6a4fd1a pushed by abentkamp
October 5, 2023 19:44 1m 56s main
main
October 5, 2023 19:44 1m 56s
Build the project Build #123: Commit 349b575 pushed by abentkamp
October 4, 2023 13:36 1m 47s main
main
October 4, 2023 13:36 1m 47s