[Bug] - Fails to build: Could not resolve dependencies for project

K Version

5.3.178

Description

[INFO] This project has been banned from the build due to previous failures.
[INFO] ------------------------------------------------------------------------
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for K Framework Tool Parent 1.0-SNAPSHOT:
[INFO] 
[INFO] K Framework Tool Parent ............................ SUCCESS [  3.545 s]
[INFO] K Framework KORE ................................... SUCCESS [  2.481 s]
[INFO] K Framework Tool Kernel ............................ SUCCESS [  1.956 s]
[INFO] K Framework KTree .................................. SUCCESS [  0.683 s]
[INFO] K Framework Java Backend ........................... FAILURE [  0.081 s]
[INFO] K Framework Haskell Backend ........................ FAILURE [  0.038 s]
[INFO] K Framework LLVM Backend Pattern Matching .......... SUCCESS [  7.650 s]
[INFO] K Framework LLVM Backend ........................... FAILURE [  0.024 s]
[INFO] K Framework Tool Distribution ...................... SKIPPED
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time:  17.634 s
[INFO] Finished at: 2022-08-29T16:13:33-07:00
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal on project java-backend: Could not resolve dependencies for project com.runtimeverification.k:java-backend:jar:1.0-SNAPSHOT: com.runtimeverification.k:kernel:jar:tests:1.0-SNAPSHOT was not found in https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/snapshots during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of runtime.verification.snapshots has elapsed or updates are forced -> [Help 1]
[ERROR] Failed to execute goal on project haskell-backend: Could not resolve dependencies for project com.runtimeverification.k:haskell-backend:jar:1.0-SNAPSHOT: com.runtimeverification.k:kernel:jar:tests:1.0-SNAPSHOT was not found in https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/snapshots during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of runtime.verification.snapshots has elapsed or updates are forced -> [Help 1]
[ERROR] Failed to execute goal on project llvm-backend: Could not resolve dependencies for project com.runtimeverification.k:llvm-backend:jar:1.0-SNAPSHOT: com.runtimeverification.k:kernel:jar:tests:1.0-SNAPSHOT was not found in https://s3.us-east-2.amazonaws.com/runtimeverificationmaven/snapshots during a previous attempt. This failure was cached in the local repository and resolution is not reattempted until the update interval of runtime.verification.snapshots has elapsed or updates are forced -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/DependencyResolutionException
[ERROR] 
[ERROR] After correcting the problems, you can resume the build with the command
[ERROR]   mvn <args> -rf :java-backend
*** Error code 1

Java 17
maven-3.8.6
FreeBSD 13.1

Start by rerunning the Maven reactor build with the reported Java 17, Maven 3.8.6, and FreeBSD 13.1 setup, using the java-backend, haskell-backend, and llvm-backend failures as entry points. Inspect resolution of the kernel tests artifact from the runtimeverification snapshots repository; done means the dependencies resolve and the affected modules build successfully.