Skip to content

repositories Search Results · topic:ci org:seL4

Filter by

0 results
 (88 ms)

0 results

inseL4 (press backspace or delete to remove)
Continuous integration
Automatically build and test your code as you push it upstream, preventing bugs from being deployed to production.

seL4/ci-actions

CI GitHub actions for the seL4 repositories
  • Python
  • 3
  • Updated
    24 days ago
Star
Package icon

Sponsor open source projects you depend on

Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projects
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Continuous integration
Automatically build and test your code as you push it upstream, preventing bugs from being deployed to production.
Package icon

Sponsor open source projects you depend on

Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projects
ProTip! 
Press the
/
key to activate the search input again and adjust your query.