Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,032 workflow runs
4,032 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Add] Properties of rounding in Rational Ubuntu build #5555: Pull request #2953 synchronize by aortega0703
45m 15s aortega0703:rounding-properties
aortega0703:rounding-properties
45m 15s
[Add] Properties of rounding in Rational Check whitespace #2494: Pull request #2953 synchronize by aortega0703
20s aortega0703:rounding-properties
aortega0703:rounding-properties
20s
[Add] Properties of rounding in Rational Haskell-CI #2779: Pull request #2953 synchronize by aortega0703
3m 11s aortega0703:rounding-properties
aortega0703:rounding-properties
3m 11s
[Add] Division properties for Nat, Integer, and Rational Check whitespace #2493: Pull request #2962 synchronize by aortega0703
16s aortega0703:division-properties
aortega0703:division-properties
16s
[Add] Division properties for Nat, Integer, and Rational Ubuntu build #5554: Pull request #2962 synchronize by aortega0703
45m 59s aortega0703:division-properties
aortega0703:division-properties
45m 59s
[Add] Division properties for Nat, Integer, and Rational Haskell-CI #2778: Pull request #2962 synchronize by aortega0703
7m 38s aortega0703:division-properties
aortega0703:division-properties
7m 38s
pages build and deployment pages-build-deployment #676: by github-pages bot
1m 34s gh-pages
gh-pages
1m 34s
refactor: cosmetic reordering (#2960) Ubuntu build #5553: Commit 82b007f pushed by github-merge-queue bot
39m 37s master
master
39m 37s
refactor: cosmetic reordering (#2960) Check whitespace #2492: Commit 82b007f pushed by github-merge-queue bot
12s master
master
12s
refactor: cosmetic reordering (#2960) Haskell-CI #2777: Commit 82b007f pushed by github-merge-queue bot
3m 4s master
master
3m 4s
Ubuntu build Ubuntu build #5552: Merge group checks requested
48m 29s
48m 29s
Check whitespace Check whitespace #2491: Merge group checks requested
1m 11s
1m 11s
[ refactor ] fix #2865 Ubuntu build #5551: Pull request #2954 synchronize by jamesmckinna
49m 51s jamesmckinna:issue2865
jamesmckinna:issue2865
49m 51s
[ refactor ] fix #2865 Haskell-CI #2776: Pull request #2954 synchronize by jamesmckinna
8m 1s jamesmckinna:issue2865
jamesmckinna:issue2865
8m 1s
[ refactor ] fix #2865 Check whitespace #2490: Pull request #2954 synchronize by jamesmckinna
3m 15s jamesmckinna:issue2865
jamesmckinna:issue2865
3m 15s
[ add ] Algebra.Construct.Centre.X of an algebra X, following #2863 Check whitespace #2489: Pull request #2885 synchronize by jamesmckinna
11s jamesmckinna:centres-bis
jamesmckinna:centres-bis
11s
[ add ] Algebra.Construct.Centre.X of an algebra X, following #2863 Ubuntu build #5550: Pull request #2885 synchronize by jamesmckinna
45m 26s jamesmckinna:centres-bis
jamesmckinna:centres-bis
45m 26s
[ add ] Algebra.Construct.Centre.X of an algebra X, following #2863 Haskell-CI #2775: Pull request #2885 synchronize by jamesmckinna
3m 0s jamesmckinna:centres-bis
jamesmckinna:centres-bis
3m 0s
[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable Check whitespace #2488: Pull request #2958 synchronize by jamesmckinna
9s jamesmckinna:decidable-pointwise
jamesmckinna:decidable-pointwise
9s
[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable Ubuntu build #5549: Pull request #2958 synchronize by jamesmckinna
44m 37s jamesmckinna:decidable-pointwise
jamesmckinna:decidable-pointwise
44m 37s
[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable Haskell-CI #2774: Pull request #2958 synchronize by jamesmckinna
3m 7s jamesmckinna:decidable-pointwise
jamesmckinna:decidable-pointwise
3m 7s
[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable Haskell-CI #2773: Pull request #2958 synchronize by jamesmckinna
3m 6s jamesmckinna:decidable-pointwise
jamesmckinna:decidable-pointwise
3m 6s
[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable Check whitespace #2487: Pull request #2958 synchronize by jamesmckinna
13s jamesmckinna:decidable-pointwise
jamesmckinna:decidable-pointwise
13s
[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable Ubuntu build #5548: Pull request #2958 synchronize by jamesmckinna
41m 24s jamesmckinna:decidable-pointwise
jamesmckinna:decidable-pointwise
41m 24s
[ refactor ] introduce revised notation for decidability of Lexicographic orderings, plus knock-ons Haskell-CI #2772: Pull request #2963 synchronize by jamesmckinna
2m 59s jamesmckinna:decidable-lex
jamesmckinna:decidable-lex
2m 59s