Top-down semantics rewrite in kmir.md #2834
Triggered via pull request
January 24, 2025 02:14
rv-jenkins
Status
Cancelled
Total duration
13m 40s
Artifacts
–
test.yml
on: pull_request
Version Bump
3s
Unit Tests
19s
Integration Tests
1m 10s
Integration with smir_pretty
12m 54s
Annotations
2 errors and 3 warnings
|
Integration Tests
Process completed with exit code 2.
|
|
Integration with smir_pretty
Canceling since a higher priority waiting request for 'Test-refs/pull/435/merge' exists
|
|
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
|