Skip to content

Replace all usages of String with Text #174

Replace all usages of String with Text

Replace all usages of String with Text #174

Triggered via pull request January 9, 2024 15:35
Status Success
Total duration 16m 57s
Artifacts 3

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
4s
Check Rzk formalizations
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
rzk-Linux-X64.tar.gz Expired
9.19 MB
rzk-Windows-X64.tar.gz Expired
13 MB
rzk-macOS-X64.tar.gz Expired
2.41 MB