adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

trivial: fix typo 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2022-03-30 09:43:01 +11:00 committed by Gerwin Klein
parent d62eb31f9d
commit 82434f0d62
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/trigger.yml vendored
View File

@ -4,7 +4,7 @@
# Trigger docker deploy action in seL4/ci-actions on C parser changes
name: Tigger
name: Trigger
on:
push: