Skip to content

Merge pull request #18 from emdgroup/repo/contributors_additions #102

Merge pull request #18 from emdgroup/repo/contributors_additions

Merge pull request #18 from emdgroup/repo/contributors_additions #102

Triggered via push December 4, 2023 12:07
Status Success
Total duration 10m 52s
Artifacts

ci.yml

on: push
Matrix: lint
Changelog
0s
Changelog
Matrix: audit
Matrix: typecheck
Matrix: coretest
Matrix: fulltest
Fit to window
Zoom out
Zoom in