Skip to content

Actions: jamesmckinna/agda-stdlib

Actions

Haskell-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
haskell-ci.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] Change definition of Data.Nat.Base._≤‴_ (#2518) Haskell-CI #4: Commit d5bb6cf pushed by jamesmckinna
December 22, 2024 12:57 3m 31s master
master
December 22, 2024 12:57 3m 31s
fixes #2390 (#2392) Haskell-CI #3: Commit 4da2da6 pushed by jamesmckinna
May 30, 2024 13:27 4m 44s master
master
May 30, 2024 13:27 4m 44s
Setup for v2.1 (#2227) Haskell-CI #2: Commit 4437fcb pushed by jamesmckinna
December 13, 2023 18:52 3m 46s master
master
December 13, 2023 18:52 3m 46s