build

Add syntax for match and variant operators #2744

Sign in to view logs

Triggered via pull request October 5, 2023 04:04

shonfeder

synchronize #1206

1082/sum-type-syntax

Status Failure

Total duration 12m 46s

Artifacts –

main.yml

on: pull_request

quint-vscode-linting

quint-test-generated-up-to-date

quint-antlr-grammar

Matrix: quint-examples-dashboard

Matrix: quint-integration-tests

Matrix: quint-unit-tests

Matrix: quint-vscode-plugin

Annotations

11 errors

quint-linting: quint/src/names/base.ts#L15

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

quint-linting: quint/src/names/base.ts#L15

'builtinOpCodes' is defined but never used

quint-linting

Process completed with exit code 1.

quint-unit-tests (ubuntu-latest)

Process completed with exit code 2.

quint-unit-tests (windows-latest)

Process completed with exit code 1.

quint-unit-tests (macos-latest)

Process completed with exit code 2.

quint-examples-dashboard (ubuntu-latest)

Process completed with exit code 1.

quint-integration-tests (ubuntu-latest)

Process completed with exit code 1.

quint-integration-tests (windows-latest)

Process completed with exit code 1.

quint-examples-dashboard (macos-latest)

Process completed with exit code 1.

quint-integration-tests (macos-latest)

Process completed with exit code 1.