safety.gsn: cosmetic improvement of the editor #795
Workflow file for this run
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
name: FASTEN_CI | |
on: [push, pull_request] | |
env: | |
MPS_VER: "2022.2" | |
GITHUB_ACTOR: ${{ github.actor }} | |
GITHUB_TOKEN: ${{ secrets.FASTEN_GITHUB_PKG_REGISTRY }} | |
jobs: | |
build_fasten_distribution_and_perform_checks: | |
runs-on: ubuntu-latest | |
env: | |
DISPLAY: ':99' | |
steps: | |
- uses: actions/checkout@v2 | |
- name: Set up Gradle | |
run: | | |
echo "$(pwd)/rcp_resources/external_tools" >> $GITHUB_PATH | |
- name: Setup headless environment | |
run: | | |
Xvfb :99 -screen 0 1024x768x24 > /dev/null 2>&1 & | |
- name: Set up JDK 17 | |
uses: actions/setup-java@v1 | |
with: | |
java-version: 17 | |
- name: Resolve MPS | |
uses: gradle/[email protected] | |
with: | |
arguments: resolveMps -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }} | |
- name: Build FASTEN | |
uses: gradle/[email protected] | |
with: | |
arguments: package_fasten_safety_distribution_win -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }} | |
wrapper-cache-enabled: true | |
dependencies-cache-enabled: true | |
dependencies-cache-key: gradle/dependency-locks/** | |
dependencies-cache-exact: true | |
configuration-cache-enabled: true | |
gradle-executable: /home/runner/work/mbeddr.formal/mbeddr.formal/gradlew | |
- name: Check Consistency of the FASTEN-NuSMV Tutorial | |
uses: gradle/[email protected] | |
with: | |
arguments: -PcheckProject=nusmv -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }} | |
wrapper-cache-enabled: true | |
dependencies-cache-enabled: true | |
dependencies-cache-key: gradle/dependency-locks/** | |
configuration-cache-enabled: true | |
gradle-executable: /home/runner/work/mbeddr.formal/mbeddr.formal/gradlew | |
- name: Check Consistency of the FASTEN-Safety Tutorial | |
uses: gradle/[email protected] | |
with: | |
arguments: -PcheckProject=safety -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }} | |
wrapper-cache-enabled: true | |
dependencies-cache-enabled: true | |
dependencies-cache-key: gradle/dependency-locks/** | |
configuration-cache-enabled: true | |
gradle-executable: /home/runner/work/mbeddr.formal/mbeddr.formal/gradlew | |
- name: Run Tests | |
uses: gradle/[email protected] | |
with: | |
arguments: run_all_tests -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }} | |
wrapper-cache-enabled: true | |
dependencies-cache-enabled: true | |
dependencies-cache-key: gradle/dependency-locks/** | |
configuration-cache-enabled: true | |
gradle-executable: /home/runner/work/mbeddr.formal/mbeddr.formal/gradlew | |
- name: Publish Test Report | |
uses: mikepenz/action-junit-report@v2 | |
with: | |
fail_on_failure: true | |
report_paths: 'build/**/TEST*.xml' | |
github_token: ${{ secrets.GITHUB_TOKEN }} | |
#- name: Publish to Github Maven | |
# uses: gradle/[email protected] | |
# with: | |
# arguments: publishNuSMVLanguagesPublicationToGitHubPackagesRepository -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }} | |
# wrapper-cache-enabled: true | |
# dependencies-cache-enabled: true | |
# dependencies-cache-key: gradle/dependency-locks/** | |
# dependencies-cache-exact: true | |
# configuration-cache-enabled: true | |
# gradle-executable: /home/runner/work/mbeddr.formal/mbeddr.formal/gradlew | |
- name: Get Current Time | |
id: time | |
uses: nanzm/[email protected] | |
with: | |
timeZone: 2 | |
format: 'YYYY-MM-DD-HH-mm' | |
#- name: Debug Directory Layout | |
# run: | | |
# ls -alR build/artifacts/com.mbeddr.formal.safetyDistribution | |
- name: Archive distribution | |
uses: actions/upload-artifact@v2 | |
with: | |
name: fasten-distribution-win-2021.3-${{ steps.time.outputs.time }} | |
path: build/distributions/fasten-2021.3-SNAPSHOT-Win-2021.3-SNAPSHOT.zip | |
build_fasten_assurance_package: | |
runs-on: ubuntu-latest | |
env: | |
DISPLAY: ':99' | |
steps: | |
- uses: actions/checkout@v2 | |
- name: Setup headless environment | |
run: | | |
Xvfb :99 -screen 0 1024x768x24 > /dev/null 2>&1 & | |
- name: Set up JDK 17 | |
uses: actions/setup-java@v1 | |
with: | |
java-version: 17 | |
#- name: Build FASTEN Assurance Distribution | |
# uses: gradle/[email protected] | |
# with: | |
# arguments: package_assurance -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }} | |
# wrapper-cache-enabled: true | |
# dependencies-cache-enabled: true | |
# dependencies-cache-key: gradle/dependency-locks/** | |
# dependencies-cache-exact: true | |
# configuration-cache-enabled: true | |
# gradle-executable: /home/runner/work/mbeddr.formal/mbeddr.formal/gradlew | |
- name: Build and Publish FASTEN Assurance to Github Maven Packages | |
uses: gradle/[email protected] | |
with: | |
arguments: publishFASTENSafetyLanguagesPublicationToGitHubPackagesRepository -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }} | |
wrapper-cache-enabled: true | |
dependencies-cache-enabled: true | |
dependencies-cache-key: gradle/dependency-locks/** | |
dependencies-cache-exact: true | |
configuration-cache-enabled: true | |
gradle-executable: /home/runner/work/mbeddr.formal/mbeddr.formal/gradlew |