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 Show class Ubuntu build #6226: Pull request #3098 synchronize by silas-hw
9m 13s silas-hw:show
silas-hw:show
9m 13s
Add Show class Check whitespace #3163: Pull request #3098 synchronize by silas-hw
13s silas-hw:show
silas-hw:show
13s
Add Show class Check whitespace #3162: Pull request #3098 synchronize by silas-hw
12s silas-hw:show
silas-hw:show
12s
Add Show class Ubuntu build #6225: Pull request #3098 synchronize by silas-hw
12m 19s silas-hw:show
silas-hw:show
12m 19s
Add Show class Check whitespace #3161: Pull request #3098 synchronize by silas-hw
10s silas-hw:show
silas-hw:show
10s
Add Show class Ubuntu build #6224: Pull request #3098 synchronize by silas-hw
12m 34s silas-hw:show
silas-hw:show
12m 34s
Add Show class Check whitespace #3160: Pull request #3098 synchronize by silas-hw
9s silas-hw:show
silas-hw:show
9s
Add Show class Ubuntu build #6223: Pull request #3098 synchronize by silas-hw
10m 48s silas-hw:show
silas-hw:show
10m 48s
Add Show class Check whitespace #3159: Pull request #3098 synchronize by silas-hw
12s silas-hw:show
silas-hw:show
12s
Add Show class Ubuntu build #6222: Pull request #3098 synchronize by silas-hw
10m 46s silas-hw:show
silas-hw:show
10m 46s
[ draft ] Refactor Dec to use constructive negation Ubuntu build #6221: Pull request #3065 synchronize by gallais
12m 32s gallais:positive-dec
gallais:positive-dec
12m 32s
[ draft ] Refactor Dec to use constructive negation Check whitespace #3158: Pull request #3065 synchronize by gallais
8s gallais:positive-dec
gallais:positive-dec
8s
[ draft ] Refactor Dec to use constructive negation Check whitespace #3157: Pull request #3065 synchronize by gallais
13s gallais:positive-dec
gallais:positive-dec
13s
[ draft ] Refactor Dec to use constructive negation Ubuntu build #6220: Pull request #3065 synchronize by gallais
13m 2s gallais:positive-dec
gallais:positive-dec
13m 2s
Add Queue datatype Check whitespace #3156: Pull request #3084 synchronize by silas-hw
9s silas-hw:queue
silas-hw:queue
9s
Add Queue datatype Ubuntu build #6219: Pull request #3084 synchronize by silas-hw
12m 54s silas-hw:queue
silas-hw:queue
12m 54s
Another Prop experiment Check whitespace #3155: Pull request #3108 opened by Taneb
9s Taneb:nonzero-prop-experiment
Taneb:nonzero-prop-experiment
9s
Another Prop experiment Ubuntu build #6218: Pull request #3108 opened by Taneb
4m 54s Taneb:nonzero-prop-experiment
Taneb:nonzero-prop-experiment
4m 54s
[Add] Properties of rounding in Rational Ubuntu build #6217: Pull request #2953 synchronize by aortega0703
12m 40s aortega0703:rounding-properties
aortega0703:rounding-properties
12m 40s
[Add] Properties of rounding in Rational Check whitespace #3154: Pull request #2953 synchronize by aortega0703
19s aortega0703:rounding-properties
aortega0703:rounding-properties
19s
[Add] Properties of rounding in Rational Check whitespace #3153: Pull request #2953 synchronize by aortega0703
16s aortega0703:rounding-properties
aortega0703:rounding-properties
16s
[Add] Properties of rounding in Rational Ubuntu build #6216: Pull request #2953 synchronize by aortega0703
11m 42s aortega0703:rounding-properties
aortega0703:rounding-properties
11m 42s
Add negatives for commutative monoids and semirings (Abelian group and ring completions) Check whitespace #3152: Pull request #3106 synchronize by LionOfJewdah
Action required LionOfJewdah:feat/abelian-group-ring-completion
LionOfJewdah:feat/abelian-group-ring-completion
Action required
Add negatives for commutative monoids and semirings (Abelian group and ring completions) Ubuntu build #6215: Pull request #3106 synchronize by LionOfJewdah
-1s LionOfJewdah:feat/abelian-group-ring-completion
LionOfJewdah:feat/abelian-group-ring-completion
-1s
Add Queue datatype Check whitespace #3151: Pull request #3084 synchronize by silas-hw
11s silas-hw:queue
silas-hw:queue
11s