Skip to content

Actions: leanprover-community/lean4web

Actions

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
127 workflow runs
127 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and Test Build and Test #327: Commit f2f3530 pushed by joneugster
March 7, 2025 16:43 5m 58s main
main
March 7, 2025 16:43 5m 58s
Build and Test Build and Test #326: Commit d477d0d pushed by joneugster
March 7, 2025 16:42 1m 19s main
main
March 7, 2025 16:42 1m 19s
Build and Test Build and Test #325: Commit 73c51dd pushed by joneugster
March 7, 2025 16:24 6m 0s main
main
March 7, 2025 16:24 6m 0s
Build and Test Build and Test #324: Commit 8b72bbb pushed by joneugster
March 7, 2025 16:17 5m 51s main
main
March 7, 2025 16:17 5m 51s
Build and Test Build and Test #323: Commit 9f45701 pushed by joneugster
March 7, 2025 16:14 3m 23s main
main
March 7, 2025 16:14 3m 23s
Build and Test Build and Test #322: Commit 9f45701 pushed by joneugster
March 7, 2025 16:10 6m 30s dev
dev
March 7, 2025 16:10 6m 30s
Build and Test Build and Test #321: Commit c7d4bbd pushed by joneugster
March 7, 2025 16:07 3m 19s dev
dev
March 7, 2025 16:07 3m 19s
Build and Test Build and Test #320: Commit ddf25f6 pushed by joneugster
March 7, 2025 16:02 7m 37s main
main
March 7, 2025 16:02 7m 37s
Build the project Build and Test #317: Commit 96ed632 pushed by joneugster
March 6, 2025 16:53 3m 48s main
main
March 6, 2025 16:53 3m 48s
Build the project Build and Test #316: Commit 41f1e24 pushed by joneugster
March 5, 2025 09:35 3m 42s main
main
March 5, 2025 09:35 3m 42s
Build the project Build and Test #315: Commit 1781b60 pushed by joneugster
March 5, 2025 00:11 3m 50s main
main
March 5, 2025 00:11 3m 50s
Build the project Build and Test #314: Commit deaab6a pushed by joneugster
March 5, 2025 00:05 2m 6s main
main
March 5, 2025 00:05 2m 6s
Build the project Build and Test #313: Commit 173e276 pushed by joneugster
March 5, 2025 00:02 2m 46s main
main
March 5, 2025 00:02 2m 46s
Build the project Build and Test #312: Pull request #54 opened by joneugster
March 4, 2025 20:16 3m 20s Kha:nixos
Kha:nixos
March 4, 2025 20:16 3m 20s
Build the project Build and Test #311: Commit 6f26c06 pushed by joneugster
February 25, 2025 14:59 3m 2s main
main
February 25, 2025 14:59 3m 2s
Build the project Build and Test #310: Commit b93d921 pushed by joneugster
February 25, 2025 13:16 2m 52s main
main
February 25, 2025 13:16 2m 52s
Build the project Build and Test #309: Commit ace69d9 pushed by joneugster
February 25, 2025 11:43 3m 21s main
main
February 25, 2025 11:43 3m 21s
Build the project Build and Test #308: Commit ea8f144 pushed by joneugster
February 22, 2025 11:59 2m 32s main
main
February 22, 2025 11:59 2m 32s
Build the project Build and Test #307: Commit 4199233 pushed by joneugster
February 21, 2025 19:11 2m 17s main
main
February 21, 2025 19:11 2m 17s
Build the project Build and Test #306: Commit e3c8dd8 pushed by joneugster
February 21, 2025 18:45 2m 58s main
main
February 21, 2025 18:45 2m 58s
Build the project Build and Test #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 and Test #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 and Test #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 and Test #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 and Test #301: Commit a106c1f pushed by joneugster
January 13, 2025 14:04 2m 10s main
main
January 13, 2025 14:04 2m 10s