Skip to content

Actions: gallais/agdarsec

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
2 workflow runs
2 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
[ admin ] allow caller to pick agda executable Ubuntu build #31: Commit 6772e02 pushed by gallais
May 12, 2023 12:16 23m 0s master
master
May 12, 2023 12:16 23m 0s
Support for Agda 2.6.2 & stdlib 2.0 (#32) Ubuntu build #30: Commit d904bd2 pushed by gallais
May 12, 2023 12:13 22m 38s master
master
May 12, 2023 12:13 22m 38s