Quick jobs

Merge pull request #9123 from andreabedini/andrea/remove-cabal-file #35

Sign in to view logs

Triggered via push December 9, 2023 13:29

Kleidukos

master

Status Success

Total duration 6m 21s

Artifacts –

quick-jobs.yml

on: push