chore: merge PSE upstream to reconcile merge commits #45

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Rustfmt	13s
Test	9m 30s
Clippy lint checks	26s
Test (default)	9m 55s
Bench (default)	15m 27s
Bench (asm)	15m 52s
Bench (bn256-table)	15m 18s
	1h 6m 41s