lint

Disable timeout test for CVC4 1.8 #43

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Triggered via pull request February 5, 2025 15:11

langston-barrett

opened #283

lb/cvc4-timeout

Status Success

Total duration 1m 14s

Artifacts –

lint.yml

on: pull_request