+
Skip to content

Actions: agda/agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7,726 workflow runs
7,726 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy Deploy #1642: completed by andreasabel
29m 53s
29m 53s
pages build and deployment pages-build-deployment #882: by github-pages bot
41s gh-pages
gh-pages
41s
Fix #8132 by adding SourceFile to SolvedButOpenHoles error Clear cache of closed PR #862: Pull request #8135 closed by andreasabel
11s solved-but-open
solved-but-open
11s
Fix #8132 by adding SourceFile to ModuleInfo and SolvedButOpenHoles Build (cabal) #6796: Commit a9ed881 pushed by andreasabel
11m 30s master
master
11m 30s
Fix #8132 by adding SourceFile to ModuleInfo and SolvedButOpenHoles Build, Test, and Benchmark #5423: Commit a9ed881 pushed by andreasabel
39m 14s master
master
39m 14s
Fix #8132 by adding SourceFile to ModuleInfo and SolvedButOpenHoles Whitespace #9250: Commit a9ed881 pushed by andreasabel
22s master
master
22s
Fix #8132 by adding SourceFile to ModuleInfo and SolvedButOpenHoles Haddock #6262: Commit a9ed881 pushed by andreasabel
3m 20s master
master
3m 20s
Fix #8132 by adding SourceFile to ModuleInfo and SolvedButOpenHoles Install (v2-cabal) #2664: Commit a9ed881 pushed by andreasabel
5m 2s master
master
5m 2s
Fix #8132 by adding SourceFile to SolvedButOpenHoles error Whitespace #9249: Pull request #8135 opened by andreasabel
22s solved-but-open
solved-but-open
22s
Fix #8132 by adding SourceFile to SolvedButOpenHoles error Build (cabal) #6795: Pull request #8135 opened by andreasabel
12m 29s solved-but-open
solved-but-open
12m 29s
Fix #8132 by adding SourceFile to SolvedButOpenHoles error Haddock #6261: Pull request #8135 opened by andreasabel
3m 0s solved-but-open
solved-but-open
3m 0s
Fix #8132 by adding SourceFile to SolvedButOpenHoles error Build, Test, and Benchmark #5422: Pull request #8135 opened by andreasabel
38m 16s solved-but-open
solved-but-open
38m 16s
Fix #8132 by adding SourceFile to SolvedButOpenHoles error Install (v2-cabal) #2663: Pull request #8135 opened by andreasabel
4m 44s solved-but-open
solved-but-open
4m 44s
Deploy Deploy #1641: completed by andreasabel
28m 47s
28m 47s
Refactor: inline alreadyVisited in getInterface (#8133) Whitespace #9248: Commit e25f7d4 pushed by andreasabel
39s master
master
39s
Refactor: inline alreadyVisited in getInterface Clear cache of closed PR #861: Pull request #8133 closed by andreasabel
11s import
import
11s
Refactor: inline alreadyVisited in getInterface (#8133) Build, Test, and Benchmark #5421: Commit e25f7d4 pushed by andreasabel
39m 42s master
master
39m 42s
Refactor: inline alreadyVisited in getInterface (#8133) Install (v2-cabal) #2662: Commit e25f7d4 pushed by andreasabel
4m 57s master
master
4m 57s
Refactor: inline alreadyVisited in getInterface (#8133) Build (cabal) #6794: Commit e25f7d4 pushed by andreasabel
11m 49s master
master
11m 49s
Refactor: inline alreadyVisited in getInterface (#8133) Haddock #6260: Commit e25f7d4 pushed by andreasabel
50s master
master
50s
Refactor: inline alreadyVisited in getInterface Build (cabal) #6793: Pull request #8133 synchronize by andreasabel
1m 38s import
import
1m 38s
Refactor: inline alreadyVisited in getInterface Haddock #6259: Pull request #8133 synchronize by andreasabel
3m 9s import
import
3m 9s
Refactor: inline alreadyVisited in getInterface Install (v2-cabal) #2661: Pull request #8133 synchronize by andreasabel
1m 42s import
import
1m 42s
Refactor: inline alreadyVisited in getInterface Whitespace #9247: Pull request #8133 synchronize by andreasabel
18s import
import
18s
Refactor: inline alreadyVisited in getInterface Build, Test, and Benchmark #5420: Pull request #8133 synchronize by andreasabel
1m 31s import
import
1m 31s
点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载