build

Correctly highlight assume. #114

Triggered via push October 16, 2024 22:29

gebner

main

Status Success

Total duration 37s

Artifacts 1

ci.yml

on: push

Produced during runtime

Name	Size	Digest
fstar-vscode-assistant Expired	430 KB	`sha256:0ac3f7f38173f5ba25e21001211238e6665c70e3f1feb51d13406d8eed0d9699`