Skip to content
CI

Clean-up created socket on exit #22

Sign in to view logs

Clean-up created socket on exit

Clean-up created socket on exit #22

Triggered via push November 14, 2025 13:58
@mpickeringmpickering
pushed afc08dd
master
Status Success
Total duration 8m 21s
Artifacts –

ci.yml

on: push
Matrix: ${{ format('{0} ', matrix.name || format( '{0} on {1}{2}', startsWith(matrix.os, 'ubuntu-') && 'Build and Test' || startsWith(matrix.os, 'macOS-') && 'Build', startsWith(matrix.os, 'ubuntu-') && 'Linux' || startsWith(matrix.os, 'macOS-') && 'macOS', matrix.ghc-version && format(' with GHC {0}', matrix.ghc-version) )) }}
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
Build and Test on Linux with GHC 9.2.8
Cache save failed.
Build and Test on Linux with GHC 9.4.8
Cache save failed.
Build and Test on Linux with GHC 9.8.4
Cache save failed.
Build and Test on Linux with GHC 9.6.7
Cache save failed.
Build and Test on Linux with GHC 9.10.2
Cache save failed.
Build on macOS with GHC 9.8.4
Cache save failed.