build

0.15.0 #113

Triggered via push October 15, 2024 01:04

gebner

main

Status Success

Total duration 39s

Artifacts 1

ci.yml

on: push

Produced during runtime

Name	Size	Digest
fstar-vscode-assistant Expired	430 KB	`sha256:14619b9f0a82ff0a37a6589434ac7b93a38bb95489abba2f8b0728b29a109c62`