Skip to content
Build

Add SOP on how to create a new release (#404) #1335

Sign in to view logs

Add SOP on how to create a new release (#404)

Add SOP on how to create a new release (#404) #1335

Triggered via pull request December 21, 2025 12:56
@filipeomfilipeom
synchronize #493
filipe/issue-404
Status Failure
Total duration 35m 54s
Artifacts –

build.yml

on: pull_request
lint
4m 11s
lint
Matrix: build
Matrix: test-solver
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
Test cvc5
Process completed with exit code 1.
Test colibri2
Failed to save: Unable to reserve cache with key v1-setup-ocaml-dune-linux-x86_64-a14c3915cb2cd0dc71352a018ff3a1f36864e6ae2ac49e2b9221aafc37da950e-20410146037, another job may be creating this cache.
Test bitwuzla-cxx
Failed to save: Unable to reserve cache with key v1-setup-ocaml-dune-linux-x86_64-a14c3915cb2cd0dc71352a018ff3a1f36864e6ae2ac49e2b9221aafc37da950e-20410146037, another job may be creating this cache.
Test z3
Failed to save: Unable to reserve cache with key v1-setup-ocaml-dune-linux-x86_64-a14c3915cb2cd0dc71352a018ff3a1f36864e6ae2ac49e2b9221aafc37da950e-20410146037, another job may be creating this cache.