Skip to content

Actions: jmougeot/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Delete rewrite steps that do not fire (#2758) Ubuntu build #2: Commit 6f8af94 pushed by jmougeot
44m 49s master
master
44m 49s
Delete rewrite steps that do not fire (#2758) Haskell-CI #2: Commit 6f8af94 pushed by jmougeot
3m 1s master
master
3m 1s
Delete rewrite steps that do not fire (#2758) Check whitespace #2: Commit 6f8af94 pushed by jmougeot
11s master
master
11s
[ add ] Reflects for unit and empty types (#2727) Ubuntu build #1: Commit dc7ef5f pushed by jmougeot
53m 25s master
master
53m 25s
[ add ] Reflects for unit and empty types (#2727) Check whitespace #1: Commit dc7ef5f pushed by jmougeot
11s master
master
11s
[ add ] Reflects for unit and empty types (#2727) Haskell-CI #1: Commit dc7ef5f pushed by jmougeot
2m 59s master
master
2m 59s