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.

Sign up for GitHub

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

22 Open 72 Closed
22 Open 72 Closed
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
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

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
5
Drop march from platforms.yml if there is no use
#312 opened Jan 21, 2024 by axel-h
4
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
5
Make "Test with:" support branches also enhancement New feature or request
#198 opened Feb 18, 2022 by axel-h
3
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
1
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
@lsf37
8
add an action for fast-forward merge enhancement New feature or request
#127 opened Jul 21, 2021 by lsf37
4
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
1
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
1
VisualCamkes test camkes help wanted Extra attention is needed
#90 opened Jun 21, 2021 by lsf37
1
binary verification verification actions related to proofs and l4v
#82 opened Jun 21, 2021 by lsf37
@mbrcknl
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
1
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! no:milestone will show everything without a milestone.