Skip to content
CI

Merge branch 'main' into python-api-mkbitvector #1072

Sign in to view logs

Merge branch 'main' into python-api-mkbitvector

Merge branch 'main' into python-api-mkbitvector #1072

Triggered via push September 12, 2023 20:23
@mpreinermpreiner
pushed 9f47ce9
python-api-mkbitvector
Status Success
Total duration 33m 23s
Artifacts 1

ci.yml

on: push
update-pr
0s
update-pr
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
documentation Expired
13.4 MB