build

Fix sum type declaration collision #2973

Triggered via pull request November 29, 2023 22:29

shonfeder

synchronize #1277

1275/sum-type-collision

Status Failure

Total duration 7m 36s

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

3 errors

Process completed with exit code 3.

Process completed with exit code 1.

Process completed with exit code 3.