Skip to content

support for discrete event scheduling #2344

support for discrete event scheduling

support for discrete event scheduling #2344

Triggered via pull request March 11, 2024 19:41
@quaquelquaquel
synchronize #2066
quaquel:devs
Status Cancelled
Total duration 23s
Artifacts

build_lint.yml

on: pull_request
examples
7s
examples
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

14 errors
build (macos, 3.12)
Canceling since a higher priority waiting request for 'build-devs' exists
build (macos, 3.12)
The operation was canceled.
build (ubuntu, 3.12)
Canceling since a higher priority waiting request for 'build-devs' exists
build (ubuntu, 3.12)
The operation was canceled.
build (ubuntu, 3.10)
Canceling since a higher priority waiting request for 'build-devs' exists
build (ubuntu, 3.10)
The operation was canceled.
build (ubuntu, 3.11)
Canceling since a higher priority waiting request for 'build-devs' exists
build (ubuntu, 3.11)
The operation was canceled.
examples
Canceling since a higher priority waiting request for 'build-devs' exists
examples
The operation was canceled.
build (ubuntu, 3.9)
Canceling since a higher priority waiting request for 'build-devs' exists
build (ubuntu, 3.9)
The operation was canceled.
build (windows, 3.12)
Canceling since a higher priority waiting request for 'build-devs' exists
build (windows, 3.12)
The operation was canceled.