Skip to content

Actions: Proven-Commons/der

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Move spec and proof modules and names under Der verified bar #15: Commit 3aae69d pushed by zero-aska
2m 37s claude/der-namespace
claude/der-namespace
2m 37s
Merge pull request #3 from Proven-Commons/docs/apache-2.0-license-202… verified bar #14: Commit ca9971f pushed by zero-aska
3m 18s main
main
3m 18s
Add the Apache License 2.0 verified bar #13: Pull request #3 submitted by zero-aska
3m 27s
3m 27s
Add the Apache License 2.0 verified bar #12: Pull request #3 opened by orda-aska
3m 22s docs/apache-2.0-license-20261028
docs/apache-2.0-license-20261028
3m 22s
Add Apache 2.0 license verified bar #11: Commit 6b4a6da pushed by orda-aska
2m 37s docs/apache-2.0-license-20261028
docs/apache-2.0-license-20261028
2m 37s
Merge pull request #2 from Proven-Commons/claude/der-first-slice verified bar #10: Commit 7d59421 pushed by ahrazzle
3m 5s main
main
3m 5s
First slice: one DER element (X.690), read and written, proved (bar v2) verified bar #9: Pull request #2 submitted by orda-aska
3m 24s
3m 24s
First slice: one DER element (X.690), read and written, proved (bar v2) verified bar #8: Pull request #2 synchronize by zero-aska
2m 45s claude/der-first-slice
claude/der-first-slice
2m 45s
Tests and page: fix the eight findings of the second self-review verified bar #7: Commit 3cdbf7f pushed by zero-aska
3m 16s claude/der-first-slice
claude/der-first-slice
3m 16s
First slice: one DER element (X.690), read and written, proved (bar v2) verified bar #6: Pull request #2 synchronize by zero-aska
3m 13s claude/der-first-slice
claude/der-first-slice
3m 13s
encoding_unique: state it on the writer's encoding verified bar #5: Commit 7fb4f0b pushed by zero-aska
2m 43s claude/der-first-slice
claude/der-first-slice
2m 43s
First slice: one DER element (X.690), read and written, proved (bar v2) verified bar #4: Pull request #2 opened by zero-aska
3m 14s claude/der-first-slice
claude/der-first-slice
3m 14s
Planted bugs: 35 of 35 caught, with ENUMERATED and valid verified bar #3: Commit b9b604e pushed by zero-aska
3m 22s claude/der-first-slice
claude/der-first-slice
3m 22s
Differential tests: a model of X.690, four oracles, Wycheproof verified bar #2: Commit f18cb93 pushed by zero-aska
3m 15s claude/der-first-slice
claude/der-first-slice
3m 15s
README and SPEC for the first slice verified bar #1: Commit b64e157 pushed by zero-aska
1m 5s claude/der-first-slice
claude/der-first-slice
1m 5s