Skip to content

chore(deps): bump aws-actions/configure-aws-credentials from 2 to 4 in /.github/workflows #3203

chore(deps): bump aws-actions/configure-aws-credentials from 2 to 4 in /.github/workflows

chore(deps): bump aws-actions/configure-aws-credentials from 2 to 4 in /.github/workflows #3203

Workflow file for this run

# This workflow verifies
# that the source is annotated
# with respect to the specification
name: Duvet report
on:
pull_request:
push:
branches:
- main
jobs:
duvet:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install duvet
shell: bash
run: |
cargo +stable install duvet
- name: Run the duvet report
shell: bash
run: |
make duvet
- uses: actions/upload-artifact@v4
if: always()
with:
name: specification_compliance_report
path: specification_compliance_report.html