Skip to content

CI GitHub actions for the seL4 repositories

Notifications You must be signed in to change notification settings

Hensoldt-Cyber/ci-actions

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

CI

CI actions for seL4 repositories

This repository collects definitions for continuous integration (CI) tasks/actions for the repositories of the seL4 foundation. While some of these might be useful more generally, most of them will be specific to the seL4 setup.

The idea is to concentrate most of the GitHub workflow definitions here in a single repository to avoid duplication, share code between actions, and to make it easier to replicate a similar CI setup on other platforms.

Currently, everything is fairly GitHub-specific, but that could change over time.

Shared JavaScript is in js/, and shared shell scripts are in scripts/

Availabe actions

The following GitHub actions are available:

Contributing

Contributions are welcome!

See open issues for things than need work, there is also a list of good first issues if you are new to all this and want to get involved.

See the file CONTRIBUTING.md for more information.

License

See the directory LICENSES/ for a list of the licenses used in this repository, and the SPDX tag in file headers for the license of each file.

About

CI GitHub actions for the seL4 repositories

Resources

Code of conduct

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 46.5%
  • Shell 26.8%
  • Perl 12.5%
  • JavaScript 6.5%
  • Dockerfile 4.6%
  • Makefile 3.1%