Skip to content

chore(deps): update dependency publint to v0.2.12 (#540) #1604

chore(deps): update dependency publint to v0.2.12 (#540)

chore(deps): update dependency publint to v0.2.12 (#540) #1604

Triggered via push December 16, 2024 19:48
Status Success
Total duration 31s
Artifacts

main.yml

on: push
Build
19s
Build
Typechecker
17s
Typechecker
Unit and Integration Tests
17s
Unit and Integration Tests
Linter
17s
Linter
ʦ Are The Types Wrong?
20s
ʦ Are The Types Wrong?
📖 Publint
16s
📖 Publint
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
Unit and Integration Tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
📖 Publint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Linter
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Typechecker
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ʦ Are The Types Wrong?
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636