Skip to content
Build and test

WIP: next steps for the meta language #319

Sign in to view logs

WIP: next steps for the meta language

WIP: next steps for the meta language #319

Triggered via pull request February 4, 2025 01:02
@zerbinazerbina
opened #114
zerbina:meta-language-proof-engine
Status Failure
Total duration 1m 13s
Artifacts –

build_and_test.yml

on: pull_request
Check and generate languages
12s
Check and generate languages
Test skully
1m 0s
Test skully
Matrix: binaries
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
Check and generate languages: languages/source.nim#L17
not the name of a variable or function
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]