Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add tactic-style ring solvers for rational and unnormalised rational numbers Ubuntu build #5539: Pull request #2965 synchronize by dancewithheart
Action required dancewithheart:rational-ringsolver
dancewithheart:rational-ringsolver
Action required
Add tactic-style ring solvers for rational and unnormalised rational numbers Haskell-CI #2766: Pull request #2965 synchronize by dancewithheart
Action required dancewithheart:rational-ringsolver
dancewithheart:rational-ringsolver
Action required
Add tactic-style ring solvers for rational and unnormalised rational numbers Check whitespace #2478: Pull request #2965 synchronize by dancewithheart
Action required dancewithheart:rational-ringsolver
dancewithheart:rational-ringsolver
Action required
Add tactic-style ring solvers for rational and unnormalised rational numbers Haskell-CI #2765: Pull request #2965 opened by dancewithheart
Action required dancewithheart:rational-ringsolver
dancewithheart:rational-ringsolver
Action required
Add tactic-style ring solvers for rational and unnormalised rational numbers Ubuntu build #5538: Pull request #2965 opened by dancewithheart
Action required dancewithheart:rational-ringsolver
dancewithheart:rational-ringsolver
Action required
Add tactic-style ring solvers for rational and unnormalised rational numbers Check whitespace #2477: Pull request #2965 opened by dancewithheart
Action required dancewithheart:rational-ringsolver
dancewithheart:rational-ringsolver
Action required
[ refactor ] introduce revised notation for decidability of Lexicographic orderings, plus knock-ons Check whitespace #2476: Pull request #2963 opened by jamesmckinna
12s jamesmckinna:decidable-lex
jamesmckinna:decidable-lex
12s
[ refactor ] introduce revised notation for decidability of Lexicographic orderings, plus knock-ons Ubuntu build #5537: Pull request #2963 opened by jamesmckinna
44m 43s jamesmckinna:decidable-lex
jamesmckinna:decidable-lex
44m 43s
[ refactor ] introduce revised notation for decidability of Lexicographic orderings, plus knock-ons Haskell-CI #2764: Pull request #2963 opened by jamesmckinna
3m 10s jamesmckinna:decidable-lex
jamesmckinna:decidable-lex
3m 10s
[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable Haskell-CI #2763: Pull request #2958 synchronize by jamesmckinna
3m 9s jamesmckinna:decidable-pointwise
jamesmckinna:decidable-pointwise
3m 9s
[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable Check whitespace #2475: Pull request #2958 synchronize by jamesmckinna
10s jamesmckinna:decidable-pointwise
jamesmckinna:decidable-pointwise
10s
[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable Ubuntu build #5536: Pull request #2958 synchronize by jamesmckinna
45m 9s jamesmckinna:decidable-pointwise
jamesmckinna:decidable-pointwise
45m 9s
[Add] Division properties for Nat, Integer, and Rational Check whitespace #2474: Pull request #2962 opened by aortega0703
11s aortega0703:division-properties
aortega0703:division-properties
11s
[Add] Division properties for Nat, Integer, and Rational Ubuntu build #5535: Pull request #2962 opened by aortega0703
44m 29s aortega0703:division-properties
aortega0703:division-properties
44m 29s
[Add] Division properties for Nat, Integer, and Rational Haskell-CI #2762: Pull request #2962 opened by aortega0703
3m 11s aortega0703:division-properties
aortega0703:division-properties
3m 11s
[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable Ubuntu build #5534: Pull request #2958 synchronize by jamesmckinna
39m 20s jamesmckinna:decidable-pointwise
jamesmckinna:decidable-pointwise
39m 20s
[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable Check whitespace #2473: Pull request #2958 synchronize by jamesmckinna
13s jamesmckinna:decidable-pointwise
jamesmckinna:decidable-pointwise
13s
[ refactor ] name of Data.Product.Relation.Binary.Pointwise.NonDependent.×-decidable Haskell-CI #2761: Pull request #2958 synchronize by jamesmckinna
3m 8s jamesmckinna:decidable-pointwise
jamesmckinna:decidable-pointwise
3m 8s
[ refactor ] make Relation.Binary.Morphism.Definitions obsolete Check whitespace #2472: Pull request #2922 synchronize by jamesmckinna
10s jamesmckinna:issue2875ptI
jamesmckinna:issue2875ptI
10s
[ refactor ] make Relation.Binary.Morphism.Definitions obsolete Ubuntu build #5533: Pull request #2922 synchronize by jamesmckinna
43m 35s jamesmckinna:issue2875ptI
jamesmckinna:issue2875ptI
43m 35s
[ refactor ] make Relation.Binary.Morphism.Definitions obsolete Haskell-CI #2760: Pull request #2922 synchronize by jamesmckinna
23m 36s jamesmckinna:issue2875ptI
jamesmckinna:issue2875ptI
23m 36s
[ refactor ] make Relation.Binary.Morphism.Definitions obsolete Haskell-CI #2759: Pull request #2922 synchronize by jamesmckinna
10m 6s jamesmckinna:issue2875ptI
jamesmckinna:issue2875ptI
10m 6s
[ refactor ] make Relation.Binary.Morphism.Definitions obsolete Check whitespace #2471: Pull request #2922 synchronize by jamesmckinna
12s jamesmckinna:issue2875ptI
jamesmckinna:issue2875ptI
12s
[ refactor ] make Relation.Binary.Morphism.Definitions obsolete Ubuntu build #5532: Pull request #2922 synchronize by jamesmckinna
9m 45s jamesmckinna:issue2875ptI
jamesmckinna:issue2875ptI
9m 45s
[ add ] Algebra.Construct.Centre.X of an algebra X, following #2863 Ubuntu build #5531: Pull request #2885 synchronize by jamesmckinna
44m 54s jamesmckinna:centres-bis
jamesmckinna:centres-bis
44m 54s