Skip to content

Fix broken reference #782

Fix broken reference

Fix broken reference #782

Workflow file for this run

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