Skip to content

Merge branch 'dev' into gh-pages #292

Merge branch 'dev' into gh-pages

Merge branch 'dev' into gh-pages #292

Triggered via push August 6, 2023 10:32
Status Success
Total duration 1m 42s
Artifacts 2

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
coverage Expired
1.23 MB
screenshots Expired
169 KB