build

Fix sum type declaration collision #2968

Triggered via pull request November 29, 2023 15:10

shonfeder

synchronize #1277

1275/sum-type-collision

Status Failure

Total duration 10m 6s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yml

on: pull_request

Matrix: quint-examples-dashboard

Matrix: quint-integration-tests

Matrix: quint-unit-tests

Matrix: quint-vscode-plugin

6 errors

quint-linting: quint/test/types/inferrer.test.ts#L5

'ErrorTree' is defined but never used. Allowed unused vars must match /^_/u

quint-linting: quint/test/types/inferrer.test.ts#L5

'ErrorTree' is defined but never used

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.