Skip to content
GitLab
Explore
Projects
Groups
Topics
Snippets
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
涛羊羊队
la-seL4-ci-actions
Commits
dd76d81b
Unverified
Commit
dd76d81b
authored
2 years ago
by
Leoncoci
Committed by
GitHub
2 years ago
Browse files
Options
Download
Patches
Plain Diff
Update platforms.yml
Signed-off-by:
Leoncoci
<
45042260+Leoncoci@users.noreply.github.com
>
parent
fd1fcffe
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
seL4-platforms/platforms.yml
+2
-0
seL4-platforms/platforms.yml
with
2 additions
and
0 deletions
+2
-0
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment
Menu
Explore
Projects
Groups
Topics
Snippets