seL4/.github
Axel Heider 73553606f1 CI: update deploy workflow also
This is missing in commit e6fbbbb0

Signed-off-by: Axel Heider <axelheider@gmx.de>
2024-01-13 10:17:31 +11:00
..
workflows CI: update deploy workflow also 2024-01-13 10:17:31 +11:00