Skip to content
Build and Push Purescript-Tools image

Adds GitHub SSH key to known hosts #20

Sign in to view logs

Adds GitHub SSH key to known hosts

Adds GitHub SSH key to known hosts #20

Triggered via push January 25, 2024 14:42
@AugmenTabAugmenTab
pushed 03f63c0
main
Status Success
Total duration 4m 59s
Artifacts –

build.yml

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