Skip to content

GNATprove 14

GNATprove 14 #591

Workflow file for this run

name: Check Index
env:
ALR_VERSION: 2.0.1
on: pull_request
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@v3
with:
version: ${{env.ALR_VERSION}}
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@v3
with:
branch: master
- run: alr index --list
- run: alr index --add=. --name=local_index
# Check index contents for unknown config variables
- run: alr index --check
- run: alr index --update-all
- run: alr search --crates