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
pages build and deployment pages-build-deployment #715: by github-pages Bot
1m 16s gh-pages
gh-pages
1m 16s
Add inverse assoc law to Data.List.Relation.Ternary.Appending.Setoid.… Haskell-CI #3095: Commit 2aa8a6c pushed by github-merge-queue Bot
3m 6s master
master
3m 6s
Add inverse assoc law to Data.List.Relation.Ternary.Appending.Setoid.… Ubuntu build #5887: Commit 2aa8a6c pushed by github-merge-queue Bot
40m 36s master
master
40m 36s
Add inverse assoc law to Data.List.Relation.Ternary.Appending.Setoid.… Check whitespace #2824: Commit 2aa8a6c pushed by github-merge-queue Bot
11s master
master
11s
Ubuntu build Ubuntu build #5886: Merge group checks requested
40m 22s
40m 22s
Haskell-CI Haskell-CI #3094: Merge group checks requested
3m 14s
3m 14s
Check whitespace Check whitespace #2823: Merge group checks requested
11s
11s
Add inverse assoc law to Data.List.Relation.Ternary.Appending.Setoid.Properties Check whitespace #2822: Pull request #3002 synchronize by jamesmckinna
11s appending-left-assoc
appending-left-assoc
11s
Add inverse assoc law to Data.List.Relation.Ternary.Appending.Setoid.Properties Ubuntu build #5885: Pull request #3002 synchronize by jamesmckinna
36m 24s appending-left-assoc
appending-left-assoc
36m 24s
Add inverse assoc law to Data.List.Relation.Ternary.Appending.Setoid.Properties Haskell-CI #3093: Pull request #3002 synchronize by jamesmckinna
2m 59s appending-left-assoc
appending-left-assoc
2m 59s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Ubuntu build #5884: Pull request #3031 synchronize by jamesmckinna
39m 46s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
39m 46s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Haskell-CI #3092: Pull request #3031 synchronize by jamesmckinna
3m 3s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
3m 3s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Check whitespace #2821: Pull request #3031 synchronize by jamesmckinna
7s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
7s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Ubuntu build #5883: Pull request #3031 synchronize by jamesmckinna
43m 29s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
43m 29s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Haskell-CI #3091: Pull request #3031 synchronize by jamesmckinna
3m 6s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
3m 6s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Check whitespace #2820: Pull request #3031 synchronize by jamesmckinna
11s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
11s
[ fix ] issue #2987 : element -> constant Ubuntu build #5882: Pull request #3036 opened by jamesmckinna
41m 50s jamesmckinna:issue2987
jamesmckinna:issue2987
41m 50s
[ fix ] issue #2987 : element -> constant Check whitespace #2819: Pull request #3036 opened by jamesmckinna
12s jamesmckinna:issue2987
jamesmckinna:issue2987
12s
[ fix ] issue #2987 : element -> constant Haskell-CI #3090: Pull request #3036 opened by jamesmckinna
3m 14s jamesmckinna:issue2987
jamesmckinna:issue2987
3m 14s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Haskell-CI #3089: Pull request #3031 synchronize by jamesmckinna
3m 1s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
3m 1s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Ubuntu build #5881: Pull request #3031 synchronize by jamesmckinna
40m 45s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
40m 45s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Check whitespace #2818: Pull request #3031 synchronize by jamesmckinna
8s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
8s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Ubuntu build #5880: Pull request #3031 synchronize by jamesmckinna
40m 37s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
40m 37s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Haskell-CI #3088: Pull request #3031 synchronize by jamesmckinna
4m 5s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
4m 5s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Check whitespace #2817: Pull request #3031 synchronize by jamesmckinna
8s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
8s