Skip to content

Actions: formosa-crypto/formosa-25519

Actions

amd64-linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
amd64-linux.yml
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