Skip to content
Lint and Test

CI: add permissions for GitHub Checks. #164

Sign in to view logs

CI: add permissions for GitHub Checks.

CI: add permissions for GitHub Checks. #164

Triggered via push December 24, 2024 07:33
@TheVeryDarknessTheVeryDarkness
pushed 5778268
main
Status Success
Total duration 3m 44s
Artifacts –

ci.yml

on: push
MIRI Test
2m 44s
MIRI Test
Matrix: Test
Matrix: Lint and Test Coverage
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Test (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Lint and Test Coverage (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
MIRI Test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636