Skip to content

Move CI management from lampepfl/dotty-ci #17102

Move CI management from lampepfl/dotty-ci

Move CI management from lampepfl/dotty-ci #17102

Triggered via pull request April 2, 2024 11:49
Status Success
Total duration 16s
Artifacts

cla.yml

on: pull_request
Fit to window
Zoom out
Zoom in