Support building Dafny from source #111
Annotations
10 errors
|
setup-dafny-action nightly-2023-02-28-80a0e49
The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.
|
|
setup-dafny-action nightly-2023-02-28-80a0e49
The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.
|
|
setup-dafny-action nightly-2023-02-28-80a0e49
The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.
|
|
setup-dafny-action nightly-2023-02-28-80a0e49
The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.
|
|
setup-dafny-action nightly-2023-02-28-80a0e49
The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.
|
|
setup-dafny-action nightly-2023-02-28-80a0e49
The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.
|
|
setup-dafny-action nightly-2023-02-28-80a0e49
The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.
|
|
setup-dafny-action nightly-2023-02-28-80a0e49
The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.
|
|
setup-dafny-action nightly-2023-02-28-80a0e49
The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.
|
|
setup-dafny-action nightly-2023-02-28-80a0e49
The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.
|
Loading