Skip to content

Actions: setonix-os/kernel

Actions

CI - Pull Request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci_pr.yml
25 workflow runs
25 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix(xtask): validate the workspace root at its source (CodeQL path-injection alert) CI - Pull Request #25: Pull request #21 opened by MatejGomboc
1m 55s fix/codeql-path-taint
fix/codeql-path-taint
1m 55s
Amend the constitution, three RFCs and the threat model: the bug hunt's flagged items, as ruled CI - Pull Request #24: Pull request #20 synchronize by MatejGomboc
1m 57s docs/flagged-amendments
docs/flagged-amendments
1m 57s
Repository-wide bug sweep: fail-closed xtask, honest comments, dead configuration removed CI - Pull Request #23: Pull request #19 synchronize by MatejGomboc
2m 4s fix/comprehensive-sweep
fix/comprehensive-sweep
2m 4s
Repository-wide bug sweep: fail-closed xtask, honest comments, dead configuration removed CI - Pull Request #22: Pull request #19 opened by MatejGomboc
1m 45s fix/comprehensive-sweep
fix/comprehensive-sweep
1m 45s
docs(changelog): resolve the stale Phase 0 deliverables section CI - Pull Request #21: Pull request #18 opened by MatejGomboc
2m 12s docs/changelog-phase0-complete
docs/changelog-phase0-complete
2m 12s
Amend Constitution: three §3 graves, and reconcile the broker's phasing CI - Pull Request #20: Pull request #17 opened by MatejGomboc
1m 46s docs/constitution-graves-and-broker-phasing
docs/constitution-graves-and-broker-phasing
1m 46s
Fold research/0002 consequences into the threat model and RFC-0004 CI - Pull Request #19: Pull request #16 opened by MatejGomboc
1m 48s docs/research-0002-followthrough
docs/research-0002-followthrough
1m 48s
Add research/0002: virtualisation and containment prior art CI - Pull Request #18: Pull request #15 opened by MatejGomboc
1m 56s docs/research-0002-virt-containment
docs/research-0002-virt-containment
1m 56s
Record RFC-0004's acceptance CI - Pull Request #17: Pull request #14 opened by MatejGomboc
1m 49s docs/rfc-0004-accepted
docs/rfc-0004-accepted
1m 49s
Amend Constitution §3: scope the compile-time capability claim CI - Pull Request #16: Pull request #13 opened by MatejGomboc
1m 31s docs/constitution-3-compile-time-claim
docs/constitution-3-compile-time-claim
1m 31s
Add the capability table itself: Capability, CapabilityTable, ObjectRef CI - Pull Request #15: Pull request #12 opened by MatejGomboc
1m 58s feat/capability-table
feat/capability-table
1m 58s
feat(capability): value types for the capability table (RFC-0003, part 1) CI - Pull Request #14: Pull request #11 opened by MatejGomboc
1m 53s feat/capability-value-types
feat/capability-value-types
1m 53s
docs: prior-art review — validate the spine, prune one legacy, correct RFC-0004 CI - Pull Request #13: Pull request #10 synchronize by MatejGomboc
1m 41s docs/prior-art-review
docs/prior-art-review
1m 41s
docs: prior-art review — validate the spine, prune one legacy, correct RFC-0004 CI - Pull Request #12: Pull request #10 synchronize by MatejGomboc
2m 11s docs/prior-art-review
docs/prior-art-review
2m 11s
docs(rfc): propose RFC-0004 — inter-process communication CI - Pull Request #11: Pull request #9 opened by MatejGomboc
1m 36s rfc/0004-ipc
rfc/0004-ipc
1m 36s
docs(rfc): RFC-0003 accepted — verdict recorded CI - Pull Request #10: Pull request #8 opened by MatejGomboc
2m 6s rfc/0003-accepted
rfc/0003-accepted
2m 6s
docs(rfc): propose RFC-0003 — the capability table CI - Pull Request #9: Pull request #7 opened by MatejGomboc
1m 56s rfc/0003-capability-table
rfc/0003-capability-table
1m 56s
docs: finish cannibalising the retired docs repo CI - Pull Request #8: Pull request #6 synchronize by MatejGomboc
1m 38s docs/style-spelling-exceptions
docs/style-spelling-exceptions
1m 38s
docs: finish cannibalising the retired docs repo CI - Pull Request #7: Pull request #6 opened by MatejGomboc
1m 49s docs/style-spelling-exceptions
docs/style-spelling-exceptions
1m 49s
docs(threat-model): expand §9 into the authoritative threat model CI - Pull Request #6: Pull request #5 synchronize by MatejGomboc
1m 35s docs/threat-model
docs/threat-model
1m 35s
docs(threat-model): expand §9 into the authoritative threat model CI - Pull Request #5: Pull request #5 opened by MatejGomboc
2m 1s docs/threat-model
docs/threat-model
2m 1s
feat(arch): exception vectors and a reporter that names the fault CI - Pull Request #4: Pull request #4 opened by MatejGomboc
1m 39s feat/aarch64-exception-vectors
feat/aarch64-exception-vectors
1m 39s
chore(deps): Bump docker/login-action from 4.5.2 to 4.6.0 CI - Pull Request #3: Pull request #3 opened by dependabot Bot
14m 28s dependabot/github_actions/docker/login-action-4.6.0
dependabot/github_actions/docker/login-action-4.6.0
14m 28s
docs: future-proof the contributor docs for a growing team CI - Pull Request #2: Pull request #2 opened by MatejGomboc
14m 7s docs/future-proof-team-wording
docs/future-proof-team-wording
14m 7s
chore(deps): Bump docker/login-action from 4.5.1 to 4.5.2 CI - Pull Request #1: Pull request #1 opened by dependabot Bot
14m 11s dependabot/github_actions/docker/login-action-4.5.2
dependabot/github_actions/docker/login-action-4.5.2
14m 11s