Check with latest Rzk

Save file that reproduces the formatting bug #129

Sign in to view logs

Triggered via push December 13, 2023 20:03

fizruk

weird-formatting-bug

Status Success

Total duration 16s

Artifacts –

rzk.yml

on: push

Check formalisations

Check Rzk formatting