From 69a8d9d6b2804d216fd6684ebbe5b41c8880678c Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@data61.csiro.au>
Date: Tue, 27 Oct 2020 10:50:01 +1000
Subject: [PATCH] github: session ASpecDoc is now merged with ASpec

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
---
 .github/workflows/proof.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml
index fd4786ea9..0b87ad548 100644
--- a/.github/workflows/proof.yml
+++ b/.github/workflows/proof.yml
@@ -51,7 +51,7 @@ jobs:
       with:
         L4V_ARCH: ${{ matrix.arch }}
         isa_branch: ts-2020
-        session: ExecSpec ASpecDoc AInvs
+        session: ExecSpec ASpec AInvs
 
   refine:
     name: Refine