Skip to content
Build time benchmarks

refactor(sat): stop saving the sat problem for every clause (#11427) #2851

Sign in to view logs

refactor(sat): stop saving the sat problem for every clause (#11427)

refactor(sat): stop saving the sat problem for every clause (#11427) #2851

Triggered via push February 1, 2025 23:27
@rgrinbergrgrinberg
pushed a8886c2
main
Status Success
Total duration 13m 20s
Artifacts –

bench.yml

on: push
Matrix: Build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Build (ubuntu-latest, 5.1.x)
Unexpected input(s) 'opam-depext', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
Build (ubuntu-latest, 5.1.x)
Unexpected input(s) 'opam-depext', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']