Skip to content
Haskell CI

Rename EM to Dec (decidable types) #25

Sign in to view logs

Rename EM to Dec (decidable types)

Rename EM to Dec (decidable types) #25

Triggered via push September 18, 2023 15:52
@ionathanchionathanch
pushed b7a29cc
main
Status Success
Total duration 2m 37s
Artifacts –

haskell.yml

on: push
build
2m 25s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2