Skip to content
Typecheck with latest Rzk

Auto-format all files #638

Sign in to view logs

Auto-format all files

Auto-format all files #638

Triggered via pull request December 5, 2023 14:48
@aabounegmaabounegm
synchronize #142
formatting
Status Success
Total duration 39s
Artifacts –

rzk.yml

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