GHC (build, test, haddock)

Ensure the rule conversion leaves no metavariables #107

Sign in to view logs

Triggered via pull request February 2, 2024 12:19

aabounegm

opened #88

check-for-metavars

Status Success

Total duration 20m 40s

Artifacts –

ghc.yml

on: pull_request

Matrix: Build and test with GHC

Matrix: Run pipeline

Build and upload Haddock documentation (master)