CAmkES

deps-update #594

Triggered via repository dispatch January 19, 2024 03:25

seL4-ci

deps-update ⁠ 89af719

Status Success

Total duration 1h 22m 26s

Artifacts 4

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

camkes-deploy.yml

on: repository_dispatch

Matrix: Build

Matrix: Simulate

Matrix: Hardware

Produced during runtime