Build and test

rework the meta language #324

Sign in to view logs

Triggered via pull request February 27, 2025 15:25

zerbina

synchronize #114

zerbina:meta-language-proof-engine

Status Success

Total duration 2m 26s

Artifacts –

build_and_test.yml

on: pull_request

Check and generate languages

Matrix: binaries

Annotations

2 warnings

Test skully

unsupported statement [User]

Build binaries (Linux)

The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101