8000 Merge branch 'dev' of https://github.com/gimli-org/gimli into dev · gimli-org/gimli@37e777f · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
pyGIMLi CI

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

8000
Sign in to view logs

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

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

Triggered via push April 16, 2025 15:07
@carsten-forty2carsten-forty2
pushed 37e777f
dev
Status Failure
Total duration 35m 46s
Artifacts –

main.yml

on: push
Building pgcore & bindings
6m 25s
Building pgcore & bindings
Running tests
1m 6s
Running tests
Build website with examples
27m 56s
Build website with examples
Automerging
4s
Automerging
Upload HTML to dev.pygimli.org
6s
Upload HTML to dev.pygimli.org
Fit to window
Zoom out
Zoom in

Annotations

1 error
Automerging
Process completed with exit code 1.
0