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 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
Add Queue datatype Ubuntu build #6214: Pull request #3084 synchronize by silas-hw
11m 42s silas-hw:queue
silas-hw:queue
11m 42s
Add Queue datatype Check whitespace #3150: Pull request #3084 synchronize by silas-hw
9s silas-hw:queue
silas-hw:queue
9s
Add Queue datatype Ubuntu build #6213: Pull request #3084 synchronize by silas-hw
9m 57s silas-hw:queue
silas-hw:queue
9m 57s
pages build and deployment pages-build-deployment #739: by github-pages Bot
1m 33s gh-pages
gh-pages
1m 33s
[ add ] more properties of Data.List.Relation.Unary.All.Null (#3091) Check whitespace #3149: Commit 7f649a3 pushed by github-merge-queue Bot
20s master
master
20s
[ add ] more properties of Data.List.Relation.Unary.All.Null (#3091) Ubuntu build #6212: Commit 7f649a3 pushed by github-merge-queue Bot
10m 54s master
master
10m 54s
Ubuntu build Ubuntu build #6211: Merge group checks requested
11m 44s
11m 44s
Haskell-CI Haskell-CI #3311: Merge group checks requested
3m 14s
3m 14s
Check whitespace Check whitespace #3148: Merge group checks requested
9s
9s
Add Queue datatype Check whitespace #3147: Pull request #3084 synchronize by silas-hw
13s silas-hw:queue
silas-hw:queue
13s
Add Queue datatype Ubuntu build #6210: Pull request #3084 synchronize by silas-hw
9m 47s silas-hw:queue
silas-hw:queue
9m 47s
Add negatives for commutative monoids and semirings (Abelian group and ring completions) Check whitespace #3146: 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 #6209: Pull request #3106 synchronize by LionOfJewdah
Action required LionOfJewdah:feat/abelian-group-ring-completion
LionOfJewdah:feat/abelian-group-ring-completion
Action required
Add Queue datatype Check whitespace #3145: Pull request #3084 synchronize by silas-hw
8s silas-hw:queue
silas-hw:queue
8s