Skip to content

Issues: seL4/ci-actions

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

python style check fails with internal error dependencies Pull requests that update a dependency file
#329 opened Feb 1, 2024 by axel-h
record successful test revisions for mcs.xml verification actions related to proofs and l4v
#286 opened Oct 22, 2023 by lsf37
preprocess bump for MCS verification actions related to proofs and l4v
#285 opened Oct 22, 2023 by lsf37
thylint action should not fail on deleted files verification actions related to proofs and l4v
#284 opened Oct 9, 2023 by lsf37
Build seL4 and seL4test for all supported platforms sel4test actions for sel4test and related repos
#282 opened Aug 11, 2023 by Ivan-Velickovic
4 of 10 tasks
Make "Test with:" support branches also enhancement New feature or request
#198 opened Feb 18, 2022 by axel-h
re-use deploy actions as PR tests enhancement New feature or request
#187 opened Feb 8, 2022 by lsf37
Use 3rd party RISC-V test farm from RVI/ISCAS enhancement New feature or request
#180 opened Jan 26, 2022 by axel-h
add a preprocess test for other configs
#172 opened Dec 6, 2021 by lsf37
make a dashboard page enhancement New feature or request
#130 opened Jul 22, 2021 by lsf37
add an action for fast-forward merge enhancement New feature or request
#127 opened Jul 21, 2021 by lsf37
gitlint: actually test for commit body enhancement New feature or request
#125 opened Jul 18, 2021 by lsf37
update README task
#124 opened Jul 18, 2021 by lsf37
investigate if proof cache should store more state enhancement New feature or request verification actions related to proofs and l4v
#122 opened Jul 16, 2021 by lsf37
monitor proofs for performance regressions enhancement New feature or request
#121 opened Jul 16, 2021 by lsf37
test if a PR produces the same binaries enhancement New feature or request
#111 opened Jul 9, 2021 by lsf37
VisualCamkes test camkes help wanted Extra attention is needed
#90 opened Jun 21, 2021 by lsf37
binary verification verification actions related to proofs and l4v
#82 opened Jun 21, 2021 by lsf37
report benchmarking regressions benchmarking sel4bench and related actions
#76 opened Jun 21, 2021 by lsf37
use code annotations for style etc enhancement New feature or request help wanted Extra attention is needed
#47 opened Feb 18, 2021 by lsf37
Make style check report only on lines changed in PR enhancement New feature or request good first issue Good for newcomers
#46 opened Feb 18, 2021 by lsf37
ProTip! Find all open issues with in progress development work with linked:pr.