Haskell-CI

Refactor `Data.Vec.Properties` : Add toList-injective and new lemmas #2121

Sign in to view logs

Triggered via pull request June 11, 2025 17:29

jmougeot

synchronize #2733

jmougeot:VecPropreties

Status Success

Total duration 2m 50s

Artifacts –

haskell-ci.yml

on: pull_request

Matrix: linux