Skip to content
Project checks

Generate Haskell code from the Agda spec #3394

Sign in to view logs

Generate Haskell code from the Agda spec

Generate Haskell code from the Agda spec #3394

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

checks.yml

on: pull_request
Changelogs
6s
Changelogs
Cabal files check
7s
Cabal files check
Release badges are updated
4s
Release badges are updated
Check build plans (dev vs release)
2m 22s
Check build plans (dev vs release)
Check references
14s
Check references
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Major bumps detected
brick 2.6.0.0 -> 2.8.2.0