Skip to content

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

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

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

Triggered via pull request December 16, 2024 19:41
Status Success
Total duration 30s
Artifacts

main.yml

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

Annotations

6 warnings
ʦ 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
Linter
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
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
Typechecker
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