Skip to content

Actions: formosa-crypto/formosa-25519

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #29 from formosa-crypto/better-proof-readme amd64-linux #71: Commit eb92528 pushed by tfaoliveira
October 10, 2024 14:48 2m 34s main
main
October 10, 2024 14:48 2m 34s
Improve proof README amd64-linux #70: Pull request #29 opened by JoaoDiogoDuarte
October 10, 2024 14:21 13m 20s better-proof-readme
better-proof-readme
October 10, 2024 14:21 13m 20s
Merge pull request #28 from formosa-crypto/remove-smt-operations-file amd64-linux #69: Commit 31452b2 pushed by tfaoliveira-sb
October 8, 2024 20:09 2m 44s main
main
October 8, 2024 20:09 2m 44s
Removed SMT call from inversion proof amd64-linux #68: Pull request #28 synchronize by JoaoDiogoDuarte
October 8, 2024 17:28 2h 35m 14s remove-smt-operations-file
remove-smt-operations-file
October 8, 2024 17:28 2h 35m 14s
Removed SMT call from inversion proof amd64-linux #67: Pull request #28 opened by JoaoDiogoDuarte
October 8, 2024 17:14 2h 47m 54s remove-smt-operations-file
remove-smt-operations-file
October 8, 2024 17:14 2h 47m 54s
Merge pull request #27 from formosa-crypto/artifact amd64-linux #66: Commit 7ceeb5a pushed by tfaoliveira-sb
October 8, 2024 16:49 2m 3s main
main
October 8, 2024 16:49 2m 3s
artifact: for proofs amd64-linux #65: Pull request #27 opened by tfaoliveira-sb
October 8, 2024 16:32 2m 55s artifact
artifact
October 8, 2024 16:32 2m 55s
workflow: proof: switch to runtest amd64-linux #64: Commit 32d6de0 pushed by tfaoliveira-sb
October 7, 2024 10:02 2m 42s main
main
October 7, 2024 10:02 2m 42s
Merge pull request #25 from formosa-crypto/add-to-external-ci amd64-linux #63: Commit 332f901 pushed by JoaoDiogoDuarte
October 5, 2024 15:18 1d 1h 43m 42s main
main
October 5, 2024 15:18 1d 1h 43m 42s
Merge pull request #26 from formosa-crypto/update-readme-to-reflect-n… amd64-linux #62: Commit 51b6713 pushed by JoaoDiogoDuarte
October 5, 2024 11:37 1d 5h 24m 48s main
main
October 5, 2024 11:37 1d 5h 24m 48s
Update README.md amd64-linux #61: Pull request #26 opened by JoaoDiogoDuarte
October 5, 2024 11:37 1d 5h 25m 5s update-readme-to-reflect-new-proof
update-readme-to-reflect-new-proof
October 5, 2024 11:37 1d 5h 25m 5s
Added files to allow this proof to be ran on the external CI amd64-linux #60: Pull request #25 synchronize by tfaoliveira-sb
October 4, 2024 18:08 2m 2s add-to-external-ci
add-to-external-ci
October 4, 2024 18:08 2m 2s
proof: Makefile and workflow for runtest (eventually, only one job fo… amd64-linux #59: Commit 1095cbe pushed by tfaoliveira-sb
October 4, 2024 18:05 Failure add-to-external-ci
add-to-external-ci
October 4, 2024 18:05 Failure
Added files to allow this proof to be ran on the external CI amd64-linux #58: Pull request #25 opened by JoaoDiogoDuarte
October 4, 2024 15:02 2h 42m 22s add-to-external-ci
add-to-external-ci
October 4, 2024 15:02 2h 42m 22s
Merge pull request #24 from formosa-crypto/no_dep_preprocessing amd64-linux #57: Commit fa6037d pushed by tfaoliveira-sb
October 3, 2024 12:38 2m 3s main
main
October 3, 2024 12:38 2m 3s
jpp slim (no perl deps to preprocess); CI switched to preprocessed fi… amd64-linux #56: Pull request #24 opened by tfaoliveira-sb
October 3, 2024 12:21 2m 5s no_dep_preprocessing
no_dep_preprocessing
October 3, 2024 12:21 2m 5s
Merge pull request #23 from formosa-crypto/fix-ci-print amd64-linux #55: Commit 4e59a8f pushed by tfaoliveira-sb
October 3, 2024 11:28 2m 34s main
main
October 3, 2024 11:28 2m 34s
fix logs printing in CI + dockerfile updates amd64-linux #54: Pull request #23 opened by tfaoliveira-sb
October 3, 2024 11:19 2m 6s fix-ci-print
fix-ci-print
October 3, 2024 11:19 2m 6s
Merge pull request #22 from formosa-crypto/ci amd64-linux #53: Commit e5d4592 pushed by tfaoliveira-sb
October 1, 2024 20:53 3m 2s main
main
October 1, 2024 20:53 3m 2s
jlog: add group and file cat to logs amd64-linux #52: Pull request #22 synchronize by tfaoliveira-sb
October 1, 2024 20:49 2m 22s ci
ci
October 1, 2024 20:49 2m 22s
jlog: add group and file cat to logs amd64-linux #51: Pull request #22 synchronize by tfaoliveira-sb
October 1, 2024 20:31 2m 43s ci
ci
October 1, 2024 20:31 2m 43s
jlog: add group and file cat to logs amd64-linux #50: Pull request #22 synchronize by tfaoliveira-sb
October 1, 2024 20:26 2m 43s ci
ci
October 1, 2024 20:26 2m 43s
jlog: add group and file cat to logs amd64-linux #49: Pull request #22 synchronize by tfaoliveira-sb
October 1, 2024 20:21 2m 49s ci
ci
October 1, 2024 20:21 2m 49s
jlog: add group and file cat to logs amd64-linux #48: Pull request #22 opened by tfaoliveira-sb
October 1, 2024 20:03 3m 55s ci
ci
October 1, 2024 20:03 3m 55s
Merge pull request #21 from formosa-crypto/proof-optimization amd64-linux #47: Commit 1bc6d07 pushed by tfaoliveira-sb
October 1, 2024 10:00 2m 43s main
main
October 1, 2024 10:00 2m 43s