Skip to content

Top-down semantics rewrite in kmir.md #2832

Top-down semantics rewrite in kmir.md

Top-down semantics rewrite in kmir.md #2832

Triggered via pull request January 24, 2025 01:56
Status Failure
Total duration 13m 11s
Artifacts

test.yml

on: pull_request
Version Bump
2s
Version Bump
Code Quality Checks
27s
Code Quality Checks
Unit Tests
20s
Unit Tests
Integration Tests
39s
Integration Tests
Integration with smir_pretty
12m 21s
Integration with smir_pretty
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
Integration Tests
Process completed with exit code 2.
Integration with smir_pretty
Process completed with exit code 2.
Version Bump
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Code Quality Checks
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Unit Tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636