Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,623 workflow runs
3,623 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Add] truncate properties to Data.Vec.Properties Ubuntu build #5107: Pull request #2795 synchronize by e-mniang
28m 45s e-mniang:TruncateProperties
e-mniang:TruncateProperties
28m 45s
[Add] truncate properties to Data.Vec.Properties Check whitespace #2068: Pull request #2795 synchronize by e-mniang
9s e-mniang:TruncateProperties
e-mniang:TruncateProperties
9s
[Add] truncate properties to Data.Vec.Properties Haskell-CI #2413: Pull request #2795 synchronize by e-mniang
2m 49s e-mniang:TruncateProperties
e-mniang:TruncateProperties
2m 49s
[ add ] Pointwise lifting of algebra to Data.Vec.Functional (Functional vector module #1945 redux) Haskell-CI #2412: Pull request #2817 synchronize by e-mniang
2m 55s e-mniang:updating-pr-1945
e-mniang:updating-pr-1945
2m 55s
[ add ] Pointwise lifting of algebra to Data.Vec.Functional (Functional vector module #1945 redux) Ubuntu build #5106: Pull request #2817 synchronize by e-mniang
28m 26s e-mniang:updating-pr-1945
e-mniang:updating-pr-1945
28m 26s
[ add ] Pointwise lifting of algebra to Data.Vec.Functional (Functional vector module #1945 redux) Check whitespace #2067: Pull request #2817 synchronize by e-mniang
10s e-mniang:updating-pr-1945
e-mniang:updating-pr-1945
10s
pages build and deployment pages-build-deployment #622: by github-pages bot
1m 21s gh-pages
gh-pages
1m 21s
[bug] replace wrong argument to projection in `Algebra.Morphism.Const… Ubuntu build #5105: Commit 04eeb0a pushed by github-merge-queue bot
28m 47s master
master
28m 47s
[bug] replace wrong argument to projection in `Algebra.Morphism.Const… Check whitespace #2066: Commit 04eeb0a pushed by github-merge-queue bot
9s master
master
9s
[bug] replace wrong argument to projection in `Algebra.Morphism.Const… Haskell-CI #2411: Commit 04eeb0a pushed by github-merge-queue bot
2m 51s master
master
2m 51s
Ubuntu build Ubuntu build #5104: Merge group checks requested
28m 33s
28m 33s
Check whitespace Check whitespace #2065: Merge group checks requested
10s
10s
[bug] replace wrong argument to projection in Algebra.Morphism.Construct.DirectProduct Check whitespace #2064: Pull request #2822 synchronize by jamesmckinna
8s carlostome:carlos/fix-proj
carlostome:carlos/fix-proj
8s
[bug] replace wrong argument to projection in Algebra.Morphism.Construct.DirectProduct Haskell-CI #2410: Pull request #2822 synchronize by jamesmckinna
2m 50s carlostome:carlos/fix-proj
carlostome:carlos/fix-proj
2m 50s
[bug] replace wrong argument to projection in Algebra.Morphism.Construct.DirectProduct Ubuntu build #5103: Pull request #2822 synchronize by jamesmckinna
28m 15s carlostome:carlos/fix-proj
carlostome:carlos/fix-proj
28m 15s
pages build and deployment pages-build-deployment #621: by github-pages bot
1m 22s gh-pages
gh-pages
1m 22s
[ add ] BooleanRing plus Properties (#2763) Haskell-CI #2409: Commit dfa5b89 pushed by github-merge-queue bot
2m 51s master
master
2m 51s
[ add ] BooleanRing plus Properties (#2763) Ubuntu build #5102: Commit dfa5b89 pushed by github-merge-queue bot
28m 37s master
master
28m 37s
[ add ] BooleanRing plus Properties (#2763) Check whitespace #2063: Commit dfa5b89 pushed by github-merge-queue bot
13s master
master
13s
Ubuntu build Ubuntu build #5101: Merge group checks requested
28m 9s
28m 9s
Check whitespace Check whitespace #2062: Merge group checks requested
8s
8s
[ add ] clean version of Data.Fin.Properties.searchMinimalCounterexample Ubuntu build #5100: Pull request #2801 synchronize by jamesmckinna
28m 9s jamesmckinna:minimalCounterexample
jamesmckinna:minimalCounterexample
28m 9s
[ add ] clean version of Data.Fin.Properties.searchMinimalCounterexample Haskell-CI #2408: Pull request #2801 synchronize by jamesmckinna
2m 58s jamesmckinna:minimalCounterexample
jamesmckinna:minimalCounterexample
2m 58s
[ add ] clean version of Data.Fin.Properties.searchMinimalCounterexample Check whitespace #2061: Pull request #2801 synchronize by jamesmckinna
10s jamesmckinna:minimalCounterexample
jamesmckinna:minimalCounterexample
10s
[ add ] clean version of Data.Fin.Properties.searchMinimalCounterexample Ubuntu build #5099: Pull request #2801 synchronize by jamesmckinna
30m 13s jamesmckinna:minimalCounterexample
jamesmckinna:minimalCounterexample
30m 13s