Skip to content
CI

Require dependencies when inductives are in types #38

Sign in to view logs

Require dependencies when inductives are in types

Require dependencies when inductives are in types #38

Triggered via pull request November 6, 2025 15:25
@flupeflupe
opened #21
flupe:issue20
Status Success
Total duration 18m 22s
Artifacts –

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
ubuntu-latest / GHC 9.10.1: src/SExpr.hs#L190
In the use of ‘head’