Skip to content
CI

Let the extension use the Dafny server to track changes in the project file #1265

Sign in to view logs

Let the extension use the Dafny server to track changes in the project file

Let the extension use the Dafny server to track changes in the project file #1265

Triggered via pull request September 14, 2023 12:06
@keyboardDrummerkeyboardDrummer
opened #435
keyboardDrummer:trackProjectFiles
Status Success
Total duration 1m 37s
Artifacts 1

ci.yaml

on: pull_request
build
1m 24s
build
release-github
0s
release-github
release-marketplace
0s
release-marketplace
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
package Expired
614 KB