Build and Test on windows

Prooftree-- natural deduction trees #2685

Sign in to view logs

Re-run triggered December 22, 2025 13:26

da-liii

#2300

FallenSky2077:prooftree

Status Success

Total duration 13m 2s

Artifacts –

ci-xmake-windows.yml

on: pull_request