Skip to content
Typecheck with latest Rzk

Discrete fibers Cor. 8.20 RS17 #628

Sign in to view logs

Discrete fibers Cor. 8.20 RS17

Discrete fibers Cor. 8.20 RS17 #628

Triggered via pull request November 23, 2023 12:59
@StiephenPradalStiephenPradal
synchronize #135
StiephenPradal:Discrete-Fibers
Status Success
Total duration 40s
Artifacts –

rzk.yml

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