Skip to content
Checks

update branch name after main -> master (#10) #11

Sign in to view logs

update branch name after main -> master (#10)

update branch name after main -> master (#10) #11

Triggered via push December 20, 2024 08:57
@severosevero
pushed d5dab37
master
Status Success
Total duration 32s
Artifacts –

ci.yml

on: push
lint
21s
lint
typecheck
21s
typecheck
test
20s
test
buildcheck
21s
buildcheck
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
buildcheck
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
typecheck
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636