Skip to content

Actions: openmina/proof-systems

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add PointEvaluations::{fst,snd} helper methods
CI #5: Commit 2fdb5a7 pushed by sebastiencs
September 20, 2024 09:01 2m 19s for-3.0.1-devnet
September 20, 2024 09:01 2m 19s
September 19, 2024 21:08 2m 14s