Skip to content

Actions: leanprover-community/lean4web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
174 workflow runs
174 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the project Build #278: Commit 5e480b1 pushed by joneugster
August 22, 2024 07:08 3m 55s main
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
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
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
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
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
main
August 20, 2024 13:49 3m 18s
Build the project Build #272: Commit 0c584c2 pushed by joneugster
August 20, 2024 13:35 3m 3s main
main
August 20, 2024 13:35 3m 3s
Build the project Build #271: Commit add773e pushed by joneugster
August 20, 2024 13:20 3m 39s main
main
August 20, 2024 13:20 3m 39s
Build the project Build #270: Commit faf28b6 pushed by joneugster
August 20, 2024 13:14 1m 19s main
main
August 20, 2024 13:14 1m 19s
Build the project Build #269: Commit f2f0ae3 pushed by joneugster
August 16, 2024 20:06 46s main
main
August 16, 2024 20:06 46s
Build the project Build #268: Commit 6757301 pushed by joneugster
August 13, 2024 13:36 1m 12s main
main
August 13, 2024 13:36 1m 12s
Build the project Build #267: Commit 457da5f pushed by joneugster
August 13, 2024 12:32 1m 12s main
main
August 13, 2024 12:32 1m 12s
Build the project Build #266: Commit 72a6482 pushed by joneugster
August 13, 2024 08:18 1m 9s main
main
August 13, 2024 08:18 1m 9s
Build the project Build #265: Commit 81a9b38 pushed by joneugster
August 12, 2024 11:07 1m 16s main
main
August 12, 2024 11:07 1m 16s
Build the project Build #264: Commit d607a79 pushed by joneugster
August 10, 2024 20:53 1m 11s main
main
August 10, 2024 20:53 1m 11s
Build the project Build #263: Commit cb78a1f pushed by joneugster
August 9, 2024 22:20 1m 17s main
main
August 9, 2024 22:20 1m 17s
Build the project Build #262: Commit 2b799f7 pushed by joneugster
August 9, 2024 21:17 1m 12s main
main
August 9, 2024 21:17 1m 12s
Build the project Build #261: Commit 51ad2e4 pushed by joneugster
August 8, 2024 20:43 1m 16s main
main
August 8, 2024 20:43 1m 16s
Build the project Build #260: Commit 6f976ae pushed by joneugster
August 8, 2024 20:42 1m 14s main
main
August 8, 2024 20:42 1m 14s
Build the project Build #259: Commit 1728772 pushed by joneugster
August 8, 2024 20:30 1m 12s main
main
August 8, 2024 20:30 1m 12s
Build the project Build #258: Commit e17c186 pushed by joneugster
August 8, 2024 18:51 1m 13s main
main
August 8, 2024 18:51 1m 13s
Build the project Build #257: Commit 6a41c30 pushed by joneugster
August 8, 2024 15:50 5m 58s main
main
August 8, 2024 15:50 5m 58s
Build the project Build #256: Commit db421df pushed by joneugster
August 8, 2024 15:42 12m 15s main
main
August 8, 2024 15:42 12m 15s
Build the project Build #255: Commit 1982192 pushed by joneugster
August 8, 2024 14:39 44s main
main
August 8, 2024 14:39 44s
Build the project Build #254: Commit be280f1 pushed by joneugster
August 7, 2024 14:03 1m 20s main
main
August 7, 2024 14:03 1m 20s