Skip to content
Typecheck with latest Rzk

Fiber products #466

Sign in to view logs

Fiber products

Fiber products #466

Triggered via pull request October 13, 2023 15:05
@TashiWaldeTashiWalde
synchronize #111
TashiWalde:fiber-products
Status Success
Total duration 37s
Artifacts –

rzk.yml

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