-
Notifications
You must be signed in to change notification settings - Fork 63
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'static-schedule' into static-update-instr
- Loading branch information
Showing
598 changed files
with
4,249 additions
and
1,536 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,38 @@ | ||
name: Latest release | ||
description: Report the latest release of the current repo | ||
outputs: | ||
ref: | ||
value: ${{ steps.find.outputs.ref }} | ||
description: The latest semver tag | ||
ver: | ||
value: ${{ steps.find.outputs.ver }} | ||
description: The semver corresponding to the latest semver tag | ||
|
||
runs: | ||
using: "composite" | ||
steps: | ||
- name: Install semver-tool | ||
run: | | ||
wget -O /usr/local/bin/semver https://raw.githubusercontent.com/fsaintjacques/semver-tool/master/src/semver | ||
chmod +x /usr/local/bin/semver | ||
semver --version | ||
shell: bash | ||
- name: Fetch all tags | ||
run: git fetch --all --tags | ||
shell: bash | ||
- name: Fetch latest-release script | ||
run: | | ||
wget https://raw.githubusercontent.com/lf-lang/lingua-franca/master/.github/scripts/latest-release.sh | ||
chmod +x latest-release.sh | ||
shell: bash | ||
- name: Find the latest release | ||
id: find | ||
run: | | ||
export tag=$(./latest-release.sh) | ||
echo "ref=${tag}" >> $GITHUB_OUTPUT | ||
shopt -s extglob | ||
export ver="${tag##v}" | ||
echo "ver=${ver}" >> $GITHUB_OUTPUT | ||
echo "Latest release tag: ${tag}" | ||
echo "Without a leading 'v': ${ver}" | ||
shell: bash |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,42 +1,13 @@ | ||
name: Prepare build environment (Linux only) | ||
description: Set up Java, Maven, Gradle, etc. | ||
name: Set up build environment | ||
description: Set up Java and Gradle (including caching). | ||
runs: | ||
using: "composite" | ||
steps: | ||
- name: Set up Java 17 | ||
run: | | ||
echo "$JAVA_HOME_17_X64/bin" >> $GITHUB_PATH | ||
echo "org.gradle.java.home=${JAVA_HOME_17_X64//\\/\/}" >> gradle.properties | ||
echo "JAVA_HOME=$JAVA_HOME_17_X64" >> $GITHUB_ENV | ||
shell: bash | ||
- name: Check settings | ||
run: | | ||
echo $(which java) | ||
cat gradle.properties | ||
echo $JAVA_HOME | ||
shell: bash | ||
- name: Create hash of Gradle configuration (macOS only) | ||
run: | | ||
echo "gradle-hash"="$(find . -type f \( -name "gradle.properties" -o -name "gradle-wrapper.properties" \) -exec cat {} + | shasum -a 256 | cut -d ' ' -f 1)" >> $GITHUB_ENV | ||
if: ${{ runner.os == 'macOS' }} | ||
shell: bash | ||
- name: Create hash of Gradle configuration (Linux and Windows only) | ||
run: | | ||
echo "gradle-hash"="$(find . -type f \( -name "gradle.properties" -o -name "gradle-wrapper.properties" \) -exec cat {} + | sha256sum | cut -d ' ' -f 1)" >> $GITHUB_ENV | ||
if: ${{ runner.os == 'Windows' || runner.os == 'Linux' }} | ||
shell: bash | ||
- name: Cache | ||
uses: actions/cache@v3 | ||
- uses: actions/setup-java@v3 | ||
with: | ||
path: | | ||
~/.gradle/caches | ||
~/.gradle/wrapper | ||
key: gradle-${{ runner.os }}-${{ env.gradle-hash }} | ||
# restore-keys: | | ||
# ${{ runner.os }}-gradle- | ||
- name: Bring down Gradle daemon (Windows) | ||
uses: webiny/[email protected] | ||
id: post-run-command | ||
distribution: temurin | ||
java-version: 17 | ||
- name: Gradle Build Action | ||
uses: gradle/[email protected] | ||
with: | ||
run: ./gradlew --stop | ||
if: ${{ runner.os == 'Windows' }} | ||
cache-read-only: false |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,34 @@ | ||
name: Load global configuration settings for francabot | ||
description: Set up author information and GPG signature | ||
author: Marten Lohstroh <[email protected]> | ||
|
||
inputs: | ||
gpg-key: | ||
description: 'francabot GPG key' | ||
required: true | ||
gpg-passphrase: | ||
description: 'francabot GPG passphrase' | ||
required: true | ||
|
||
runs: | ||
using: composite | ||
steps: | ||
- name: Set environment variables | ||
run: | | ||
echo "username=lingua-franca[bot]" >> "$GITHUB_ENV" | ||
echo "[email protected]" >> "$GITHUB_ENV" | ||
echo "user-and-email=lingua-franca[bot] <[email protected]>" >> "$GITHUB_ENV" | ||
shell: bash | ||
- name: Configure git username and email | ||
run: | | ||
git config --global user.name '${{ env.username }}' | ||
git config --global user.email '${{ env.email }}' | ||
shell: bash | ||
- name: Import GPG key | ||
uses: crazy-max/ghaction-import-gpg@v5 | ||
with: | ||
gpg_private_key: ${{ inputs.gpg-key }} | ||
passphrase: ${{ inputs.gpg-passphrase }} | ||
git_config_global: true | ||
git_user_signingkey: true | ||
git_commit_gpgsign: true |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.