cbmc-6.3.1 tag should be cbmc-d2b4455a109383562735cfb8b52ed8a6d2b6e197 but is actually d2b4455a109383562735cfb8b52ed8a6d2b6e197

cbmc-6.3.1 tag should be cbmc-d2b4455a109383562735cfb8b52ed8a6d2b6e197 but is actually d2b4455a109383562735cfb8b52ed8a6d2b6e197

==> Fetching diffblue/cbmc/cbmc@6.3.1 ==> Cloning https://github.com/diffblue/cbmc.git Updating /Users/runner/Library/Caches/Homebrew/cbmc@6.3.1--git /usr/bin/env git config remote.origin.url https://github.com/diffblue/cbmc.git /usr/bin/env git config remote.origin.fetch +refs/tags/cbmc-6.3.1:refs/tags/cbmc-6.3.1 /usr/bin/env git config remote.origin.tagOpt --no-tags /usr/bin/env git config advice.detachedHead false /usr/bin/env git config core.fsmonitor false ==> Checking out tag cbmc-6.3.1 /usr/bin/env git checkout -f cbmc-6.3.1 -- HEAD is now at d2b4455a10 Merge pull request #8462 from tautschnig/release-6.3.1 /usr/bin/env git reset --hard cbmc-6.3.1 -- HEAD is now at d2b4455a10 Merge pull request #8462 from tautschnig/release-6.3.1 /usr/bin/env git submodule foreach --recursive git\ submodule\ sync Entering 'jbmc/lib/java-models-library' /usr/bin/env git submodule update --init --recursive /usr/bin/env git submodule --quiet foreach --recursive pwd /Users/runner/Library/Caches/Homebrew/cbmc@6.3.1--git/jbmc/lib/java-models-library Error: cbmc-6.3.1 tag should be cbmc-d2b4455a109383562735cfb8b52ed8a6d2b6e197 but is actually d2b4455a109383562735cfb8b52ed8a6d2b6e197 ::error::cbmc-6.3.1 tag should be cbmc-d2b4455a109383562735cfb8b52ed8a6d2b6e197%0Abut is actually d2b4455a109383562735cfb8b52ed8a6d2b6e197%0A

install failed

Process completed with exit code 1.