Gerwin Klein d3a0f5f7b9 github: update artifact path ... The upstream action in the ci-actions repository has changed slightly and leaves the PDF in a different location. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>		2026-04-07 11:56:17 +01:00
..
compilation-checks.yml	github: add manual trigger where possible	2025-02-18 09:22:15 +11:00
cparser.yml	github: add manual trigger where possible	2025-02-18 09:22:15 +11:00
hw-tests.yml	github: rename hardware test workflow file	2025-02-18 09:22:15 +11:00
manual.yml	github: update artifact path	2026-04-07 11:56:17 +01:00
pr.yml	github: add manual trigger where possible	2025-02-18 09:22:15 +11:00
preprocess-deploy.yml	github: deploy mcs verification manifest	2025-04-02 08:58:31 +11:00
proof.yml	github: update Isabelle branch for MCS proofs	2026-02-18 13:52:09 +11:00
push.yml	github: add manual trigger where possible	2025-02-18 09:22:15 +11:00
sel4test-deploy.yml	github: update name of deployment workflow	2025-02-18 09:22:15 +11:00
sel4test-sim.yml	github: add manual trigger where possible	2025-02-18 09:22:15 +11:00
trigger.yml	github: run actions with secrets only in seL4 org	2021-10-18 14:47:07 +11:00
xml_lint.yml	github: add manual trigger where possible	2025-02-18 09:22:15 +11:00