github: session ASpecDoc is now merged with ASpec
Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
parent
ee8c6a6404
commit
69a8d9d6b2
|
@ -51,7 +51,7 @@ jobs:
|
||||||
with:
|
with:
|
||||||
L4V_ARCH: ${{ matrix.arch }}
|
L4V_ARCH: ${{ matrix.arch }}
|
||||||
isa_branch: ts-2020
|
isa_branch: ts-2020
|
||||||
session: ExecSpec ASpecDoc AInvs
|
session: ExecSpec ASpec AInvs
|
||||||
|
|
||||||
refine:
|
refine:
|
||||||
name: Refine
|
name: Refine
|
||||||
|
|
Loading…
Reference in New Issue