Skip to content

Merge pull request #156 from rzk-lang/use-line-tokens #140

Merge pull request #156 from rzk-lang/use-line-tokens

Merge pull request #156 from rzk-lang/use-line-tokens #140

Triggered via push December 11, 2023 23:41
Status Success
Total duration 35m 13s
Artifacts 3

ghc.yml

on: push
Matrix: Build and test with GHC
Build and upload Haddock documentation (develop)
18m 47s
Build and upload Haddock documentation (develop)
Check Rzk formalizations
7s
Check Rzk formalizations
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
rzk-Linux-X64.tar.gz Expired
9.17 MB
rzk-Windows-X64.tar.gz Expired
13.1 MB
rzk-macOS-X64.tar.gz Expired
2.37 MB