Skip to content

[LTL] Make ltl.delay clocking explicit (add %clock and <edge> operands) #33320

[LTL] Make ltl.delay clocking explicit (add %clock and <edge> operands)

[LTL] Make ltl.delay clocking explicit (add %clock and <edge> operands) #33320

Triggered via pull request December 8, 2025 13:37
Status Failure
Total duration 36m 4s
Artifacts

buildAndTest.yml

on: pull_request
Sanity Check
32s
Sanity Check
Matrix: Build and Test
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 1 warning
Build and Test (gcc, g++, Release, OFF, OFF)
Process completed with exit code 1.
Build and Test (gcc, g++, Release, OFF, OFF)
Process completed with exit code 1.
Build and Test (clang, clang++, Debug, ON, ON)
The strategy configuration was canceled because "build-circt.gcc_g___Release_OFF_OFF" failed
Build and Test (clang, clang++, Debug, ON, ON)
The operation was canceled.
Build and Test (gcc, g++, Release, OFF, OFF)
No files were found with the provided path: clang-*.patch. No artifacts will be uploaded.