search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

CI: use proper step name #90

Closed axel-h closed 2 months ago

axel-h commented 2 months ago

Fix copy/paste bug with the name. Has been there thing the beginnin, see 99b96310