Fix formal verification failure in AWS-LC PR 1101 #503

	# 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: ./

Provide feedback