Skip to content
CI

feat(Modal): Kripke Incompleteness of πŠπ‡ #803

Sign in to view logs

feat(Modal): Kripke Incompleteness of πŠπ‡

feat(Modal): Kripke Incompleteness of πŠπ‡ #803

Triggered via pull request November 14, 2024 04:03
@SnO2WMaNSnO2WMaN
synchronize #110
KH-incompleteness
Status Success
Total duration 3m 3s
Artifacts –

ci.yml

on: pull_request
Build project
2m 53s
Build project
Fit to window
Zoom out
Zoom in