Build and test

add a meta-language for formal definitions #316

Sign in to view logs

Triggered via pull request January 27, 2025 22:15

zerbina

synchronize #69

zerbina:formal-definition

Status Success

Total duration 2m 56s

Artifacts –

build_and_test.yml

on: pull_request

Check and generate languages

Matrix: binaries

Annotations

1 warning

Test skully

unsupported statement [User]