Skip to content

Allow overriding shell for generate.sh script, override default shell on windows #40

Allow overriding shell for generate.sh script, override default shell on windows

Allow overriding shell for generate.sh script, override default shell on windows #40

Triggered via pull request January 16, 2024 14:56
Status Success
Total duration 1m 19s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yaml

on: pull_request
Build & Test
59s
Build & Test
Fit to window
Zoom out
Zoom in