forked from dafny-lang/dafny
61 lines (53 loc) · 1.79 KB
/
nightly-build-reusable.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
# This workflow includes more expensive tests than what is run on every PR, that are unlikely to break on most changes.
# It also optionally publishes a nightly prerelease.
name: Nightly test and release workflow (Reusable Workflow)
on:
workflow_call:
inputs:
ref:
required: true
type: string
publish-prerelease:
required: false
type: boolean
default: false
secrets:
# Required if publish-prerelease is true
nuget_api_key:
required: false
jobs:
deep-integration-tests:
if: github.repository_owner == 'dafny-lang'
uses: ./.github/workflows/integration-tests-reusable.yml
with:
ref: ${{ inputs.ref }}
all_platforms: true
num_shards: 5
determine-vars:
if: github.repository_owner == 'dafny-lang' && inputs.publish-prerelease
runs-on: ubuntu-22.04
steps:
- name: Checkout Dafny
uses: actions/checkout@v4
with:
ref: ${{ inputs.ref }}
submodules: recursive
- name: Get short sha
run: echo "sha_short=`git rev-parse --short HEAD`" >> $GITHUB_ENV
- name: Get current date
run: echo "date=`date +'%Y-%m-%d'`" >> $GITHUB_ENV
outputs:
name: nightly-${{ env.date }}-${{ env.sha_short }}
publish-release:
uses: ./.github/workflows/publish-release-reusable.yml
needs: [deep-integration-tests, determine-vars]
with:
name: ${{ needs.determine-vars.outputs.name }}
ref: ${{ inputs.ref }}
tag_name: nightly
release_nuget: true
draft: false
release_notes: "This is an automatically published nightly release. This release may not be as stable as versioned releases and does not contain release notes."
prerelease: true
secrets:
nuget_api_key: ${{ secrets.nuget_api_key }}