Skip to content

Actions: hhu-adam/lean4monaco

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
229 workflow runs
229 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test editor end-to-end Test #14: Commit b9594d6 pushed by joneugster
August 23, 2024 19:25 3m 40s main
main
August 23, 2024 19:25 3m 40s
extend workflow Test #115: Commit b9594d6 pushed by joneugster
August 23, 2024 19:25 Failure main
main
August 23, 2024 19:25 Failure
Test editor end-to-end Test #13: Commit 42cd2bd pushed by joneugster
August 23, 2024 19:17 3m 53s main
main
August 23, 2024 19:17 3m 53s
random test Test #114: Commit 42cd2bd pushed by joneugster
August 23, 2024 19:17 Failure main
main
August 23, 2024 19:17 Failure
Test editor end-to-end Test #12: Commit 77d956c pushed by joneugster
August 23, 2024 19:13 24s main
main
August 23, 2024 19:13 24s
can I share the docker image? Test #113: Commit 77d956c pushed by joneugster
August 23, 2024 19:13 Failure main
main
August 23, 2024 19:13 Failure
Test on Linux server Test #11: Commit 3426199 pushed by joneugster
August 23, 2024 19:02 2m 45s main
main
August 23, 2024 19:02 2m 45s
verbose docker build Test #112: Commit 3426199 pushed by joneugster
August 23, 2024 19:02 Failure main
main
August 23, 2024 19:02 Failure
Test on Linux server Test #10: Commit c2a3987 pushed by joneugster
August 23, 2024 19:00 3m 10s main
main
August 23, 2024 19:00 3m 10s
test new workflow with dockerfile Test #111: Commit c2a3987 pushed by joneugster
August 23, 2024 19:00 Failure main
main
August 23, 2024 19:00 Failure
Test on Linux server Test #9: Commit de5baef pushed by joneugster
August 23, 2024 17:28 5m 39s main
main
August 23, 2024 17:28 5m 39s
modify action Test #110: Commit de5baef pushed by joneugster
August 23, 2024 17:28 Failure main
main
August 23, 2024 17:28 Failure
Test on Linux server Test #8: Commit 104c8de pushed by joneugster
August 23, 2024 17:26 1m 55s main
main
August 23, 2024 17:26 1m 55s
modify action Test #109: Commit 104c8de pushed by joneugster
August 23, 2024 17:26 Failure main
main
August 23, 2024 17:26 Failure
Test on Linux server Test #7: Commit fda8d90 pushed by joneugster
August 23, 2024 17:20 1m 24s main
main
August 23, 2024 17:20 1m 24s
modify action Test #108: Commit fda8d90 pushed by joneugster
August 23, 2024 17:20 Failure main
main
August 23, 2024 17:20 Failure
Test on Linux server Test #6: Commit dae1d11 pushed by joneugster
August 23, 2024 17:11 5m 22s main
main
August 23, 2024 17:11 5m 22s
modify action Test #107: Commit dae1d11 pushed by joneugster
August 23, 2024 17:11 -1s main
main
August 23, 2024 17:11 -1s
Test on Linux server Test #5: Commit 50620e7 pushed by joneugster
August 23, 2024 17:08 3m 27s main
main
August 23, 2024 17:08 3m 27s
modify action Test #106: Commit 50620e7 pushed by joneugster
August 23, 2024 17:08 Failure main
main
August 23, 2024 17:08 Failure
Test on Linux server Test #4: Commit 6abab4e pushed by joneugster
August 23, 2024 17:06 3m 21s main
main
August 23, 2024 17:06 3m 21s
Test editor end-to-end Test #105: Commit 6abab4e pushed by joneugster
August 23, 2024 17:06 4m 24s main
main
August 23, 2024 17:06 4m 24s
Test on Linux server Test #3: Commit b41d04a pushed by joneugster
August 23, 2024 17:02 3m 35s main
main
August 23, 2024 17:02 3m 35s
Test editor end-to-end Test #104: Commit b41d04a pushed by joneugster
August 23, 2024 17:02 3m 27s main
main
August 23, 2024 17:02 3m 27s
Test on Linux server Test #2: Commit 6aa1401 pushed by joneugster
August 23, 2024 16:59 2m 8s main
main
August 23, 2024 16:59 2m 8s