Skip to content

Add a .git-blame-ignore-revs entry for adding the prelude #314

Add a .git-blame-ignore-revs entry for adding the prelude

Add a .git-blame-ignore-revs entry for adding the prelude #314

Triggered via pull request November 28, 2024 01:08
Status Success
Total duration 17m 16s
Artifacts

ci.yaml

on: pull_request
Matrix: Test tier1
Style check
25s
Style check
Matrix: Verify build
Check #[cfg]s
13s
Check #[cfg]s
Matrix: Test tier2
Matrix: Test tier2 VM
success
0s
success
Fit to window
Zoom out
Zoom in