Skip to content

Merge branch 'master' into vojdani-protected-vars #633

Merge branch 'master' into vojdani-protected-vars

Merge branch 'master' into vojdani-protected-vars #633

Triggered via push September 12, 2025 07:15
Status Success
Total duration 13s
Artifacts

metadata.yml

on: push
cff-validate
10s
cff-validate
Matrix: zenodo-validate
Fit to window
Zoom out
Zoom in