Skip to content

Merge pull request #17 from emdgroup/repo/actions_changes #82

Merge pull request #17 from emdgroup/repo/actions_changes

Merge pull request #17 from emdgroup/repo/actions_changes #82

Triggered via push December 1, 2023 16:48
Status Success
Total duration 13m 38s
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