126 lines (117 loc) · 4.96 KB
/
release-downloads-nuget.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
name: Test NuGet Packages
on:
release:
# This triggers in response to a GitHub release being published,
# which happens to work well because we do that well after first publishing
# to NuGet. That gives at least 10 or 15 minutes for the newly published versions
# of these packages to be available for download here.
#
# Unfortunately that also means this doesn't trigger on the nightly build release,
# since that ends up updating an existing "nightly-..." release rather than creating a new one.
# For now that's a good thing since these jobs only test the latest actual released version,
# but ideally we'd fix both of those issues so that we test the fully NuGet publishing
# workflow in the nightly build.
types: [ published ]
# For manual testing through the Actions UI
workflow_dispatch:
env:
dotnet-version: 6.0.x # SDK Version for running Dafny (TODO: should this be an older version?)
z3BaseUri: https://github.com/dafny-lang/solver-builds/releases/download/snapshot-2023-08-02
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
test-dafny-cli-tool:
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
# This workflow breaks on windows-2022: https://github.com/dafny-lang/dafny/issues/1906
os: [ ubuntu-22.04, ubuntu-20.04, macos-11, windows-2019 ]
steps:
- name: OS
run: echo ${{ runner.os }} ${{ matrix.os }}
- name: Set up JDK 18
uses: actions/setup-java@v4
with:
java-version: 18
distribution: corretto
- name: Setup dotnet
uses: actions/setup-dotnet@v4
with:
dotnet-version: ${{env.dotnet-version}}
- name: Load Z3
shell: pwsh
run: |
Invoke-WebRequest ${{env.z3BaseUri}}/z3-4.12.1-x64-${{matrix.os}}-bin.zip -OutFile z3-4.12.1.zip
Expand-Archive z3-4.12.1.zip .
Remove-Item z3-4.12.1.zip
- name: Set up Z3 (Windows)
if: runner.os == 'Windows'
run: |
mkdir bin
mv z3-4.12.1.exe bin/z3.exe
- name: Set up Z3 (non-Windows)
if: runner.os != 'Windows'
run: |
mkdir bin
mv z3-4.12.1 bin/z3
chmod +x bin/z3
- name: Set Path
if: runner.os != 'Windows'
run: echo "${PWD}/bin" >> $GITHUB_PATH
- name: Set Path - Windows
if: runner.os == 'Windows'
run: $((Resolve-Path -Path "bin").providerPath) | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8 -Append
- name: Download NuGet package
run: dotnet tool install --global Dafny
## Record versions, checking that executables run
- name: Versions
run: |
z3 -version
dafny -version
- name: Fatch latest release version string
id: dafny
continue-on-error: true
uses: pozetroninc/github-action-get-latest-release@v0.5.0
with:
repository: ${{ github.repository }}
excludes: prerelease, draft
- name: Verify Dafny version
if: "${{ steps.dafny.outputs.release != '' }}"
run: version="${{ steps.dafny.outputs.release }}"; dafny -version | grep -iE "Dafny "${version:1}".[0-9]{5}"
shell: bash
## Check that a simple program compiles and runs on each supported platform
## Now that the dotnet tool distribution doesn't include the Scripts,
## so we need to clone the repository to get them.
- name: Checkout Dafny
uses: actions/checkout@v4
with:
submodules: recursive
path: dafny-repo
- name: run quicktests
run: |
npm install bignumber.js
dafny-repo/Scripts/quicktest.sh dafny > log.txt
diff log.txt dafny-repo/Scripts/quicktest.out
test-dafny-libraries:
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
# Hopefully we can automatically populate this list in the future,
# but note we need to skip Dafny since nuget install doesn't work for dotnet tools.
library-name: [ DafnyPipeline, DafnyServer, DafnyLanguageServer, DafnyRuntime, DafnyCore, DafnyDriver ]
# This workflow breaks on windows-2022: https://github.com/dafny-lang/dafny/issues/1906
os: [ ubuntu-latest, ubuntu-20.04, macos-latest, windows-2019 ]
steps:
# Verify that the dependencies of the libraries we publish (e.g. DafnyLanguageServer)
# are also published through NuGet.
# Ideally we would have a test project that actually uses part of the public API of each package.
# The default -DependencyVersion of "Lowest" seems to override the minimum version on transitive dependencies,
# which leads to a spurious circular dependency between DafnyServer and DafnyLanguageServer.
# We use "Highest" instead just to avoid this and still get some validation that all dependencies
# are at least published at all, but it would be great to understand this issue better.
- name: Check library dependencies
run: |
nuget install -Prerelease ${{ matrix.library-name }} -DependencyVersion Highest