Skip to content

Fix merge workflow by adding checkout step #432

Fix merge workflow by adding checkout step

Fix merge workflow by adding checkout step #432

Triggered via pull request October 5, 2023 16:21
Status Success
Total duration 1m 20s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pr.yaml

on: pull_request
Build docs with pdoc
40s
Build docs with pdoc
Matrix: run-tests / Run tests
Fit to window
Zoom out
Zoom in