Skip to content

Merge pull request #49 from mtzguido/lax #118

Merge pull request #49 from mtzguido/lax

Merge pull request #49 from mtzguido/lax #118

Triggered via push December 27, 2024 00:10
Status Success
Total duration 40s
Artifacts 1

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size Digest
fstar-vscode-assistant Expired
430 KB
sha256:eeee0a9501d87ce9a8b5d8eeaf69db01bfe37f7e0d40aa32335e6c820c73d287