Test

Add some notes on proofs with empty domains #162

Sign in to view logs

Triggered via push January 28, 2026 01:57

v--

master

Status Success

Total duration 46s

Artifacts –

test.yml

on: push