Skip to content
Specification

Move CI management from lampepfl/dotty-ci #3210

Sign in to view logs

Move CI management from lampepfl/dotty-ci

Move CI management from lampepfl/dotty-ci #3210

Triggered via pull request April 2, 2024 11:49
@hamzaremmalhamzaremmal
synchronize #19697
hamzaremmal:dotty-ci
Status Success
Total duration 1m 20s
Artifacts –

spec.yml

on: pull_request
specification
1m 12s
specification
Fit to window
Zoom out
Zoom in