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