CI

CI #2950

Sign in to view logs

Triggered via schedule July 25, 2026 05:40

SebTardif

main

Status Success

Total duration 4m 4s

Artifacts –

ci.yml

on: schedule

Workflow sanity

Pipeline benchmarks

Generated code compiles

CVC5 native tests

Tree-sitter grammar tests

VS Code extension compiles

Cargo package (publishable)

Annotations

1 warning

'before' field is missing in event payload - changes will be detected from last commit