Ubuntu build

[Import] `Data.Star`...`Data.Tree` #4438

Sign in to view logs

Triggered via pull request March 10, 2025 15:37

synchronize #2635

jmougeot:import33

Status Success

Total duration 37m 45s

Artifacts –

ci-ubuntu.yml

on: pull_request