Skip to content
Build, test, release EUDSL

[eudsl] factor out eudsl-nbgen #313

Sign in to view logs

[eudsl] factor out eudsl-nbgen

[eudsl] factor out eudsl-nbgen #313

Triggered via pull request January 3, 2025 06:11
@maksleventalmakslevental
synchronize #45
makslevental/factor-eudsl-nbgen
Status Cancelled
Total duration 1m 53s
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

7 errors
Build eudsl windows_x86_64
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
Build eudsl ubuntu_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 macos_arm64
The operation was canceled.
Build eudsl macos_x86_64
Canceling since a higher priority waiting request for 'Build, test, release EUDSL-45' exists
Build eudsl macos_x86_64
The operation was canceled.