From 67d21d553278be358c3443616d13386ce2441efc Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 30 Apr 2023 00:34:53 +0200
Subject: [PATCH] disable default features for the target aarch64
---
.github/workflows/ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 881519cd7..9750b40f3 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -72,7 +72,7 @@ jobs:
- name: Check docs
run: |
cargo doc --package libhermit-rs --no-deps --document-private-items --target x86_64-unknown-none
- cargo doc --package libhermit-rs --no-deps --document-private-items --target aarch64-unknown-none-softfloat
+ cargo doc --package libhermit-rs --no-deps --document-private-items --target aarch64-unknown-none-softfloat --no-default-features
build:
name: Build
--
GitLab