Update Idris2 submodule and flake input to grab recent bug fixes #489
mattpolzinci.yml
on: pull_request
build-idris2-with-api
0s
build
0s
Annotations
1 error
|
build-idris2-with-api
This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v2`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/
|