Skip to content

Merge pull request #107 from gossi/glint-support #465

Merge pull request #107 from gossi/glint-support

Merge pull request #107 from gossi/glint-support #465

Triggered via push August 17, 2023 20:58
Status Success
Total duration 4m 13s
Artifacts

ci.yml

on: push
Publish
0s
Publish
Matrix: try-scenarios
Matrix: typecheck
Fit to window
Zoom out
Zoom in