Test PR

Update dependency: deps/hs-backend-booster_release #4719

Sign in to view logs

Re-run triggered March 27, 2024 10:33

geo2a

#4125

_update-deps/runtimeverification/hs-backend-booster

Status Success

Total duration 33m 34s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Check code formatting

K Ubuntu Jammy Package

Performance Tests

Annotations

1 warning

Nix flake (self-hosted, linux, normal)

Cachix Daemon is not supported by this version of Cachix (1.6.0). Ignoring the 'useDaemon' option.