Skip to content
Build

Support restricted form of entailment: C a => C (t a) (e.g. Eq a => Eq [a]) #236

Sign in to view logs

Support restricted form of entailment: C a => C (t a) (e.g. Eq a => Eq [a])

Support restricted form of entailment: C a => C (t a) (e.g. Eq a => Eq [a]) #236

Triggered via pull request April 17, 2026 13:26
@chrisdone-artificialchrisdone-artificial
synchronize #114
cd/2026-04-15-entailment
Status Failure
Total duration 4m 10s
Artifacts –

main.yml

on: pull_request
build
4m 6s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.