Skip to content

fix: rewrite AlgebraicProperties to use Patterns predicates #10

fix: rewrite AlgebraicProperties to use Patterns predicates

fix: rewrite AlgebraicProperties to use Patterns predicates #10

Triggered via push January 12, 2026 19:57
Status Failure
Total duration 1m 36s
Artifacts

ci.yml

on: push
Build quickchpl
38s
Build quickchpl
Code Quality
5s
Code Quality
Generate API Documentation
43s
Generate API Documentation
Matrix: test-matrix
Unit Tests
51s
Unit Tests
Example Programs
44s
Example Programs
Property-Based Self Tests
42s
Property-Based Self Tests
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Example Programs
Process completed with exit code 1.
Generate API Documentation
No files were found with the provided path: docs/api/. No artifacts will be uploaded.