Skip to content

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

ci: Rename GitHub workflows, add and unify names

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

Triggered via pull request November 12, 2023 14:51
Status Success
Total duration 22m 29s
Artifacts

test-compilation.yml

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