Skip to content

feat(pack): Add idris2 pack #6467

feat(pack): Add idris2 pack

feat(pack): Add idris2 pack #6467

Triggered via pull request November 3, 2024 02:35
@srghmasrghma
synchronize #1258
srghma:idris2
Status Failure
Total duration 14s
Artifacts

ci.yml

on: pull_request
CI  /  Stylua Formatting
3s
CI / Stylua Formatting
CI  /  Selene Linting
3s
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/aeb94f7c-74f2-47d8-8a52-303ec4a73cba/selene' failed with exit code 1
CI / Stylua Formatting
The process '/home/runner/work/_temp/bc7fdfe4-b5cb-4057-aa87-28275bd2a8cc/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/