Skip to content

Merge branch 'dev' of https://github.com/gimli-org/gimli into dev #9

Merge branch 'dev' of https://github.com/gimli-org/gimli into dev

Merge branch 'dev' of https://github.com/gimli-org/gimli into dev #9

Triggered via push November 11, 2024 11:18
Status Success
Total duration 35m 54s
Artifacts

main.yml

on: push
Building pgcore & bindings
6m 51s
Building pgcore & bindings
Running tests
1m 3s
Running tests
Build website with examples
27m 12s
Build website with examples
Merging dev into master
7s
Merging dev into master
Upload HTML to dev.pygimli.org
8s
Upload HTML to dev.pygimli.org
Fit to window
Zoom out
Zoom in