CI

Update interpret_sygus #55

Sign in to view logs

Triggered via pull request February 17, 2026 10:11

THinnerichs

synchronize #101

fix/sygus_interpret

Status Failure

Total duration 2m 36s

Artifacts –

CI.yml

on: pull_request

Matrix: test

Annotations

2 errors and 2 warnings

Julia 1.10 - ubuntu-latest - x64 - pull_request

Process completed with exit code 1.

Julia 1 - ubuntu-latest - x64 - pull_request

Process completed with exit code 1.

Julia 1.10 - ubuntu-latest - x64 - pull_request

Failed to restore: Cache service responded with 400

Julia 1 - ubuntu-latest - x64 - pull_request

Failed to restore: Cache service responded with 400