Skip to content

Replace all usages of String with Text #169

Replace all usages of String with Text

Replace all usages of String with Text #169

Re-run triggered January 9, 2024 06:15
Status Cancelled
Total duration 2m 44s
Artifacts

ghc.yml

on: pull_request
Matrix: Build and test with GHC
Build and upload Haddock documentation (develop)
0s
Build and upload Haddock documentation (develop)
Check Rzk formalizations
0s
Check Rzk formalizations
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build and test with GHC (macos-latest)
The operation was canceled.
Build and test with GHC (windows-latest)
The operation was canceled.
Build and test with GHC (ubuntu-latest)
Process completed with exit code 1.