Skip to content
CI

Add Trivial Modal Logics, Empty and Univ (#205) #923

Sign in to view logs

Add Trivial Modal Logics, Empty and Univ (#205)

Add Trivial Modal Logics, Empty and Univ (#205) #923

Triggered via push February 15, 2025 06:48
@SnO2WMaNSnO2WMaN
pushed 4f2f6d4
master
Status Success
Total duration 1m 52s
Artifacts –

ci.yml

on: push
Build project
1m 43s
Build project
Fit to window
Zoom out
Zoom in