ci

Merge pull request 'Set of fixes' (#2) from smaller-fixes into main #15

Sign in to view logs

Triggered via push June 16, 2024 16:57

robamu

main

Status Success

Total duration 45s

Artifacts –

ci.yml

on: push

Check formatting

Check Documentation Build