Skip to content
Generate schemata

Merge pull request #48 from zoedberg/minor_fixes #8

Sign in to view logs

Merge pull request #48 from zoedberg/minor_fixes

Merge pull request #48 from zoedberg/minor_fixes #8

Triggered via push September 16, 2024 10:10
@dr-orlovskydr-orlovsky
pushed dd00779
master
Status Success
Total duration 1m 27s
Artifacts –

run.yaml

on: push
gen-schemata
1m 15s
gen-schemata
Fit to window
Zoom out
Zoom in