Skip to content

Merge pull request #142 from rzk-lang/formatting #640

Merge pull request #142 from rzk-lang/formatting

Merge pull request #142 from rzk-lang/formatting #640

Triggered via push December 12, 2023 14:05
Status Success
Total duration 36s
Artifacts

rzk.yml

on: push
Check formalisations
25s
Check formalisations
Fit to window
Zoom out
Zoom in