erikinkinen/AES
1
0
Fork 0
Code Issues 1 Pull requests Projects 1 Activity Actions
Labels Milestones
Search syntax
is:open Open
is:closed Closed
is:all All
author:<username> Filter by the author
assignee:<username> Filter by assigned user
review:<username> Filter by user who reviewed
mentions:<username> Filter by mentioned user
sort:<by>:[asc|desc] Sort by: created/comments/updated/deadline
modified:[>|<]<date> Filter by last modified date
New pull request
0 Open 4 Closed 4 All
Label
Clear labels
bug
cli
core
docs
event
experiment
figure
invariant
metrics
oracle
phase-0
phase-1
phase-2
phase-3
phase-4
phase-5
phase-6
provenance
revocation
tests
workload
Milestone
No milestone
Open milestones
Phase 1
Phase 2
Phase 3
Phase 4
Phase 5
Phase 6
Closed milestones
Phase 0
Projects
Clear projects
Open projects
AES — Active Workboard
Assignee
Clear assignees
No assignee
erikinkinen
Phase 1: Phase 1 specification and invariants
All checks were successful
ci / smoke (push) Successful in 15s
Details
clang-format / check-format (push) Successful in 9s
Details
markdownlint / markdown-lint (push) Successful in 10s
Details
ci / smoke (pull_request) Successful in 15s
Details
clang-format / check-format (pull_request) Successful in 9s
Details
markdownlint / markdown-lint (pull_request) Successful in 10s
Details
docs
invariant
phase-1
#64 by erikinkinen was merged 2026-03-03 14:29:15 +01:00
main
Phase 1 AES — Active Workboard
Phase 0: Phase 0 documentation
All checks were successful
ci / smoke (push) Successful in 15s
Details
clang-format / check-format (push) Successful in 9s
Details
markdownlint / markdown-lint (push) Successful in 10s
Details
ci / smoke (pull_request) Successful in 15s
Details
clang-format / check-format (pull_request) Successful in 9s
Details
markdownlint / markdown-lint (pull_request) Successful in 9s
Details
docs
phase-0
#63 by erikinkinen was merged 2026-03-03 14:08:28 +01:00
main
Phase 0 AES — Active Workboard
Phase 0: authority model specification and invariants
All checks were successful
ci / smoke (push) Successful in 7s
Details
clang-format / check-format (push) Successful in 8s
Details
markdownlint / markdown-lint (push) Successful in 11s
Details
ci / smoke (pull_request) Successful in 7s
Details
clang-format / check-format (pull_request) Successful in 8s
Details
markdownlint / markdown-lint (pull_request) Successful in 11s
Details
docs
invariant
phase-0
#45 by erikinkinen was merged 2026-02-04 12:47:57 +01:00
main
Phase 0 AES — Active Workboard 3 / 3
Phase 0: repository scaffold and conventions
All checks were successful
ci / smoke (push) Successful in 7s
Details
ci / smoke (pull_request) Successful in 7s
Details
core
docs
phase-0
#41 by erikinkinen was merged 2026-01-31 18:48:23 +01:00
main
Phase 0 AES — Active Workboard 6 / 6