crucible-jvm builds

Bump What4 submodule, adapt to `BoolMap` changes (#1306) #905

Sign in to view logs

Triggered via push February 12, 2025 15:36

langston-barrett

master

Status Success

Total duration 16m 30s

Artifacts –

crucible-jvm-build.yml

on: push

Matrix: build

Annotations

1 warning

crucible-jvm - GHC v9.8.2 - ubuntu-22.04

Cache save failed.