Skip to content
CI

merge grego-dev #16

Sign in to view logs

merge grego-dev

merge grego-dev #16

Triggered via pull request February 9, 2026 15:12
@GregoJacaGregoJaca
synchronize #5
grego-dev
Status Failure
Total duration 19s
Artifacts –

ci.yml

on: pull_request
lint
8s
lint
test
12s
test
test-with-z3
14s
test-with-z3
Fit to window
Zoom out
Zoom in

Annotations

2 errors
lint
Process completed with exit code 1.
test
Process completed with exit code 1.