Skip to content

Actions: hhu-adam/lean4monaco

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
165 workflow runs
165 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test editor end-to-end Test #65: Commit c6a9bfc pushed by joneugster
August 20, 2024 10:40 4m 45s main
main
August 20, 2024 10:40 4m 45s
Test editor end-to-end Test #64: Commit 7c83bba pushed by joneugster
August 20, 2024 10:33 3m 44s main
main
August 20, 2024 10:33 3m 44s
Test editor end-to-end Test #63: Commit a2dbc5a pushed by joneugster
August 20, 2024 10:32 1m 41s main
main
August 20, 2024 10:32 1m 41s
Test editor end-to-end Test #62: Commit d6ebb4b pushed by joneugster
August 20, 2024 10:29 1m 32s main
main
August 20, 2024 10:29 1m 32s
Test editor end-to-end Test #61: Commit 9243c96 pushed by joneugster
August 20, 2024 10:26 1m 30s main
main
August 20, 2024 10:26 1m 30s
Test editor end-to-end Test #60: Commit 3b80454 pushed by joneugster
August 20, 2024 10:19 3m 48s main
main
August 20, 2024 10:19 3m 48s
Test editor end-to-end Test #59: Commit 4bc6efa pushed by joneugster
August 20, 2024 10:10 5m 56s main
main
August 20, 2024 10:10 5m 56s
Test editor end-to-end Test #58: Commit 59f9252 pushed by joneugster
August 20, 2024 09:36 3m 53s main
main
August 20, 2024 09:36 3m 53s
Test editor end-to-end Test #57: Commit 8912529 pushed by joneugster
August 20, 2024 09:35 40s main
main
August 20, 2024 09:35 40s
Test editor end-to-end Test #56: Commit 9ed7107 pushed by joneugster
August 20, 2024 09:34 1m 30s main
main
August 20, 2024 09:34 1m 30s
Test editor end-to-end Test #55: Commit d3506bb pushed by joneugster
August 20, 2024 09:32 1m 49s main
main
August 20, 2024 09:32 1m 49s
Test editor end-to-end Test #54: Commit 96bf04c pushed by joneugster
August 20, 2024 09:18 1m 33s main
main
August 20, 2024 09:18 1m 33s
add windows workflow Test #53: Commit ce7e19d pushed by joneugster
August 20, 2024 09:16 Failure main
main
August 20, 2024 09:16 Failure
Test editor end-to-end Test #52: Commit c8a1412 pushed by joneugster
August 20, 2024 09:08 1m 33s main
main
August 20, 2024 09:08 1m 33s
Test editor end-to-end Test #51: Commit 3267020 pushed by joneugster
August 20, 2024 09:03 1m 47s main
main
August 20, 2024 09:03 1m 47s
Test editor end-to-end Test #50: Commit 940bf2b pushed by joneugster
August 20, 2024 09:01 29s main
main
August 20, 2024 09:01 29s
Test editor end-to-end Test #49: Commit c815949 pushed by joneugster
August 20, 2024 09:00 1s main
main
August 20, 2024 09:00 1s
Test editor end-to-end Test #48: Commit ee1b2c4 pushed by joneugster
August 20, 2024 08:55 27s main
main
August 20, 2024 08:55 27s
Test editor end-to-end Test #47: Commit c3dec87 pushed by joneugster
August 19, 2024 09:23 1m 49s main
main
August 19, 2024 09:23 1m 49s
Test editor end-to-end Test #46: Commit e831eff pushed by joneugster
August 17, 2024 07:17 55s main
main
August 17, 2024 07:17 55s
Test editor end-to-end Test #45: Commit eb52e16 pushed by joneugster
August 16, 2024 19:41 57s main
main
August 16, 2024 19:41 57s
Test editor end-to-end Test #44: Commit f1280b4 pushed by joneugster
August 12, 2024 16:03 1m 1s main
main
August 12, 2024 16:03 1m 1s
Test editor end-to-end Test #43: Commit cebdee8 pushed by joneugster
August 9, 2024 18:46 56s main
main
August 9, 2024 18:46 56s
Test editor end-to-end Test #42: Commit 6cbdaa3 pushed by joneugster
August 9, 2024 12:53 1m 0s main
main
August 9, 2024 12:53 1m 0s
Test editor end-to-end Test #41: Commit 838a0f2 pushed by joneugster
August 8, 2024 18:36 1m 1s main
main
August 8, 2024 18:36 1m 1s