update idris2 and lsp-lib dependencies (#232) · idris-community/idris2-lsp@e2c4c53

Triggered via push December 2, 2024 03:45

mattpolzin

main

Status Success

Total duration 20m 40s

Artifacts 1

ci.yml

on: push

1 warning

Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use the latest version of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-09-16-notice-of-upcoming-deprecations-and-changes-in-github-actions-services/

Produced during runtime

Name	Size
installed-idris2-with-api Expired	44.3 MB