Skip to content

feat(pack): Add idris2 pack #6466

feat(pack): Add idris2 pack

feat(pack): Add idris2 pack #6466

Triggered via pull request November 3, 2024 02:35
@srghmasrghma
synchronize #1258
Status Success
Total duration 29s
Artifacts

ci.yml

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

Annotations

1 warning
Calculate scopes
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/