Skip to content

attempt to fix github CI (upgraded yml & build dependencies) #1182

attempt to fix github CI (upgraded yml & build dependencies)

attempt to fix github CI (upgraded yml & build dependencies) #1182

Triggered via push October 21, 2024 19:07
Status Success
Total duration 5m 39s
Artifacts

mac.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-dotnet@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-dotnet@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build: Build.fs#L251
This construct is deprecated. WebRequest, HttpWebRequest, ServicePoint, and WebClient are obsolete. Use HttpClient instead.
build: Build.fs#L469
This construct is deprecated. WebRequest, HttpWebRequest, ServicePoint, and WebClient are obsolete. Use HttpClient instead.
build
The use of native pointers may result in unverifiable .NET IL code
build
The use of native pointers may result in unverifiable .NET IL code
build
The use of native pointers may result in unverifiable .NET IL code
build
This construct is deprecated. WebRequest, HttpWebRequest, ServicePoint, and WebClient are obsolete. Use HttpClient instead.
build
This construct is deprecated. WebRequest, HttpWebRequest, ServicePoint, and WebClient are obsolete. Use HttpClient instead.
build
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"'.
build
This construct is deprecated. WebRequest, HttpWebRequest, ServicePoint, and WebClient are obsolete. Use HttpClient instead.
build
This construct is deprecated. WebRequest, HttpWebRequest, ServicePoint, and WebClient are obsolete. Use HttpClient instead.