Skip to content

Actions: facebook/winterfell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
545 workflow runs
545 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

minor updates in proof security estimation CI #849: Commit 59698a8 pushed by irakliyk
October 23, 2023 19:26 2m 40s main
main
October 23, 2023 19:26 2m 40s
updated changelog CI #848: Commit 2d13485 pushed by irakliyk
October 23, 2023 18:53 2m 48s main
main
October 23, 2023 18:53 2m 48s
Merge pull request #224 from facebook/rejection-sampling CI #847: Commit d462c66 pushed by irakliyk
October 23, 2023 18:32 2m 30s main
main
October 23, 2023 18:32 2m 30s
Allow duplicate query positions CI #846: Pull request #224 synchronize by irakliyk
October 23, 2023 18:25 2m 29s rejection-sampling
rejection-sampling
October 23, 2023 18:25 2m 29s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-16 or the other filters available.