Skip to content

Actions: andrewmilson/ministark

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Merge pull request #20 from Overcastan/andrew-update-winterfell
CI #76: Commit 875fb38 pushed by andrewmilson
February 14, 2024 15:22 2m 15s main
February 14, 2024 15:22 2m 15s
Update winter-math version to 0.8
CI #75: Pull request #20 opened by Fumuran
February 14, 2024 14:40 2m 8s Fumuran:andrew-update-winterfell
February 14, 2024 14:40 2m 8s
Update to version 0.7 of winter-math
CI #74: Commit dfd2a7d pushed by andrewmilson
October 27, 2023 10:12 3m 36s main
October 27, 2023 10:12 3m 36s
Fix test compile errors
CI #72: Commit 6f0845c pushed by andrewmilson
August 26, 2023 02:47 4m 10s main
August 26, 2023 02:47 4m 10s
Fix logs
CI #71: Commit f1d5372 pushed by andrewmilson
August 19, 2023 13:44 2m 11s main
August 19, 2023 13:44 2m 11s
Remove prints from constraint evaluation
CI #70: Commit e468ed6 pushed by andrewmilson
August 19, 2023 13:15 4m 7s main
August 19, 2023 13:15 4m 7s
Cargo update and fix warnings
CI #69: Commit 34e0b9c pushed by andrewmilson
July 15, 2023 07:56 3m 56s main
July 15, 2023 07:56 3m 56s
Remove prints in prover
CI #68: Commit 6dd2ea0 pushed by andrewmilson
July 15, 2023 07:11 1m 9s main
July 15, 2023 07:11 1m 9s