Skip to content
CI

Refine counterexample generation #29

Sign in to view logs

Refine counterexample generation

Refine counterexample generation #29

Triggered via push November 30, 2025 23:04
@LipenLipen
pushed a0e0e75
master
Status Failure
Total duration 2m 7s
Artifacts –

ci.yml

on: push
Test on Linux
15s
Test on Linux
Test on Windows
42s
Test on Windows
Rustfmt
10s
Rustfmt
Clippy
19s
Clippy
Render PDFs
2m 3s
Render PDFs
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 2 warnings
Test on Linux
Process completed with exit code 101.
Clippy
Process completed with exit code 101.
Test on Windows
Process completed with exit code 101.
Render PDFs
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>09M0saQAAAADuGJctfTtGRJS2ufRGtFGuUEFPRURHRTA1MTkARWRnZQ==
Render PDFs
Failed to restore: Cache service responded with 400