Skip to content

Actions: agda/agda

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
Fixed weird sentence in cubical docs #8579 User Manual #2729: Pull request #8590 opened by Brian-ED
1m 25s Brian-ED:docs-cubical-weird-sentence-8579
Brian-ED:docs-cubical-weird-sentence-8579
1m 25s
Fixed weird sentence in cubical docs #8579 Whitespace #10438: Pull request #8590 opened by Brian-ED
23s Brian-ED:docs-cubical-weird-sentence-8579
Brian-ED:docs-cubical-weird-sentence-8579
23s
Fixed weird sentence in cubical docs #8579 Build, Test, and Benchmark #6573: Pull request #8590 opened by Brian-ED
30m 42s Brian-ED:docs-cubical-weird-sentence-8579
Brian-ED:docs-cubical-weird-sentence-8579
30m 42s
[ fix #8557 ] Only resurrect irrelevant variables once Haddock #7219: Pull request #8576 synchronize by jespercockx
3m 19s jespercockx:issue8557
jespercockx:issue8557
3m 19s
[ fix #8557 ] Only resurrect irrelevant variables once Build (cabal) #7778: Pull request #8576 synchronize by jespercockx
18m 51s jespercockx:issue8557
jespercockx:issue8557
18m 51s
[ fix #8557 ] Only resurrect irrelevant variables once Build, Test, and Benchmark #6572: Pull request #8576 synchronize by jespercockx
36m 58s jespercockx:issue8557
jespercockx:issue8557
36m 58s
[ fix #8557 ] Only resurrect irrelevant variables once Whitespace #10437: Pull request #8576 synchronize by jespercockx
18s jespercockx:issue8557
jespercockx:issue8557
18s
[ fix #8557 ] Only resurrect irrelevant variables once Build and test WASM #766: Pull request #8576 synchronize by jespercockx
2s jespercockx:issue8557
jespercockx:issue8557
2s
[ fix #8557 ] Only resurrect irrelevant variables once Install (v2-cabal) #3620: Pull request #8576 synchronize by jespercockx
5m 17s jespercockx:issue8557
jespercockx:issue8557
5m 17s
[ re #8552 ] Add workaround to the release notes + test suite Build, Test, and Benchmark #6571: Pull request #8588 opened by jespercockx
34m 50s jespercockx:issue8552
jespercockx:issue8552
34m 50s
[ re #8552 ] Add workaround to the release notes + test suite Whitespace #10436: Pull request #8588 opened by jespercockx
29s jespercockx:issue8552
jespercockx:issue8552
29s
[ re #8552 ] Add workaround to the release notes + test suite Build and test WASM #765: Pull request #8588 opened by jespercockx
2s jespercockx:issue8552
jespercockx:issue8552
2s
[ fix #8557 ] Only resurrect irrelevant variables once Build and test WASM #764: Pull request #8576 synchronize by jespercockx
10s jespercockx:issue8557
jespercockx:issue8557
10s
[ fix #8557 ] Only resurrect irrelevant variables once Install (v2-cabal) #3619: Pull request #8576 synchronize by jespercockx
6m 13s jespercockx:issue8557
jespercockx:issue8557
6m 13s
[ fix #8557 ] Only resurrect irrelevant variables once Haddock #7218: Pull request #8576 synchronize by jespercockx
3m 2s jespercockx:issue8557
jespercockx:issue8557
3m 2s
[ fix #8557 ] Only resurrect irrelevant variables once Build, Test, and Benchmark #6570: Pull request #8576 synchronize by jespercockx
36m 25s jespercockx:issue8557
jespercockx:issue8557
36m 25s
[ fix #8557 ] Only resurrect irrelevant variables once Build (cabal) #7777: Pull request #8576 synchronize by jespercockx
19m 46s jespercockx:issue8557
jespercockx:issue8557
19m 46s
[ fix #8557 ] Only resurrect irrelevant variables once Whitespace #10435: Pull request #8576 synchronize by jespercockx
18s jespercockx:issue8557
jespercockx:issue8557
18s
Deploy Deploy #1898: completed by jespercockx
43m 3s
43m 3s
Deploy Deploy #1897: completed by jespercockx
33m 31s
33m 31s
pages build and deployment pages-build-deployment #1050: by github-pages Bot
2m 33s gh-pages
gh-pages
2m 33s
[ irrelevance ] Add --irrelevance flag (default on) User Manual #2728: Commit 0d2ff20 pushed by jespercockx
2m 6s master
master
2m 6s
[ irrelevance ] Add --irrelevance flag (default on) Haddock #7217: Commit 0d2ff20 pushed by jespercockx
3m 35s master
master
3m 35s
[ irrelevance ] Add --irrelevance flag (default on) Build (cabal) #7776: Commit 0d2ff20 pushed by jespercockx
22m 19s master
master
22m 19s
[ irrelevance ] Add --irrelevance flag (default on) Whitespace #10434: Commit 0d2ff20 pushed by jespercockx
42s master
master
42s