Skip to content

Bump edu.uiowa.cs.clc:kind2-java-api from 0.3.6 to 0.3.8 in /tools #500

Bump edu.uiowa.cs.clc:kind2-java-api from 0.3.6 to 0.3.8 in /tools

Bump edu.uiowa.cs.clc:kind2-java-api from 0.3.6 to 0.3.8 in /tools #500

Triggered via push May 7, 2024 12:50
Status Success
Total duration 13m 24s
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