Skip to content

Actions: facebook/winterfell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
512 workflow runs
512 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Moved constraint composition into constraint evaluator CI #841: Pull request #223 synchronize by irakliyk
October 23, 2023 07:01 2m 27s constraint-composition
constraint-composition
October 23, 2023 07:01 2m 27s
Merge pull request #222 from facebook/trace-lde-constructor CI #840: Commit 3d8aa61 pushed by irakliyk
October 23, 2023 07:00 2m 53s main
main
October 23, 2023 07:00 2m 53s
Move TraceLde constructor into Prover trait CI #839: Pull request #222 synchronize by irakliyk
October 23, 2023 07:00 2m 23s trace-lde-constructor
trace-lde-constructor
October 23, 2023 07:00 2m 23s
Merge pull request #221 from facebook/v0.7-release-prep CI #838: Commit 8b9d0c3 pushed by irakliyk
October 23, 2023 06:55 2m 50s main
main
October 23, 2023 06:55 2m 50s
Moved constraint composition into constraint evaluator CI #837: Pull request #223 opened by irakliyk
October 23, 2023 06:08 2m 45s constraint-composition
constraint-composition
October 23, 2023 06:08 2m 45s
Move TraceLde constructor into Prover trait CI #836: Pull request #222 synchronize by irakliyk
October 22, 2023 08:38 2m 7s trace-lde-constructor
trace-lde-constructor
October 22, 2023 08:38 2m 7s
Prepare v0.7.0 release CI #835: Pull request #221 synchronize by irakliyk
October 22, 2023 08:36 2m 18s v0.7-release-prep
v0.7-release-prep
October 22, 2023 08:36 2m 18s
Move TraceLde constructor into Prover trait CI #834: Pull request #222 opened by irakliyk
October 22, 2023 08:32 2m 24s trace-lde-constructor
trace-lde-constructor
October 22, 2023 08:32 2m 24s
Prepare v0.7.0 release CI #833: Pull request #221 opened by irakliyk
October 22, 2023 07:23 2m 22s v0.7-release-prep
v0.7-release-prep
October 22, 2023 07:23 2m 22s
Remove duplicate random queries check CI #832: Pull request #220 synchronize by Al-Kindi-0
October 20, 2023 08:06 2m 17s Al-Kindi-0:al-unique-queries
Al-Kindi-0:al-unique-queries
October 20, 2023 08:06 2m 17s
Remove duplicate random queries check CI #831: Pull request #220 synchronize by Al-Kindi-0
October 18, 2023 08:51 2m 18s Al-Kindi-0:al-unique-queries
Al-Kindi-0:al-unique-queries
October 18, 2023 08:51 2m 18s
Merge pull request #219 from Al-Kindi-0/al-acceptable-options CI #830: Commit 4d5157b pushed by irakliyk
October 17, 2023 19:59 2m 9s main
main
October 17, 2023 19:59 2m 9s
Add acceptable options argument to verification CI #829: Pull request #219 synchronize by Al-Kindi-0
October 17, 2023 19:38 2m 7s Al-Kindi-0:al-acceptable-options
Al-Kindi-0:al-acceptable-options
October 17, 2023 19:38 2m 7s
Remove duplicate random queries check CI #828: Pull request #220 opened by Al-Kindi-0
October 17, 2023 10:18 2m 34s Al-Kindi-0:al-unique-queries
Al-Kindi-0:al-unique-queries
October 17, 2023 10:18 2m 34s
Add acceptable options argument to verification CI #827: Pull request #219 synchronize by Al-Kindi-0
October 17, 2023 09:34 2m 18s Al-Kindi-0:al-acceptable-options
Al-Kindi-0:al-acceptable-options
October 17, 2023 09:34 2m 18s
Add acceptable options argument to verification CI #826: Pull request #219 synchronize by Al-Kindi-0
October 17, 2023 09:01 2m 14s Al-Kindi-0:al-acceptable-options
Al-Kindi-0:al-acceptable-options
October 17, 2023 09:01 2m 14s
Merge pull request #218 from Al-Kindi-0/al-protocol-security-nostd CI #825: Commit 92c754e pushed by irakliyk
October 16, 2023 18:00 2m 50s main
main
October 16, 2023 18:00 2m 50s
Protocol proven security in no-std CI #824: Pull request #218 synchronize by Al-Kindi-0
October 16, 2023 16:58 2m 40s Al-Kindi-0:al-protocol-security-nostd
Al-Kindi-0:al-protocol-security-nostd
October 16, 2023 16:58 2m 40s
Protocol proven security in no-std CI #823: Pull request #218 synchronize by Al-Kindi-0
October 16, 2023 11:42 2m 24s Al-Kindi-0:al-protocol-security-nostd
Al-Kindi-0:al-protocol-security-nostd
October 16, 2023 11:42 2m 24s
Merge pull request #215 from Al-Kindi-0/al-protocol-security CI #822: Commit 4af4947 pushed by irakliyk
October 16, 2023 10:31 2m 34s main
main
October 16, 2023 10:31 2m 34s
Proven security for protocol CI #821: Pull request #215 synchronize by Al-Kindi-0
October 16, 2023 09:51 2m 19s Al-Kindi-0:al-protocol-security
Al-Kindi-0:al-protocol-security
October 16, 2023 09:51 2m 19s
Add acceptable options argument to verification CI #820: Pull request #219 opened by Al-Kindi-0
October 13, 2023 16:33 2m 16s Al-Kindi-0:al-acceptable-options
Al-Kindi-0:al-acceptable-options
October 13, 2023 16:33 2m 16s
Proven security for protocol CI #819: Pull request #215 synchronize by Al-Kindi-0
October 13, 2023 10:34 2m 51s Al-Kindi-0:al-protocol-security
Al-Kindi-0:al-protocol-security
October 13, 2023 10:34 2m 51s
added custom rustfmt.toml file CI #818: Commit 4543689 pushed by irakliyk
September 29, 2023 07:17 2m 44s main
main
September 29, 2023 07:17 2m 44s
updated changelog, added comments, and minor refactoring CI #817: Commit 0a3d8db pushed by irakliyk
September 29, 2023 06:58 2m 54s main
main
September 29, 2023 06:58 2m 54s
ProTip! You can narrow down the results and go further in time using created:<2023-09-29 or the other filters available.