Skip to content

Bump org.logicng:logicng from 2.4.1 to 2.5.0 in /tools #499

Bump org.logicng:logicng from 2.4.1 to 2.5.0 in /tools

Bump org.logicng:logicng from 2.4.1 to 2.5.0 in /tools #499

Triggered via push May 2, 2024 12:20
Status Success
Total duration 17m 20s
Artifacts 2

main.yml

on: push
Matrix: native-binaries
Matrix: main
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
native-binaries (4.09.1, macos-12)
darcs has been deprecated because it depends on GHC 8.10 to build!
main (temurin, 17, 3.9.5, ubuntu-22.04)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.

Artifacts

Produced during runtime
Name Size
Linux-binaries Expired
3.91 MB
macOS-binaries Expired
2.56 MB