Skip to content

Actions: facebook/winterfell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
559 workflow runs
559 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow duplicate query positions CI #845: Pull request #224 synchronize by irakliyk
October 23, 2023 18:23 2m 43s rejection-sampling
rejection-sampling
October 23, 2023 18:23 2m 43s
Merge pull request #223 from facebook/constraint-composition CI #844: Commit 0d91e75 pushed by irakliyk
October 23, 2023 18:17 2m 52s main
main
October 23, 2023 18:17 2m 52s
Moved constraint composition into constraint evaluator CI #843: Pull request #223 synchronize by irakliyk
October 23, 2023 18:13 2m 6s constraint-composition
constraint-composition
October 23, 2023 18:13 2m 6s
Allow duplicate query positions CI #842: Pull request #224 opened by irakliyk
October 23, 2023 08:45 2m 59s rejection-sampling
rejection-sampling
October 23, 2023 08:45 2m 59s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-16 or the other filters available.