Build and Test

Avoid leaking p? in check-satisfied to anonymous λ #389

Sign in to view logs

Re-run triggered December 27, 2024 03:13

shhyou

master

Status Success

Total duration 14m 25s

Artifacts –

ci.yml

on: push

Matrix: build-test