build

0.11.0 #100

Triggered via push July 1, 2024 18:25

gebner

main

Status Success

Total duration 47s

Artifacts 1

ci.yml

on: push

Produced during runtime

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