Skip to content

verification for deferred cache flush in untyped reset #2743

verification for deferred cache flush in untyped reset

verification for deferred cache flush in untyped reset #2743

Workflow file for this run

# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause
# Actions to run on pull requests
name: PR
on: [pull_request]
jobs:
gitlint:
name: Gitlint
runs-on: ubuntu-latest
steps:
- uses: seL4/ci-actions/gitlint@master
with:
token: ${{ secrets.READ_TOKEN }}
whitespace:
name: 'Trailing Whitespace'
runs-on: ubuntu-latest
steps:
- uses: seL4/ci-actions/git-diff-check@master
with:
token: ${{ secrets.READ_TOKEN }}
shell:
name: 'Portable Shell'
runs-on: ubuntu-latest
steps:
- uses: seL4/ci-actions/bashisms@master
with:
token: ${{ secrets.READ_TOKEN }}
style:
name: Style
runs-on: ubuntu-latest
steps:
- uses: seL4/ci-actions/style@master
with:
token: ${{ secrets.READ_TOKEN }}