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 #222: Commit d1d7071 pushed by joneugster
July 24, 2024 09:40 41s dev
dev
July 24, 2024 09:40 41s
Build the project Build #221: Commit ed85c0e pushed by joneugster
July 24, 2024 09:34 38s dev
dev
July 24, 2024 09:34 38s
Build the project Build #220: Commit 3cd8503 pushed by joneugster
June 5, 2024 11:44 1m 3s main
main
June 5, 2024 11:44 1m 3s
Build the project Build #219: Commit 94048d4 pushed by joneugster
June 5, 2024 11:44 34s dev
dev
June 5, 2024 11:44 34s
Build the project Build #218: Commit f14bfa8 pushed by joneugster
June 5, 2024 09:20 35s dev
dev
June 5, 2024 09:20 35s
Build the project Build #217: Commit 40fbb28 pushed by joneugster
June 1, 2024 17:13 34s dev
dev
June 1, 2024 17:13 34s
Build the project Build #216: Commit 1ed09cf pushed by joneugster
May 24, 2024 15:51 52s main
main
May 24, 2024 15:51 52s
Build the project Build #215: Commit 295261a pushed by joneugster
May 24, 2024 15:37 51s main
main
May 24, 2024 15:37 51s
Build the project Build #214: Commit 52dcd80 pushed by joneugster
May 14, 2024 13:49 54s main
main
May 14, 2024 13:49 54s
Build the project Build #213: Commit f3c128d pushed by joneugster
May 14, 2024 10:26 50s main
main
May 14, 2024 10:26 50s
Build the project Build #212: Commit c06471c pushed by joneugster
May 7, 2024 12:17 52s dev
dev
May 7, 2024 12:17 52s
Build the project Build #211: Commit 9a1d0f3 pushed by joneugster
April 29, 2024 09:08 58s main
main
April 29, 2024 09:08 58s
Build the project Build #210: Commit 5440cbc pushed by joneugster
April 26, 2024 02:16 48s main
main
April 26, 2024 02:16 48s
Build the project Build #209: Commit fba687f pushed by joneugster
April 26, 2024 01:54 47s main
main
April 26, 2024 01:54 47s
Build the project Build #208: Commit ef7a037 pushed by joneugster
April 26, 2024 01:52 51s main
main
April 26, 2024 01:52 51s
Build the project Build #207: Commit b68db8f pushed by joneugster
April 26, 2024 01:43 54s main
main
April 26, 2024 01:43 54s
Build the project Build #206: Commit a1bc6c2 pushed by joneugster
April 26, 2024 01:39 47s main
main
April 26, 2024 01:39 47s
Build the project Build #205: Commit d61c603 pushed by joneugster
April 26, 2024 01:36 50s main
main
April 26, 2024 01:36 50s
Build the project Build #204: Commit 28b7a2d pushed by joneugster
April 26, 2024 01:28 48s main
main
April 26, 2024 01:28 48s
Build the project Build #203: Commit d5d551b pushed by joneugster
April 24, 2024 16:03 50s main
main
April 24, 2024 16:03 50s
Build the project Build #202: Commit 2d154ef pushed by joneugster
April 24, 2024 15:54 52s main
main
April 24, 2024 15:54 52s
Build the project Build #201: Commit 5254e28 pushed by joneugster
April 10, 2024 08:31 51s main
main
April 10, 2024 08:31 51s
Build the project Build #200: Commit e936b12 pushed by joneugster
March 14, 2024 16:56 49s main
main
March 14, 2024 16:56 49s
Build the project Build #199: Commit 656303d pushed by joneugster
March 14, 2024 16:55 47s main
main
March 14, 2024 16:55 47s
Build the project Build #198: Commit 414d9e6 pushed by joneugster
February 7, 2024 12:01 48s main
main
February 7, 2024 12:01 48s