add some liquid refinements to some list sizes in quarterround #103

Sign in to view logs

Triggered via push November 15, 2023 23:24

oxarbitrage

main

Status Success

Total duration 6m 43s

Artifacts –

haskell.yml

on: push

Matrix: build