{"id":19608653,"url":"https://github.com/sel4/ci-actions","last_synced_at":"2025-04-27T20:33:04.913Z","repository":{"id":39640410,"uuid":"271444202","full_name":"seL4/ci-actions","owner":"seL4","description":"CI GitHub actions for the seL4 repositories","archived":false,"fork":false,"pushed_at":"2025-04-21T09:45:40.000Z","size":19102,"stargazers_count":3,"open_issues_count":26,"forks_count":14,"subscribers_count":17,"default_branch":"master","last_synced_at":"2025-04-21T10:44:03.991Z","etag":null,"topics":["ci","ci-actions","continuous-integration","sel4"],"latest_commit_sha":null,"homepage":"https://sel4.systems","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/seL4.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSES/BSD-2-Clause.txt","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":".github/CODEOWNERS","security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2020-06-11T03:38:39.000Z","updated_at":"2025-04-21T09:45:42.000Z","dependencies_parsed_at":"2023-02-18T03:00:43.552Z","dependency_job_id":"9fa2e4ab-1210-433c-a7f0-f263f01e3bac","html_url":"https://github.com/seL4/ci-actions","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fci-actions","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fci-actions/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fci-actions/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fci-actions/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/seL4","download_url":"https://codeload.github.com/seL4/ci-actions/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":251204707,"owners_count":21552272,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["ci","ci-actions","continuous-integration","sel4"],"created_at":"2024-11-11T10:16:15.709Z","updated_at":"2025-04-27T20:32:59.897Z","avatar_url":"https://github.com/seL4.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003c!--\n  Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)\n  SPDX-License-Identifier: CC-BY-SA-4.0\n--\u003e\n\n[![CI](https://github.com/seL4/ci-actions/actions/workflows/push.yml/badge.svg)](https://github.com/seL4/ci-actions/actions/workflows/push.yml)\n\n# CI actions and Workflows for seL4 repositories\n\nThis repository collects definitions for continuous integration (CI)\ntasks/actions for the repositories of the seL4 foundation. While some of these\nmight be useful more generally, most of them will be specific to the seL4 setup.\n\nThe idea is to concentrate most of the GitHub workflow definitions here in a\nsingle repository to avoid duplication, share code between actions, and to make\nit easier to replicate a similar CI setup on other platforms.\n\nShared JavaScript is in [`js/`](js/), and shared shell scripts are in [`scripts/`](scripts/)\n\nThis repository also defines a number of GitHub action workflows that can be\ncalled from other repositories. These are all files in `.github/workflows` that\ndefine an `on: workflow_call` trigger. In particular:\n\n- [pr.yml](.github/workflows/pr.yml) for standard pull requests checks (gitlint,\n  whitespace, shell checks, style)\n- [push.yml](.github/workflows/push.yml) for standard push checks (links, licenses)\n- [sel4test-sim.yml](.github/workflows/sel4test-sim.yml) for running the\n  seL4 simulation tests\n- [sel4test-hw.yml](.github/workflows/sel4test-hw.yml) for running the\n  seL4 hardware tests\n- [sel4bench-hw.yml](.github/workflows/sel4bench-hw.yml) for running the\n  seL4 hardware benchmarks\n\n## Availabe actions\n\nThe following GitHub actions are available:\n\n- [Style](style/)\n- [Gitlint](gitlint/)\n- [`git diff --check`](git-diff-check/)\n- [License Check](license-check/)\n- [Link Check](link-check/)\n- [Portable Shell Script](bashisms/) check\n- [Preprocess](preprocess/) the seL4 source to check for changes to verified configurations.\n- [Run Proofs](run-proofs/): check if the proofs still work after a code change.\n- [Kernel Compile](standalone-kernel/): standalone seL4 kernel compilation for different compiler/arch/python combinations. \n\n## Contributing\n\nContributions are welcome!\n\nSee [open issues][issues] for things than need work, there is also a list of\n[good first issues][first-issues] if you are new to all this and want to get\ninvolved.\n\nSee the file [CONTRIBUTING.md](CONTRIBUTING.md) for more information.\n\n[issues]: https://github.com/seL4/ci-actions/issues?q=is%3Aopen+is%3Aissue+no%3Aassignee\n[first-issues]: https://github.com/seL4/ci-actions/issues?q=is%3Aopen+is%3Aissue+no%3Aassignee+label%3A%22good+first+issue%22\n\n## License\n\nSee the directory [LICENSES/](LICENSES/) for a list of the licenses used in this\nrepository, and the SPDX tag in file headers for the license of each file.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Fci-actions","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsel4%2Fci-actions","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Fci-actions/lists"}