Skip to content
CI

Add SubLogic to Modal Logics #909

Sign in to view logs

Add SubLogic to Modal Logics

Add SubLogic to Modal Logics #909

Triggered via pull request February 14, 2025 08:28
@SnO2WMaNSnO2WMaN
opened #202
ModalLogicSublogic
Status Success
Total duration 6m 43s
Artifacts –

ci.yml

on: pull_request
Build project
6m 32s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build project
Cache not found for keys: lake-Linux-83011278251fe54d582fdee9253e4b8ab5cf18eaecf70f16ff6cdaa10736d45a-550ce2ff61609f9e99273c59091a34989705dc440093b974e92c6df823351e5f-41f2cf04005018df233a8a91f8aa2cf69b15a55b, lake-Linux-83011278251fe54d582fdee9253e4b8ab5cf18eaecf70f16ff6cdaa10736d45a-550ce2ff61609f9e99273c59091a34989705dc440093b974e92c6df823351e5f