rt github: remove push trigger for PR action · seL4/l4v@3fb6dcd

Triggered via push July 23, 2024 02:12

lsf37

rt

Status Failure

Total duration 2h 54m 18s

Artifacts 2

proof-deploy.yml

on: push

Matrix: Rebase platform branches

Matrix: Proof

Matrix: MCS Proof

2 errors

Action aws-proofs failed.

Action aws-proofs failed.

Produced during runtime

Name	Size
mcs-logs--ARM-	162 MB
mcs-logs-1-ARM-	103 MB