Skip to content

Merge remote-tracking branch 'odr/master' #85

Merge remote-tracking branch 'odr/master'

Merge remote-tracking branch 'odr/master' #85

Triggered via push May 28, 2024 02:18
Status Success
Total duration 9m 41s
Artifacts

Cabal.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in