Skip to content

Actions: b-erdem/sha3_ada

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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
Update contact email CI #11: Commit 8859fbd pushed by b-erdem
2m 27s main
main
2m 27s
Update contact email governance #10: Commit 8859fbd pushed by b-erdem
1m 42s main
main
1m 42s
Rename Alire crate sha3_ada -> sha3 (drop redundant _ada suffix) CI #10: Commit dd0b895 pushed by b-erdem
1m 12s v1.0.0
v1.0.0
1m 12s
Rename Alire crate sha3_ada -> sha3 (drop redundant _ada suffix) CI #9: Commit dd0b895 pushed by b-erdem
1m 10s main
main
1m 10s
Rename Alire crate sha3_ada -> sha3 (drop redundant _ada suffix) governance #9: Commit dd0b895 pushed by b-erdem
10s main
main
10s
Refresh VC count to 159 (was stale at 147) in README and manifest governance #8: Commit d81449d pushed by b-erdem
11s main
main
11s
Refresh VC count to 159 (was stale at 147) in README and manifest CI #8: Commit d81449d pushed by b-erdem
1m 17s main
main
1m 17s
Drop gnatprove from runtime dependencies (dev-only prover; CI install… CI #7: Commit fa06072 pushed by b-erdem
1m 0s main
main
1m 0s
Drop gnatprove from runtime dependencies (dev-only prover; CI install… governance #7: Commit fa06072 pushed by b-erdem
8s main
main
8s
README: CI/license/proof badges for the public repository governance #6: Commit a4f9e1a pushed by b-erdem
8s main
main
8s
README: CI/license/proof badges for the public repository CI #6: Commit a4f9e1a pushed by b-erdem
1m 0s main
main
1m 0s
Initial public release governance #5: Commit fa176ea pushed by b-erdem
8s main
main
8s
Initial public release CI #5: Commit fa176ea pushed by b-erdem
1m 2s main
main
1m 2s
README: CI/license/proof badges for the public repository CI #4: Commit a4f9e1a pushed by b-erdem
1m 11s main
main
1m 11s
README: CI/license/proof badges for the public repository governance #4: Commit a4f9e1a pushed by b-erdem
8s main
main
8s
cavp: strip CR from CRLF vector files; CI: idempotent gnatprove install governance #3: Commit a377b05 pushed by b-erdem
11s main
main
11s
cavp: strip CR from CRLF vector files; CI: idempotent gnatprove install CI #3: Commit a377b05 pushed by b-erdem
1m 11s main
main
1m 11s
CI: install gnatprove as a pinned dependency; guard CAVP glob CI #2: Commit 4bfd657 pushed by b-erdem
54s main
main
54s
CI: install gnatprove as a pinned dependency; guard CAVP glob governance #2: Commit 4bfd657 pushed by b-erdem
10s main
main
10s
Pre-publication: version-coherent metadata governance #1: Commit ad3c723 pushed by b-erdem
12s main
main
12s
Pre-publication: version-coherent metadata CI #1: Commit ad3c723 pushed by b-erdem
1m 17s main
main
1m 17s