Skip to content
Build, test, release EUDSL

[eudsl] factor out eudsl-nbgen #314

Sign in to view logs

[eudsl] factor out eudsl-nbgen

[eudsl] factor out eudsl-nbgen #314

Triggered via pull request January 3, 2025 06:13
@maksleventalmakslevental
synchronize #45
makslevental/factor-eudsl-nbgen
Status Cancelled
Total duration 41s
Artifacts –

build_test_release_eudsl.yml

on: pull_request
Matrix: build-eudsl
Matrix: test-eudsl-py
Matrix: test-eudsl-tblgen
Matrix: Release eudsl
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Build eudsl macos_x86_64
Canceling since a higher priority waiting request for 'Build, test, release EUDSL-45' exists
Build eudsl windows_x86_64
Canceling since a higher priority waiting request for 'Build, test, release EUDSL-45' exists
Build eudsl windows_x86_64
The operation was canceled.
Build eudsl macos_arm64
Canceling since a higher priority waiting request for 'Build, test, release EUDSL-45' exists
Build eudsl ubuntu_x86_64
Canceling since a higher priority waiting request for 'Build, test, release EUDSL-45' exists