Fix "singleton overload" check for user lists · runtimeverification/k@4ddeb27

Triggered via pull request March 26, 2024 12:31

Baltoli

synchronize #4129

Status Failure

Total duration 40m 38s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

1 error and 1 warning

Process completed with exit code 1.

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

Produced during runtime

Name	Size
kframework.deb Expired	163 MB