Skip to content

feat(pack): Add idris2 pack #6462

feat(pack): Add idris2 pack

feat(pack): Add idris2 pack #6462

Triggered via pull request November 1, 2024 09:19
Status Failure
Total duration 17s
Artifacts

ci.yml

on: pull_request
CI  /  Stylua Formatting
6s
CI / Stylua Formatting
CI  /  Selene Linting
5s
CI / Selene Linting
Calculate scopes
0s
Calculate scopes
CI  /  Spell Check
0s
CI / Spell Check
CI  /  Conventional Commit Messages
0s
CI / Conventional Commit Messages
CI  /  Release Please
0s
CI / Release Please
Announcement  /  github-releases-to-discord
Announcement / github-releases-to-discord
CI  /  Generate Vimdoc
0s
CI / Generate Vimdoc
PR  /  Conventional Commit Title
PR / Conventional Commit Title
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
CI / Selene Linting
The process '/home/runner/work/_temp/d93d278a-e1ba-4edb-bc5b-9cbb03cb4de2/selene' failed with exit code 1
CI / Stylua Formatting
The process '/home/runner/work/_temp/012813e0-bf5e-4e3f-b8f8-76bdcecd1d6f/stylua' failed with exit code 1
CI / Selene Linting
The following actions uses node12 which is deprecated and will be forced to run on node16: NTBBloodbath/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
CI / Selene Linting
The following actions use a deprecated Node.js version and will be forced to run on node20: NTBBloodbath/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/