Skip to content

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

ci: Rename GitHub workflows, add and unify names

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

Triggered via pull request November 23, 2023 17:16
Status Success
Total duration 14m 21s
Artifacts

test-compilation.yml

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