Generate Haskell code from the Agda spec · IntersectMBO/ouroboros-consensus@5ba7a4a

Re-run triggered February 17, 2025 09:16

geo2a

#1315

Status Success

Total duration 41m 52s

Artifacts 3

ci.yml

on: pull_request

Matrix: Build and test

Matrix: Run benchmarks

Produced during runtime

Name	Size
benchmark-exes-Linux-8.10.7 Expired	7.89 MB