Skip to content

Update Proj-Info to use FCS and FSharp.Core from 9.0.100 #644

Update Proj-Info to use FCS and FSharp.Core from 9.0.100

Update Proj-Info to use FCS and FSharp.Core from 9.0.100 #644

Triggered via pull request November 14, 2024 18:01
Status Failure
Total duration 28s
Artifacts

build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

9 errors and 9 warnings
Build on ubuntu-latest for 9.0 stable
Failed to install dotnet, exit code: 1. dotnet_install: Error: Could not find `.NET Core SDK` with version = 8.0.0 dotnet_install: Error: Refer to: https://aka.ms/dotnet-os-lifecycle for information on .NET Core support
Build on ubuntu-latest for 8.0 stable
Failed to install dotnet, exit code: 1. dotnet_install: Error: Could not find `.NET Core SDK` with version = 8.0.0 dotnet_install: Error: Refer to: https://aka.ms/dotnet-os-lifecycle for information on .NET Core support
Build on macOS-latest for 8.0 stable
Failed to install dotnet, exit code: 1. dotnet_install: Error: Could not find `.NET Core SDK` with version = 8.0.0 dotnet_install: Error: Refer to: https://aka.ms/dotnet-os-lifecycle for information on .NET Core support
Build on macOS-latest for 9.0 stable
Failed to install dotnet, exit code: 1. dotnet_install: Error: Could not find `.NET Core SDK` with version = 8.0.0 dotnet_install: Error: Refer to: https://aka.ms/dotnet-os-lifecycle for information on .NET Core support
Build on macOS-latest for repo global.json
Failed to install dotnet, exit code: 1. dotnet_install: Error: Could not find `.NET Core SDK` with version = 8.0.0 dotnet_install: Error: Refer to: https://aka.ms/dotnet-os-lifecycle for information on .NET Core support
Build on ubuntu-latest for repo global.json
Failed to install dotnet, exit code: 1. dotnet_install: Error: Could not find `.NET Core SDK` with version = 8.0.0 dotnet_install: Error: Refer to: https://aka.ms/dotnet-os-lifecycle for information on .NET Core support
Build on windows-latest for repo global.json
Failed to install dotnet, exit code: 1. dotnet-install: Downloading from "primary" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 Downloading from "primary" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 dotnet-install: Downloading from "primary" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 Downloading from "primary" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 dotnet-install: Downloading from "primary" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 Downloading from "primary" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 dotnet-install: Downloading from "primary" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://do
Build on windows-latest for 8.0 stable
Failed to install dotnet, exit code: 1. dotnet-install: Downloading from "primary" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 Downloading from "primary" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 dotnet-install: Downloading from "primary" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 Downloading from "primary" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 dotnet-install: Downloading from "primary" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 Downloading from "primary" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 dotnet-install: Downloading from "primary" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://do
Build on windows-latest for 9.0 stable
Failed to install dotnet, exit code: 1. dotnet-install: Downloading from "primary" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 Downloading from "primary" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 dotnet-install: Downloading from "primary" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 Downloading from "primary" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 dotnet-install: Downloading from "primary" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 Downloading from "primary" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://dotnetbuilds.azureedge.net/public/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip. Returned HTTP status code: 404 dotnet-install: Downloading from "primary" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip StatusCode: 404 Error: Unable to download https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-sdk-8.0.0-win-x64.zip. Returned HTTP status code: 404 Downloading from "legacy" link has failed with error: Uri: https://dotnetcli.azureedge.net/dotnet/Sdk/8.0.0/dotnet-dev-win-x64.8.0.0.zip StatusCode: 404 Error: Unable to download https://do
Build on ubuntu-latest for 9.0 stable
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Build on ubuntu-latest for 8.0 stable
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Build on macOS-latest for 8.0 stable
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Build on macOS-latest for 9.0 stable
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Build on macOS-latest for repo global.json
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Build on ubuntu-latest for repo global.json
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Build on windows-latest for repo global.json
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Build on windows-latest for 8.0 stable
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Build on windows-latest for 9.0 stable
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/