Skip to content

Actions: auths-dev/capsec

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
132 workflow runs
132 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
chore: hotfix on broken test docs CI #107: Pull request #50 opened by bordumb
1m 5s dev-choreCleanup
dev-choreCleanup
1m 5s
Merge pull request #49 from auths-dev/dev-v0.2DefensiveChanges CI #106: Commit 13b3b54 pushed by bordumb
1m 9s main
main
1m 9s
chore: defensive checks added to keep v0.2 stable CI #105: Pull request #49 opened by bordumb
1m 9s dev-v0.2DefensiveChanges
dev-v0.2DefensiveChanges
1m 9s
Merge pull request #48 from auths-dev/dev-typeCleanup CI #104: Commit 49e57bc pushed by bordumb
1m 9s main
main
1m 9s
feat: migrate public API from Has<P> to CapProvider<P> for transparent scope CI #103: Pull request #48 synchronize by bordumb
1m 12s dev-typeCleanup
dev-typeCleanup
1m 12s
feat: migrate public API from Has<P> to CapProvider<P> for transparent scope CI #102: Pull request #48 opened by bordumb
1m 6s dev-typeCleanup
dev-typeCleanup
1m 6s
Merge pull request #47 from auths-dev/dev-proofSeals CI #101: Commit 70a5655 pushed by bordumb
1m 9s main
main
1m 9s
feat: harden SealProof with private field and value-based constructor CI #100: Pull request #47 opened by bordumb
1m 6s dev-proofSeals
dev-proofSeals
1m 6s
build: add auths checks CI #99: Commit 63601c8 pushed by bordumb
1m 11s main
main
1m 11s
build: bump version CI #98: Commit af286a3 pushed by bordumb
1m 4s main
main
1m 4s
docs: fix url CI #97: Commit 6ad781f pushed by bordumb
1m 7s main
main
1m 7s
Merge pull request #45 from bordumb/dev-release0.1.8 CI #96: Commit 259a670 pushed by bordumb
1m 8s main
main
1m 8s
build: bump version CI #95: Pull request #45 opened by bordumb
1m 9s dev-release0.1.8
dev-release0.1.8
1m 9s
Merge pull request #42 from bordumb/dev-leanProof CI #94: Commit 55b6115 pushed by bordumb
1m 6s main
main
1m 6s
feat: add formal verification — Lean 4 soundness proofs + proptest for permission lattice CI #93: Pull request #42 opened by bordumb
1m 9s dev-leanProof
dev-leanProof
1m 9s
Merge pull request #41 from bordumb/dev-pureFuncClassification CI #92: Commit a50a503 pushed by bordumb
1m 5s main
main
1m 5s
feat: add resource/pure crate classification with Cargo.toml metadata CI #91: Pull request #41 synchronize by bordumb
1m 5s dev-pureFuncClassification
dev-pureFuncClassification
1m 5s
feat: add resource/pure crate classification with Cargo.toml metadata CI #90: Pull request #41 opened by bordumb
1m 7s dev-pureFuncClassification
dev-pureFuncClassification
1m 7s
Merge pull request #40 from bordumb/dev-auditability CI #89: Commit 29dbc9b pushed by bordumb
1m 6s main
main
1m 6s
feat: add capability prescripts — LoggedCap (audit trail) and DualKey CI #88: Pull request #40 opened by bordumb
1m 4s dev-auditability
dev-auditability
1m 4s
Merge pull request #39 from bordumb/dev-securityHardening CI #87: Commit bf48b5b pushed by bordumb
1m 2s main
main
1m 2s
chore: security hardening with tests and cleanup CI #86: Pull request #39 opened by bordumb
1m 5s dev-securityHardening
dev-securityHardening
1m 5s
Merge pull request #34 from bordumb/dev-0.1.7Release CI #85: Commit 9dc78df pushed by bordumb
1m 4s main
main
1m 4s
build: bump version CI #84: Pull request #34 opened by bordumb
1m 3s dev-0.1.7Release
dev-0.1.7Release
1m 3s
Merge pull request #33 from bordumb/dev-fixDetectorPanic CI #83: Commit b71758f pushed by bordumb
1m 10s main
main
1m 10s