Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Add fallback to old SMT generator #45

Add fallback to old SMT generator

Add fallback to old SMT generator #45

Triggered via push February 10, 2025 09:23
Status Success
Total duration 9m 45s
Artifacts

test.yml

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

Annotations

12 warnings
build (ubuntu-latest, 4.14.1)
Tab character found here, and in 266 further locations.
build (ubuntu-latest, 4.14.1)
Tab character found here, and in 28 further locations.
build (ubuntu-latest, 4.14.1)
Tab character found here, and in 11 further locations.
build (ubuntu-latest, 4.14.1)
Tab character found here.
build (ubuntu-latest, 4.14.1)
Tab character found here, and in 7 further locations.
build (ubuntu-latest, 4.14.1)
Noncanonical ‘return’ definition detected
build (ubuntu-latest, 4.14.1)
Noncanonical ‘pure = return’ definition detected
build (ubuntu-latest, 4.14.1)
Noncanonical ‘return’ definition detected
build (ubuntu-latest, 4.14.1)
Noncanonical ‘pure = return’ definition detected
build (ubuntu-latest, 4.14.1)
Tab character found here.
build (ubuntu-latest, 4.14.1)
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, 4.14.1)
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']