Skip to content
Build, test, release EUDSL

[eudsl] factor out eudsl-nbgen #312

Sign in to view logs

[eudsl] factor out eudsl-nbgen

[eudsl] factor out eudsl-nbgen #312

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

build_test_release_eudsl.yml

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

Annotations

1 error
Build, test, release EUDSL
Canceling since a higher priority waiting request for 'Build, test, release EUDSL-45' exists