formalism: Add title #150

Sign in to view logs

Triggered via push October 10, 2023 07:29

mirryi

popl24-artifact

Status Success

Total duration 3m 43s

Artifacts 1

formalism.yaml

on: push

Build formalism.pdf

Artifacts

Produced during runtime

Name	Size
formalism Expired	287 KB