Skip to content

Move CI management from lampepfl/dotty-ci #29607

Move CI management from lampepfl/dotty-ci

Move CI management from lampepfl/dotty-ci #29607

Triggered via pull request April 2, 2024 11:49
Status Success
Total duration 2h 21m 30s
Artifacts

ci.yaml

on: pull_request
publish_nightly
0s
publish_nightly
publish_release
0s
publish_release
nightly_documentation
0s
nightly_documentation
open_issue_on_failure
0s
open_issue_on_failure
Fit to window
Zoom out
Zoom in

Annotations

1 warning
test_windows_fast
Unable to clean or reset the repository. The repository will be recreated instead.