Idris2 and External Libs

Empty data declarations are confused with forward data declarations #1200

Sign in to view logs

Triggered via pull request January 31, 2025 04:16

dunhamsteve

synchronize #3480

dunhamsteve:forward-data

Status Failure

Total duration 42m 25s

Artifacts 6

ci-idris2-and-libs.yml

on: pull_request

macos-bootstrap-chez

ubuntu-self-host-previous-version

ubuntu-bootstrap-chez

ubuntu-bootstrap-racket

windows-bootstrap-chez

nix-bootstrap-chez

macos-self-host-chez

ub-test-elab-util

ub-pack-test-pack

ub-pack-test-lsp

ub-test-katla-and-html

ubuntu-self-host-chez

ubuntu-build-api

ubuntu-self-host-racket

windows-self-host-racket

Annotations

1 error and 2 warnings

ub-pack-test-lsp

Process completed with exit code 1.

macos-bootstrap-chez

[email protected] 3.12.8 is already installed and up-to-date. To reinstall 3.12.8, run: brew reinstall [email protected]

macos-self-host-chez

[email protected] 3.12.8 is already installed and up-to-date. To reinstall 3.12.8, run: brew reinstall [email protected]

Artifacts

Produced during runtime

Name	Size	Digest
idris2-nightly-chez Expired	38.2 MB	`sha256:cbb65c41c8c53e55a41d6fc9dc0a0d6a284e407c750ebd127ae5787f0188b579`
macos-installed-bootstrapped-idris2-chez Expired	28.4 MB	`sha256:3fee0899d65c1b503d0d8029ea68c4539a679596969ee7aa2f03ac9e52d16c2c`
ubuntu-installed-bootstrapped-idris2-chez Expired	25.5 MB	`sha256:c3e50fe9a0db843bd21353349feb2ea64e960f8e86a008fd55f0029977f208de`
ubuntu-installed-bootstrapped-idris2-racket Expired	56.8 MB	`sha256:24685c3780271aaf6cf3c553422c7b72587bd80fc6184297fffabe1c8dea2421`
ubuntu-installed-idris2-0.7.0-chez Expired	38.2 MB	`sha256:05da2fc85b3cdf5ee42f7ee94616e6b288e96aaec0a03f6645edf7e056f07872`
windows-installed-bootstrapped-idris2-chez Expired	25.7 MB	`sha256:09150835eb3169cc150fc3d73ed5e5723e8e60c90e486fb131384a03e18018bc`