Skip to content
Project checks

Generate Haskell code from the Agda spec #3216

Sign in to view logs

Generate Haskell code from the Agda spec

Generate Haskell code from the Agda spec #3216

Triggered via pull request December 18, 2024 11:22
@geo2ageo2a
synchronize #1315
javierdiaz72/agda-spec-to-haskell
Status Success
Total duration 2m 49s
Artifacts –

checks.yml

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

Annotations

5 warnings
Release badges are updated
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Changelogs
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Cabal files check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Check build plans (dev vs release)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Major bumps detected
brick 2.4.0.0 -> 2.6.0.0