Release

K Framework Release v7.1.47 #1391

Sign in to view logs

Annotations

4 errors and 1 warning

runtimeverification/k/kframework 7.1.47 did not build

Process completed with exit code 1.

The process '/opt/homebrew/bin/git' failed with exit code 1

ambiguous argument 'HEAD': unknown revision or path not in the working tree.

Unable to clean or reset the repository. The repository will be recreated instead.

The logs for this run have expired and are no longer available.