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
Remove stale (1.x) deprecation warnings and their associated names Haskell-CI #3108: 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 Ubuntu build #5900: 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 #2837: 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 #2836: 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 #5899: 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 #3107: 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 #3106: Pull request #3034 synchronize by silas-hw
3m 10s silas-hw:stale-deprecation
silas-hw:stale-deprecation
3m 10s
Remove stale (1.x) deprecation warnings and their associated names Check whitespace #2835: Pull request #3034 synchronize by silas-hw
9s silas-hw:stale-deprecation
silas-hw:stale-deprecation
9s
Remove stale (1.x) deprecation warnings and their associated names Ubuntu build #5898: Pull request #3034 synchronize by silas-hw
7m 18s silas-hw:stale-deprecation
silas-hw:stale-deprecation
7m 18s
Remove stale (1.x) deprecation warnings and their associated names Ubuntu build #5897: Pull request #3034 synchronize by silas-hw
7m 26s silas-hw:stale-deprecation
silas-hw:stale-deprecation
7m 26s
Remove stale (1.x) deprecation warnings and their associated names Check whitespace #2834: Pull request #3034 synchronize by silas-hw
12s silas-hw:stale-deprecation
silas-hw:stale-deprecation
12s
Remove stale (1.x) deprecation warnings and their associated names Haskell-CI #3105: Pull request #3034 synchronize by silas-hw
3m 1s silas-hw:stale-deprecation
silas-hw:stale-deprecation
3m 1s
Remove stale (1.x) deprecation warnings and their associated names Check whitespace #2833: 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 #5896: 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 #3104: 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 #5895: 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 #3103: 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 #2832: 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 #2831: 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 #5894: 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 #3102: Pull request #3034 synchronize by silas-hw
Action required silas-hw:stale-deprecation
silas-hw:stale-deprecation
Action required
pages build and deployment pages-build-deployment #717: by github-pages Bot
1m 27s gh-pages
gh-pages
1m 27s
Add product-locate (#3021) Haskell-CI #3101: Commit 195329c pushed by github-merge-queue Bot
2m 56s master
master
2m 56s
Add product-locate (#3021) Check whitespace #2830: Commit 195329c pushed by github-merge-queue Bot
13s master
master
13s
Add product-locate (#3021) Ubuntu build #5893: Commit 195329c pushed by github-merge-queue Bot
38m 4s master
master
38m 4s