Skip to content

Dev/maintenance#30

Merged
wucke13 merged 2 commits intomainfrom
dev/maintenance
Nov 24, 2025
Merged

Dev/maintenance#30
wucke13 merged 2 commits intomainfrom
dev/maintenance

Conversation

@wucke13
Copy link
Collaborator

@wucke13 wucke13 commented Nov 24, 2025

No description provided.

Wanja Zaeske added 2 commits November 24, 2025 17:04
Signed-off-by: Wanja Zaeske <wanja.zaeske@dlr.de>
- Add "download-all" target to Makefile that downloads all known ARINC
  653 artifacts (irrespective of whether we need them or not)
- Rewrite the download rule to be generic over the file that is
  downloaded

Signed-off-by: Wanja Zaeske <wanja.zaeske@dlr.de>
@wucke13 wucke13 force-pushed the dev/maintenance branch 2 times, most recently from cfa2e69 to f176241 Compare November 24, 2025 16:24
@wucke13 wucke13 merged commit 22681a0 into main Nov 24, 2025
@wucke13 wucke13 deleted the dev/maintenance branch November 24, 2025 16:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant