Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Add condition to test-stdlib and test-stdlib-golden to not run on push in ci-ubuntu Check whitespace #3120: Pull request #3097 synchronize by silas-hw
9s silas-hw:ci-deduplicate
silas-hw:ci-deduplicate
9s
Add condition to test-stdlib and test-stdlib-golden to not run on push in ci-ubuntu Ubuntu build #6183: Pull request #3097 synchronize by silas-hw
3m 39s silas-hw:ci-deduplicate
silas-hw:ci-deduplicate
3m 39s
Add condition to test-stdlib and test-stdlib-golden to not run on push in ci-ubuntu Check whitespace #3119: Pull request #3097 synchronize by silas-hw
15s silas-hw:ci-deduplicate
silas-hw:ci-deduplicate
15s
Add condition to test-stdlib and test-stdlib-golden to not run on push in ci-ubuntu Ubuntu build #6182: Pull request #3097 synchronize by silas-hw
12m 9s silas-hw:ci-deduplicate
silas-hw:ci-deduplicate
12m 9s
Add condition to test-stdlib and test-stdlib-golden to not run on push in ci-ubuntu Ubuntu build #6181: Pull request #3097 synchronize by silas-hw
12m 16s silas-hw:ci-deduplicate
silas-hw:ci-deduplicate
12m 16s
Add condition to test-stdlib and test-stdlib-golden to not run on push in ci-ubuntu Check whitespace #3118: Pull request #3097 synchronize by silas-hw
18s silas-hw:ci-deduplicate
silas-hw:ci-deduplicate
18s
Add condition to test-stdlib and test-stdlib-golden to not run on push in ci-ubuntu Ubuntu build #6180: Pull request #3097 synchronize by silas-hw
11m 42s silas-hw:ci-deduplicate
silas-hw:ci-deduplicate
11m 42s
Add condition to test-stdlib and test-stdlib-golden to not run on push in ci-ubuntu Check whitespace #3117: Pull request #3097 synchronize by silas-hw
19s silas-hw:ci-deduplicate
silas-hw:ci-deduplicate
19s
Add condition to test-stdlib and test-stdlib-golden to not run on push in ci-ubuntu Ubuntu build #6179: Pull request #3097 synchronize by silas-hw
11m 51s silas-hw:ci-deduplicate
silas-hw:ci-deduplicate
11m 51s
Add condition to test-stdlib and test-stdlib-golden to not run on push in ci-ubuntu Check whitespace #3116: Pull request #3097 synchronize by silas-hw
12s silas-hw:ci-deduplicate
silas-hw:ci-deduplicate
12s
Add condition to test-stdlib and test-stdlib-golden to not run on push in ci-ubuntu Ubuntu build #6178: Pull request #3097 opened by silas-hw
13s silas-hw:ci-deduplicate
silas-hw:ci-deduplicate
13s
Add condition to test-stdlib and test-stdlib-golden to not run on push in ci-ubuntu Check whitespace #3115: Pull request #3097 opened by silas-hw
13s silas-hw:ci-deduplicate
silas-hw:ci-deduplicate
13s
Add Queue datatype Check whitespace #3114: Pull request #3084 synchronize by silas-hw
9m 24s silas-hw:queue
silas-hw:queue
9m 24s
Add Queue datatype Ubuntu build #6177: Pull request #3084 synchronize by silas-hw
20m 50s silas-hw:queue
silas-hw:queue
20m 50s
[ refactor ] make Data.List.Base.[_] a pattern synonym Ubuntu build #6176: Pull request #3095 synchronize by jamesmckinna
11m 30s jamesmckinna:singleton-pattern
jamesmckinna:singleton-pattern
11m 30s
[ refactor ] make Data.List.Base.[_] a pattern synonym Check whitespace #3113: Pull request #3095 synchronize by jamesmckinna
9s jamesmckinna:singleton-pattern
jamesmckinna:singleton-pattern
9s
[ refactor ] make Data.List.Base.[_] a pattern synonym Check whitespace #3112: Pull request #3095 synchronize by jamesmckinna
11s jamesmckinna:singleton-pattern
jamesmckinna:singleton-pattern
11s
[ refactor ] make Data.List.Base.[_] a pattern synonym Ubuntu build #6175: Pull request #3095 synchronize by jamesmckinna
10m 43s jamesmckinna:singleton-pattern
jamesmckinna:singleton-pattern
10m 43s
[ refactor ] make Data.List.Base.[_] a pattern synonym Ubuntu build #6174: Pull request #3095 opened by jamesmckinna
1m 8s jamesmckinna:singleton-pattern
jamesmckinna:singleton-pattern
1m 8s
[ refactor ] make Data.List.Base.[_] a pattern synonym Check whitespace #3111: Pull request #3095 opened by jamesmckinna
13s jamesmckinna:singleton-pattern
jamesmckinna:singleton-pattern
13s
[Add] Division properties for Nat, Integer, and Rational Ubuntu build #6173: Pull request #2962 synchronize by aortega0703
12m 18s aortega0703:division-properties
aortega0703:division-properties
12m 18s
[Add] Division properties for Nat, Integer, and Rational Check whitespace #3110: Pull request #2962 synchronize by aortega0703
8s aortega0703:division-properties
aortega0703:division-properties
8s
Add Queue datatype Check whitespace #3109: Pull request #3084 synchronize by silas-hw
16s silas-hw:queue
silas-hw:queue
16s
Add Queue datatype Ubuntu build #6172: Pull request #3084 synchronize by silas-hw
11m 32s silas-hw:queue
silas-hw:queue
11m 32s
Add Queue datatype Check whitespace #3108: Pull request #3084 synchronize by silas-hw
13s silas-hw:queue
silas-hw:queue
13s