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
Add tool to scan for references of deleted or renamed READMEs (#3041) Haskell-CI #3280: Commit fdca580 pushed by github-merge-queue Bot
3m 8s master
master
3m 8s
Add tool to scan for references of deleted or renamed READMEs (#3041) Check whitespace #3009: Commit fdca580 pushed by github-merge-queue Bot
10s master
master
10s
Add tool to scan for references of deleted or renamed READMEs (#3041) Ubuntu build #6072: Commit fdca580 pushed by github-merge-queue Bot
41m 59s master
master
41m 59s
Ubuntu build Ubuntu build #6071: Merge group checks requested
42m 40s
42m 40s
Haskell-CI Haskell-CI #3279: Merge group checks requested
3m 10s
3m 10s
Check whitespace Check whitespace #3008: Merge group checks requested
10s
10s
Split ci-ubuntu workflow into multiple jobs and add caching Ubuntu build #6070: Pull request #3049 synchronize by silas-hw
11m 5s silas-hw:optimise-ci
silas-hw:optimise-ci
11m 5s
Split ci-ubuntu workflow into multiple jobs and add caching Haskell-CI #3278: Pull request #3049 synchronize by silas-hw
3m 2s silas-hw:optimise-ci
silas-hw:optimise-ci
3m 2s
Split ci-ubuntu workflow into multiple jobs and add caching Check whitespace #3007: Pull request #3049 synchronize by silas-hw
11s silas-hw:optimise-ci
silas-hw:optimise-ci
11s
Split ci-ubuntu workflow into multiple jobs and add caching Haskell-CI #3277: Pull request #3049 synchronize by silas-hw
3m 2s silas-hw:optimise-ci
silas-hw:optimise-ci
3m 2s
Split ci-ubuntu workflow into multiple jobs and add caching Ubuntu build #6069: Pull request #3049 synchronize by silas-hw
11m 45s silas-hw:optimise-ci
silas-hw:optimise-ci
11m 45s
Split ci-ubuntu workflow into multiple jobs and add caching Check whitespace #3006: Pull request #3049 synchronize by silas-hw
12s silas-hw:optimise-ci
silas-hw:optimise-ci
12s
Split ci-ubuntu workflow into multiple jobs and add caching Haskell-CI #3276: Pull request #3049 synchronize by silas-hw
3m 14s silas-hw:optimise-ci
silas-hw:optimise-ci
3m 14s
Split ci-ubuntu workflow into multiple jobs and add caching Ubuntu build #6068: Pull request #3049 synchronize by silas-hw
13m 19s silas-hw:optimise-ci
silas-hw:optimise-ci
13m 19s
Split ci-ubuntu workflow into multiple jobs and add caching Check whitespace #3005: Pull request #3049 synchronize by silas-hw
8s silas-hw:optimise-ci
silas-hw:optimise-ci
8s
Split ci-ubuntu workflow into multiple jobs and add caching Check whitespace #3004: Pull request #3049 synchronize by silas-hw
10s silas-hw:optimise-ci
silas-hw:optimise-ci
10s
Split ci-ubuntu workflow into multiple jobs and add caching Haskell-CI #3275: Pull request #3049 synchronize by silas-hw
3m 7s silas-hw:optimise-ci
silas-hw:optimise-ci
3m 7s
Split ci-ubuntu workflow into multiple jobs and add caching Ubuntu build #6067: Pull request #3049 synchronize by silas-hw
11m 8s silas-hw:optimise-ci
silas-hw:optimise-ci
11m 8s
pages build and deployment pages-build-deployment #731: by github-pages Bot
1m 38s gh-pages
gh-pages
1m 38s
[ refactor ] Symmetry of Bijection as a consequence of properties o… Check whitespace #3003: Commit b5c9646 pushed by github-merge-queue Bot
8s master
master
8s
[ refactor ] Symmetry of Bijection as a consequence of properties o… Ubuntu build #6066: Commit b5c9646 pushed by github-merge-queue Bot
43m 44s master
master
43m 44s
[ refactor ] Symmetry of Bijection as a consequence of properties o… Haskell-CI #3274: Commit b5c9646 pushed by github-merge-queue Bot
3m 17s master
master
3m 17s
Ubuntu build Ubuntu build #6065: Merge group checks requested
41m 34s
41m 34s
Check whitespace Check whitespace #3002: Merge group checks requested
8s
8s
Haskell-CI Haskell-CI #3273: Merge group checks requested
4m 7s
4m 7s