Skip to content
CI

Generate Haskell code from the Agda spec #5219

Sign in to view logs

Generate Haskell code from the Agda spec

Generate Haskell code from the Agda spec #5219

Triggered via pull request February 13, 2025 19:21
@javierdiaz72javierdiaz72
synchronize #1315
javierdiaz72/agda-spec-to-haskell
Status Success
Total duration 41m 51s
Artifacts 3

ci.yml

on: pull_request
Matrix: Build and test
Matrix: Run benchmarks
Deploy documentation to GitHub Pages
0s
Deploy documentation to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
benchmark-exes-Linux-8.10.7 Expired
7.89 MB
benchmark-exes-Linux-9.10.1 Expired
7.15 MB
benchmark-exes-Linux-9.6.6 Expired
7.05 MB