Skip to content

Merge branch 'ci'

Merge branch 'ci' #3

Triggered via push July 11, 2024 19:25
Status Success
Total duration 29s
Artifacts

automation.yaml

on: push
Check types
17s
Check types
Lint
17s
Lint
Check that generated files are up to date
19s
Check that generated files are up to date
Fit to window
Zoom out
Zoom in