Skip to content

Actions: auths-dev/capsec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
116 workflow runs
116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: hotfix on broken test docs Verify Commits #9: Pull request #50 opened by bordumb
13s dev-choreCleanup
dev-choreCleanup
13s
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 Verify Commits #8: Commit 13b3b54 pushed by bordumb
9s main
main
9s
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
chore: defensive checks added to keep v0.2 stable Verify Commits #7: Pull request #49 opened by bordumb
9s dev-v0.2DefensiveChanges
dev-v0.2DefensiveChanges
9s
Merge pull request #48 from auths-dev/dev-typeCleanup Verify Commits #6: Commit 49e57bc pushed by bordumb
13s main
main
13s
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 Verify Commits #5: Pull request #48 synchronize by bordumb
10s dev-typeCleanup
dev-typeCleanup
10s
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 Verify Commits #4: Pull request #48 opened by bordumb
13s dev-typeCleanup
dev-typeCleanup
13s
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 Verify Commits #3: Commit 70a5655 pushed by bordumb
9s main
main
9s
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 Verify Commits #2: Pull request #47 opened by bordumb
9s dev-proofSeals
dev-proofSeals
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: add auths checks Verify Commits #1: Commit 63601c8 pushed by bordumb
11s main
main
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