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 ] More Data.Product.Nary.NonDependent operation and properties Check whitespace #3203: Pull request #3119 synchronize by jkopanski
8s jkopanski:product-nary
jkopanski:product-nary
8s
[ add ] More Data.Product.Nary.NonDependent operation and properties Ubuntu build #6266: Pull request #3119 synchronize by jkopanski
11m 59s jkopanski:product-nary
jkopanski:product-nary
11m 59s
[ add ] More Data.Product.Nary.NonDependent operation and properties Ubuntu build #6265: Pull request #3119 synchronize by jkopanski
12m 15s jkopanski:product-nary
jkopanski:product-nary
12m 15s
[ add ] More Data.Product.Nary.NonDependent operation and properties Check whitespace #3202: Pull request #3119 synchronize by jkopanski
11s jkopanski:product-nary
jkopanski:product-nary
11s
[ add ] More Data.Product.Nary.NonDependent operation and properties Ubuntu build #6264: Pull request #3119 synchronize by jkopanski
11m 53s jkopanski:product-nary
jkopanski:product-nary
11m 53s
[ add ] More Data.Product.Nary.NonDependent operation and properties Check whitespace #3201: Pull request #3119 synchronize by jkopanski
11s jkopanski:product-nary
jkopanski:product-nary
11s
[ new ] Polynomials Ubuntu build #6263: Pull request #3123 synchronize by samparkky
Action required samparkky:prof-edits
samparkky:prof-edits
Action required
[ new ] Polynomials Check whitespace #3200: Pull request #3123 synchronize by samparkky
Action required samparkky:prof-edits
samparkky:prof-edits
Action required
[ new ] Polynomials Ubuntu build #6262: Pull request #3123 synchronize by samparkky
Action required samparkky:prof-edits
samparkky:prof-edits
Action required
[ new ] Polynomials Check whitespace #3199: Pull request #3123 synchronize by samparkky
Action required samparkky:prof-edits
samparkky:prof-edits
Action required
[ new ] Polynomials Check whitespace #3198: Pull request #3123 opened by gallais
23s samparkky:prof-edits
samparkky:prof-edits
23s
[ new ] Polynomials Ubuntu build #6261: Pull request #3123 opened by gallais
13m 22s samparkky:prof-edits
samparkky:prof-edits
13m 22s
Fill in some implicit arguments in Data.Nat.DivMod Ubuntu build #6260: Pull request #3122 opened by shhyou
11m 39s shhyou:divmod-implicits
shhyou:divmod-implicits
11m 39s
Fill in some implicit arguments in Data.Nat.DivMod Check whitespace #3197: Pull request #3122 opened by shhyou
9s shhyou:divmod-implicits
shhyou:divmod-implicits
9s
Vec recusive Check whitespace #3196: Pull request #3120 opened by jkopanski
11s jkopanski:vec-recusive
jkopanski:vec-recusive
11s
Vec recusive Ubuntu build #6259: Pull request #3120 opened by jkopanski
10m 29s jkopanski:vec-recusive
jkopanski:vec-recusive
10m 29s
[ add ] More Data.Product.Nary.NonDependent operation and properties Check whitespace #3195: Pull request #3119 opened by jkopanski
11s jkopanski:product-nary
jkopanski:product-nary
11s
[ add ] More Data.Product.Nary.NonDependent operation and properties Ubuntu build #6258: Pull request #3119 opened by jkopanski
12m 9s jkopanski:product-nary
jkopanski:product-nary
12m 9s
pages build and deployment pages-build-deployment #742: by github-pages Bot
1m 23s gh-pages
gh-pages
1m 23s
Remove fixity declarations for closed operators (#3115) Check whitespace #3194: Commit 2ffa8b7 pushed by github-merge-queue Bot
12s master
master
12s
Remove fixity declarations for closed operators (#3115) Ubuntu build #6257: Commit 2ffa8b7 pushed by github-merge-queue Bot
12m 0s master
master
12m 0s
Ubuntu build Ubuntu build #6256: Merge group checks requested
11m 39s
11m 39s
Haskell-CI Haskell-CI #3321: Merge group checks requested
2m 57s
2m 57s
Check whitespace Check whitespace #3193: Merge group checks requested
8s
8s
pages build and deployment pages-build-deployment #741: by github-pages Bot
2m 6s gh-pages
gh-pages
2m 6s