Skip to content

Traverse: added controls for shifting whole traverses up #28

Traverse: added controls for shifting whole traverses up

Traverse: added controls for shifting whole traverses up #28

Triggered via push November 22, 2024 15:27
Status Success
Total duration 14m 57s
Artifacts

testrelease.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
windows
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-dotnet@v1, actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
windows
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v1, actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
windows: Build.fs#L251
This construct is deprecated. WebRequest, HttpWebRequest, ServicePoint, and WebClient are obsolete. Use HttpClient instead.
windows: Build.fs#L472
This construct is deprecated. WebRequest, HttpWebRequest, ServicePoint, and WebClient are obsolete. Use HttpClient instead.
windows
The use of native pointers may result in unverifiable .NET IL code
windows
The use of native pointers may result in unverifiable .NET IL code
windows
The use of native pointers may result in unverifiable .NET IL code
windows
This construct is deprecated. WebRequest, HttpWebRequest, ServicePoint, and WebClient are obsolete. Use HttpClient instead.
windows
This construct is deprecated. WebRequest, HttpWebRequest, ServicePoint, and WebClient are obsolete. Use HttpClient instead.
windows
Uses of this construct may result in the generation of unverifiable .NET IL code. This warning can be disabled using '--nowarn:9' or '#nowarn "9"'.
windows
This construct is deprecated. WebRequest, HttpWebRequest, ServicePoint, and WebClient are obsolete. Use HttpClient instead.
windows
This construct is deprecated. WebRequest, HttpWebRequest, ServicePoint, and WebClient are obsolete. Use HttpClient instead.