Skip to content
Build and test

WIP: next steps for the meta language #322

Sign in to view logs

WIP: next steps for the meta language

WIP: next steps for the meta language #322

Triggered via pull request February 26, 2025 15:03
@zerbinazerbina
synchronize #114
zerbina:meta-language-proof-engine
Status Failure
Total duration 1m 8s
Artifacts –

build_and_test.yml

on: pull_request
Check and generate languages
11s
Check and generate languages
Test skully
56s
Test skully
Matrix: binaries
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
Check and generate languages: languages/source.nim#L122
Expected a node with 3 children, got 4
Check and generate languages
Process completed with exit code 1.
Check and generate languages: languages/source.nim#L14
imported and not used: 'types' [UnusedImport]
Test skully
unsupported statement [User]