Build and test

add a meta-language for formal definitions #310

Sign in to view logs

Triggered via pull request January 22, 2025 22:13

zerbina

synchronize #69

zerbina:formal-definition

Status Success

Total duration 2m 53s

Artifacts –

build_and_test.yml

on: pull_request

Check and generate languages

Matrix: binaries

Annotations

1 warning

Test skully

unsupported statement [User]