Skip to content
CI

added flag for rocq/ast output #26

Sign in to view logs

added flag for rocq/ast output

added flag for rocq/ast output #26

Triggered via push January 29, 2025 09:55
@flupeflupe
pushed 8705a83
master
Status Success
Total duration 2m 45s
Artifacts –

ci.yml

on: push
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’