Compile blueprint

feat: more lemmas #31

Sign in to view logs

Triggered via push October 25, 2024 03:03

Vtec234

master

Status Success

Total duration 10m 3s

Artifacts –

blueprint.yml

on: push