build

0.12.0 #103

Triggered via push August 22, 2024 17:28

gebner

main

Status Success

Total duration 50s

Artifacts 1

ci.yml

on: push

Produced during runtime

Name	Size	Digest
fstar-vscode-assistant Expired	434 KB	`sha256:cb34440d6d1296c340a20f463f27ed8396d00d7414babd62238d6fd3b708e23b`