Skip to content
Build and Push Purescript-Tools image

[sc-39637] Add purs-tidy #25

Sign in to view logs

[sc-39637] Add purs-tidy

[sc-39637] Add purs-tidy #25

Triggered via push October 17, 2024 20:23
@OwenGravesOwenGraves
pushed dcde747
main
Status Success
Total duration 5m 8s
Artifacts 1

build.yml

on: push
Build and push purescript-tools
5m 1s
Build and push purescript-tools
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
flipstone~purescript-tools~NUDDZU.dockerbuild
83.4 KB