Skip to content

External

External #65

Workflow file for this run

# Copyright 2021 Proofcraft Pty Ltd
#
# SPDX-License-Identifier: BSD-2-Clause
name: External
# checks default.xml and vanilla Isabelle instead of devel and ts-*
on:
schedule:
- cron: '1 15 1,15 * *' # 15:01 UTC on 1st and 15th of month
# for testing:
workflow_dispatch:
jobs:
proofs:
name: Proofs
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
arch: [ARM, ARM_HYP, AARCH64, RISCV64, X64]
steps:
- name: Proofs
uses: seL4/ci-actions/aws-proofs@master
with:
L4V_ARCH: ${{ matrix.arch }}
manifest: default.xml
env:
AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }}
AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }}
AWS_SSH: ${{ secrets.AWS_SSH }}
GH_HEAD_SHA: ${{ github.event.pull_request.head.sha }}
- name: Upload kernel builds
uses: actions/upload-artifact@v4
with:
name: kernel-builds-${{ matrix.arch }}
path: artifacts/kernel-builds
if-no-files-found: ignore
- name: Upload logs
uses: actions/upload-artifact@v4
with:
name: logs-${{ matrix.arch }}
path: logs.tar.xz
binary-verification:
name: Trigger BV
runs-on: ubuntu-latest
needs: proofs
steps:
- name: Trigger binary verification
uses: seL4/ci-actions/bv-trigger@master
with:
token: ${{ secrets.PRIV_REPO_TOKEN }}
tag: l4v/external