nova

Implement let definitions where RHS is a large type #6

Sign in to view logs

Triggered via pull request December 20, 2023 23:06

Russoul

opened #21

let-type

Status Success

Total duration 18m 5s

Artifacts –

nova.yml

on: pull_request

build-idris2-master-test-our-branch

Annotations

1 warning

build-idris2-master-test-our-branch

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/