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

Merge branch 'master' into dev #52

Sign in to view logs

Merge branch 'master' into dev

Merge branch 'master' into dev #52

Triggered via push April 22, 2025 18:28
@florian-wagnerflorian-wagner
pushed 4c74709
dev
Status Failure
Total duration 36m 24s
Artifacts –

main.yml

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

Annotations

1 error
Automerging
Process completed with exit code 128.
0