Skip to content

ci: Rename GitHub workflows, add and unify names #2

ci: Rename GitHub workflows, add and unify names

ci: Rename GitHub workflows, add and unify names #2

Triggered via pull request November 12, 2023 16:32
Status Success
Total duration 14m 11s
Artifacts

test-compilation.yml

on: pull_request
Compile top level crates on Linux
14m 0s
Compile top level crates on Linux
Fit to window
Zoom out
Zoom in