Add arm8 tar.gz to artefacts

CakeML · Aug 3, 2024 · 6eebd38 · 6eebd38
1 parent cfaaf93
commit 6eebd38
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/developers/artefacts b/developers/artefacts
@@ -1,5 +1,6 @@
 compiler/bootstrap/compilation/x64/64/cake-x64-64.tar.gz
 compiler/bootstrap/compilation/x64/32/cake-x64-32.tar.gz
+compiler/bootstrap/compilation/arm8/64/cake-arm8-64.tar.gz
 unverified/sexpr-bootstrap/x64/64/cake-unverified-x64-64.tar.gz
 unverified/sexpr-bootstrap/x64/32/cake-unverified-x64-32.tar.gz
 compiler/bootstrap/translation/compiler64Prog_translate_timing.txt