Skip to content

Merge dev into main #2229

Merge dev into main

Merge dev into main #2229

Triggered via pull request November 11, 2023 23:30
Status Success
Total duration 14m 5s
Artifacts

docs.yml

on: pull_request
Matrix: Build manual
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build manual (gcc, 3.10, 1.62.1)
New version for cbindgen available: 0.26.0