Skip to content
Typecheck with latest Rzk

Total fibers are iterated fibers #549

Sign in to view logs

Total fibers are iterated fibers

Total fibers are iterated fibers #549

Triggered via pull request October 23, 2023 10:36
@TashiWaldeTashiWalde
synchronize #129
TashiWalde:fiber-products
Status Failure
Total duration 18s
Artifacts –

rzk.yml

on: pull_request
Check formalisations
10s
Check formalisations
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check formalisations
Process completed with exit code 1.