Revision 90419fb06271c6a2459370b8ebe0c37546e78f99 authored by Arvid Jakobsson on 13 February 2024, 10:15:23 UTC, committed by Marge Bot on 13 February 2024, 18:49:05 UTC
We now need to handle jobs like [tezt-memory-3k] in addition to jobs like [tezt-memory-4k 1/4].
1 parent 2f9b580
| File | Mode | Size |
|---|---|---|
| plonk-aggregation | ||
| test | ||
| README.md | -rw-r--r-- | 404 bytes |
| circuit.ml | -rw-r--r-- | 30.0 KB |
| dune | -rw-r--r-- | 264 bytes |
| main_protocol.ml | -rw-r--r-- | 20.6 KB |
| pi_parameters.ml | -rw-r--r-- | 3.5 KB |
Computing file changes ...
