Skip to content
Haskell-CI

Only check for escaped skolem variables among those just generated #5879

Sign in to view logs

Only check for escaped skolem variables among those just generated

Only check for escaped skolem variables among those just generated #5879

Triggered via pull request August 9, 2024 17:08
@byorgeybyorgey
opened #2104
fix-skolem-check
Status Success
Total duration 14m 23s
Artifacts –

haskell-ci.yml

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