ci

Merge pull request 'add doctests to github CI' (#93) from github-ci-d… #603

Sign in to view logs

Triggered via push May 2, 2024 12:56

robamu

main

Status Success

Total duration 1m 54s

Artifacts –

ci.yml

on: push

Check formatting

Check Documentation Build

Matrix: Check build

Matrix: Check Cross-Compilation