From 4079d4c8b4a1a1b43f1bedd4805be035a42980b2 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Mon, 25 Mar 2024 15:11:01 +0100 Subject: [PATCH] github: add AARCH64 C proof session CRefine is now available for AARCH64 in l4v. Signed-off-by: Gerwin Klein --- .github/workflows/proof.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml index 24f7fb472..a5cbcce60 100644 --- a/.github/workflows/proof.yml +++ b/.github/workflows/proof.yml @@ -30,6 +30,8 @@ jobs: session: CRefine SimplExportAndRefine - arch: X64 session: CRefine + - arch: AARCH64 + session: CRefine - arch: RISCV64 features: MCS session: CRefine