Skip to content

Actions: formosa-crypto/formosa-25519

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
feat(extract-libjade.sh): Variable naming amd64-linux #30: Commit aaed212 pushed by koraa
August 7, 2024 16:40 1m 41s main
main
August 7, 2024 16:40 1m 41s
feat(extract-libjade.sh): Cleanup --gen-implementation amd64-linux #29: Commit dc9e813 pushed by koraa
August 7, 2024 16:38 1m 42s main
main
August 7, 2024 16:38 1m 42s
feat(extract-libjade.sh): Consistent quouting in list_implementations amd64-linux #28: Commit 478b2f8 pushed by koraa
August 7, 2024 16:12 1m 48s main
main
August 7, 2024 16:12 1m 48s
feat(extract-libjade.sh): Use separate functions per command mode amd64-linux #27: Commit e85c50f pushed by koraa
August 7, 2024 16:11 1m 53s main
main
August 7, 2024 16:11 1m 53s
feat(extract-libjade.sh): Refactor project root detection amd64-linux #26: Commit 651f6dc pushed by koraa
August 7, 2024 16:05 6m 18s main
main
August 7, 2024 16:05 6m 18s
Merge pull request #13 from formosa-crypto/benchmarks amd64-linux #25: Commit ff8869f pushed by tfaoliveira-sb
August 7, 2024 15:55 1m 44s main
main
August 7, 2024 15:55 1m 44s
bench: clean things and remove dependency on gsl amd64-linux #24: Pull request #13 opened by tfaoliveira-sb
August 7, 2024 15:52 2m 55s benchmarks
benchmarks
August 7, 2024 15:52 2m 55s
feat(extract-libjade.sh): Return exit code 0 if script was successful amd64-linux #23: Commit 5f80ce8 pushed by koraa
August 7, 2024 15:44 1m 49s main
main
August 7, 2024 15:44 1m 49s
feat(extract-libjade.sh): call -> script; top_dir -> project_dir amd64-linux #22: Commit ff792d3 pushed by koraa
August 7, 2024 15:40 1m 41s main
main
August 7, 2024 15:40 1m 41s
feat(extract-libjade.sh): Consistent variable quoting amd64-linux #21: Commit dd25feb pushed by koraa
August 7, 2024 15:36 1m 58s main
main
August 7, 2024 15:36 1m 58s
feat(extract-libjade.sh): Nice usage functions amd64-linux #20: Commit 845c7b9 pushed by koraa
August 7, 2024 15:22 1m 47s main
main
August 7, 2024 15:22 1m 47s
feat(extract-libjade.sh): Print to stderr amd64-linux #19: Commit 9940633 pushed by koraa
August 7, 2024 15:18 3m 14s main
main
August 7, 2024 15:18 3m 14s
feat(extract-libjade.sh): Refactor extract.sh code to use main functi… amd64-linux #18: Commit 459ea51 pushed by koraa
August 7, 2024 15:12 1m 57s main
main
August 7, 2024 15:12 1m 57s
extract-libjade.sh: spellcheck pass amd64-linux #17: Commit 65e1f31 pushed by tfaoliveira-sb
August 7, 2024 14:31 2m 2s main
main
August 7, 2024 14:31 2m 2s
jpp: env perl amd64-linux #16: Commit d156895 pushed by tfaoliveira-sb
August 7, 2024 14:06 1m 43s main
main
August 7, 2024 14:06 1m 43s
extract to libjade: list implementations print non-absolute path amd64-linux #15: Commit 98f8176 pushed by tfaoliveira-sb
August 7, 2024 13:43 1m 41s main
main
August 7, 2024 13:43 1m 41s
extract to libjade: move to / amd64-linux #14: Commit b32afae pushed by tfaoliveira-sb
August 7, 2024 13:27 4m 30s main
main
August 7, 2024 13:27 4m 30s
closes issues/5 amd64-linux #13: Commit 8419427 pushed by tfaoliveira-sb
August 6, 2024 01:25 1m 40s main
main
August 6, 2024 01:25 1m 40s
Merge pull request #11 from formosa-crypto/feature/workflows amd64-linux #12: Commit 6167ec2 pushed by tfaoliveira
August 6, 2024 01:10 1m 39s main
main
August 6, 2024 01:10 1m 39s
split github workflows amd64-linux #11: Pull request #11 opened by tfaoliveira
August 6, 2024 01:08 1m 41s feature/workflows
feature/workflows
August 6, 2024 01:08 1m 41s
check proofs amd64-linux #10: Commit 2cd0a8c pushed by tfaoliveira-sb
August 6, 2024 00:33 5m 19s main
main
August 6, 2024 00:33 5m 19s
Merge pull request #10 from formosa-crypto/issues/4 amd64-linux #9: Commit 60b9322 pushed by tfaoliveira
August 5, 2024 22:52 2m 51s main
main
August 5, 2024 22:52 2m 51s
update export functions to reg ptr amd64-linux #8: Pull request #10 opened by tfaoliveira
August 5, 2024 22:49 2m 50s issues/4
issues/4
August 5, 2024 22:49 2m 50s
fix preprocessing base path in Makefile.common and a typo. amd64-linux #7: Commit 2c230ad pushed by tfaoliveira-sb
August 5, 2024 20:07 2h 21m 4s main
main
August 5, 2024 20:07 2h 21m 4s
libjade multirepo support : take 1 amd64-linux #6: Commit 4450719 pushed by tfaoliveira-sb
August 5, 2024 19:27 2h 56m 37s main
main
August 5, 2024 19:27 2h 56m 37s