main.yml

# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
# SPDX-License-Identifier: Apache-2.0


# This workflow checks out the repository and runs an action that starts up the dockerfile for proofs

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, pull_request]

# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
  # This workflow contains a single job called "build"
  build:
    # The type of runner that the job will run on
    runs-on: aws-lc-verification_ubuntu-latest_16-core

    # Steps represent a sequence of tasks that will be executed as part of the job
    steps:
    # Check out main repo and submodules.
    - uses: actions/checkout@v2
      name: check out top-level repository and all submodules
      with:
        submodules: true

    # Runs the formal verification action
    - name: Proofs
      uses: ./