Skip to content

Actions: mildsunrise/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Tidy up CHANGELOG in preparation for v2.1 release candidate (#2412) Check whitespace #1: Commit 606bea8 pushed by mildsunrise
June 30, 2024 19:52 16s master
master
June 30, 2024 19:52 16s
Tidy up CHANGELOG in preparation for v2.1 release candidate (#2412) Ubuntu build #1: Commit 606bea8 pushed by mildsunrise
June 30, 2024 19:52 49m 44s master
master
June 30, 2024 19:52 49m 44s
Tidy up CHANGELOG in preparation for v2.1 release candidate (#2412) Haskell-CI #1: Commit 606bea8 pushed by mildsunrise
June 30, 2024 19:52 2m 53s master
master
June 30, 2024 19:52 2m 53s