Skip to content
Check with latest Rzk

Detect *.rzk.md and ignore overrides as docs #6

Sign in to view logs

Detect *.rzk.md and ignore overrides as docs

Detect *.rzk.md and ignore overrides as docs #6

Triggered via push September 27, 2023 09:04
@aabounegmaabounegm
pushed 3572638
main
Status Success
Total duration 20s
Artifacts –

rzk.yml

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