Skip to content

Actions: alexarice/all-agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
update standard library and locks Populate cachix #30: Commit 145f5ba pushed by alexarice
1h 25m 14s master
master
1h 25m 14s
Add standard library 2.4 Populate cachix #29: Commit e43d810 pushed by alexarice
23m 1s master
master
23m 1s
Add standard library 2.3 Populate cachix #28: Commit 0087d2c pushed by alexarice
29m 12s master
master
29m 12s
Remove release candidate from workflow Populate cachix #27: Commit 8ac8fd0 pushed by alexarice
1h 14m 16s master
master
1h 14m 16s
Remove release candidate Populate cachix #26: Commit 1db7dc4 pushed by alexarice
1h 12m 58s master
master
1h 12m 58s
Globally set locale Populate cachix #25: Commit 31a9a09 pushed by alexarice
1h 11m 19s master
master
1h 11m 19s
Update workflow Populate cachix #24: Commit 2f7e678 pushed by alexarice
1h 11m 50s master
master
1h 11m 50s
Add agda 2.8.0 Populate cachix #23: Commit 0929d84 pushed by alexarice
1h 12m 26s master
master
1h 12m 26s