type_check.yml

# This is a basic workflow to help you get started with Actions

name: CI

# Controls when the action will run. Triggers the workflow on push or pull request
# events but only for the master branch
on:
  push:
    branches: [ master ]
  pull_request:
    branches: [ master ]

jobs:
  install:
    # The type of runner that the job will run on
    runs-on: ubuntu-latest
    
    # Steps represent a sequence of tasks that will be executed as part of the job
    steps:
    # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
    - uses: actions/checkout@v2

    - name: Install formality-core
      id: install-fmc
      run: npm i formality-core
      
    - name: Run fmc
      id: run-fmc
      run: npm run type_check
          
    - name: Get output
      id: get-output
      run: |
          echo ::set-env name=fmc_output::$(npm run type_check)
 
    - name: Print env
      id: echo_env_1
      run: |
          echo $jobs.get_output.env
          
    - name: Print env
      id: echo_env_2
      run: |
          echo $env
      
    - name : Evaluate types
      uses: MaisaMilena/[email protected]
      with:
        terms: ${{steps.get-output.env}}