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
[ 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
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Haskell-CI #3087: Pull request #3031 synchronize by jamesmckinna
2m 55s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
2m 55s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Ubuntu build #5879: Pull request #3031 synchronize by jamesmckinna
40m 5s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
40m 5s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Check whitespace #2816: Pull request #3031 synchronize by jamesmckinna
9s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
9s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Check whitespace #2815: Pull request #3031 synchronize by jamesmckinna
12s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
12s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Haskell-CI #3086: Pull request #3031 synchronize by jamesmckinna
3m 20s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
3m 20s
[ refactor ] Algebra.Structures.KleeneAlgebra and Properties Ubuntu build #5878: Pull request #3031 synchronize by jamesmckinna
34m 37s jamesmckinna:fix-kleene-algebra-bis
jamesmckinna:fix-kleene-algebra-bis
34m 37s
pages build and deployment pages-build-deployment #714: by github-pages Bot
1m 49s gh-pages
gh-pages
1m 49s
fix: more loose ends from #3010 / #3028 (#3029) Haskell-CI #3085: Commit 9adc61d pushed by github-merge-queue Bot
3m 10s master
master
3m 10s
fix: more loose ends from #3010 / #3028 (#3029) Ubuntu build #5877: Commit 9adc61d pushed by github-merge-queue Bot
41m 5s master
master
41m 5s
fix: more loose ends from #3010 / #3028 (#3029) Check whitespace #2814: Commit 9adc61d pushed by github-merge-queue Bot
10s master
master
10s
Check whitespace Check whitespace #2813: Merge group checks requested
9s
9s
Ubuntu build Ubuntu build #5876: Merge group checks requested
36m 3s
36m 3s
Haskell-CI Haskell-CI #3084: Merge group checks requested
3m 3s
3m 3s
Remove stale (1.x) deprecation warnings and their associated names Ubuntu build #5875: Pull request #3034 synchronize by silas-hw
Action required silas-hw:stale-deprecation
silas-hw:stale-deprecation
Action required
Remove stale (1.x) deprecation warnings and their associated names Check whitespace #2812: Pull request #3034 synchronize by silas-hw
Action required silas-hw:stale-deprecation
silas-hw:stale-deprecation
Action required
Remove stale (1.x) deprecation warnings and their associated names Haskell-CI #3083: Pull request #3034 synchronize by silas-hw
Action required silas-hw:stale-deprecation
silas-hw:stale-deprecation
Action required
Remove stale (1.x) deprecation warnings and their associated names Ubuntu build #5874: Pull request #3034 synchronize by silas-hw
Action required silas-hw:stale-deprecation
silas-hw:stale-deprecation
Action required
Remove stale (1.x) deprecation warnings and their associated names Haskell-CI #3082: Pull request #3034 synchronize by silas-hw
Action required silas-hw:stale-deprecation
silas-hw:stale-deprecation
Action required
Remove stale (1.x) deprecation warnings and their associated names Check whitespace #2811: Pull request #3034 synchronize by silas-hw
Action required silas-hw:stale-deprecation
silas-hw:stale-deprecation
Action required
Remove stale (1.x) deprecation warnings and their associated names Ubuntu build #5873: Pull request #3034 synchronize by silas-hw
Action required silas-hw:stale-deprecation
silas-hw:stale-deprecation
Action required
Remove stale (1.x) deprecation warnings and their associated names Haskell-CI #3081: Pull request #3034 synchronize by silas-hw
-1s silas-hw:stale-deprecation
silas-hw:stale-deprecation
-1s
Remove stale (1.x) deprecation warnings and their associated names Check whitespace #2810: Pull request #3034 synchronize by silas-hw
Action required silas-hw:stale-deprecation
silas-hw:stale-deprecation
Action required