Skip to content
Build with opam

Scala backend & lifter-optimiser bdd copyprop #94

Sign in to view logs

Scala backend & lifter-optimiser bdd copyprop

Scala backend & lifter-optimiser bdd copyprop #94

Triggered via pull request July 24, 2024 07:43
@ailrstailrst
synchronize #102
scala-generic
Status Cancelled
Total duration 10m 7s
Artifacts –

opam.yml

on: pull_request
build
9m 55s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'Build with opam-refs/pull/102/merge' exists
build
The operation was canceled.