Skip to content

unify notation with annotation system and fix not formalized part #15

unify notation with annotation system and fix not formalized part

unify notation with annotation system and fix not formalized part #15

Triggered via push June 26, 2024 05:42
Status Success
Total duration 17s
Artifacts 1

build.yaml

on: push
build_typst_documents
8s
build_typst_documents
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Kt-Uniqueness-System-2024-06-26-05_43 Expired
413 KB