Read the Docs logo
Navigation
Projects
Signed in as: AnonymousUser
Settings Log out
Help
Support Docs Getting started Status
Sign up
Log in
agda
EN
Versions 22 Builds 9196
Version
All versions v2.6.4.3-r1 v2.6.4.3 v2.6.4.2 v2.6.4.1 v2.6.4 v2.6.3 v2.6.2.2 v2.6.2.1 v2.6.2 v2.6.1.3 v2.6.1.2 v2.6.1.1 v2.6.1 v2.6.0.1 v2.6.0 v2.5.4.2 v2.5.4.1 v2.5.4 v2.5.3 v2.5.2 nightly latest
State
Any Active Build successful Build failed
Type
Any Normal Pull/merge request
Pull request 7253 / #24408514
Started 2 weeks, 1 day ago
#7253
#7253
Pull request 7253
Builds
For version 7253
External
#7253
Active Built
Version latest / #24405334
Started 2 weeks, 1 day ago
7f770022
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Pull request 7152 / #24405124
Started 2 weeks, 1 day ago
#7152
#7152
Pull request 7152
Builds
For version 7152
External
#7152
Active Built
Pull request 7280 / #24405103
Started 2 weeks, 1 day ago
#7280
#7280
Pull request 7280
Builds
For version 7280
External
#7280
Active Built
Version latest / #24402534
Started 2 weeks, 1 day ago
ea91ac7d
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #24400620
Started 2 weeks, 1 day ago
750dc9ff
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #24399386
Started 2 weeks, 1 day ago
e9682856
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Pull request 7276 / #24399379
Started 2 weeks, 1 day ago
#7276
#7276
Pull request 7276
Builds
For version 7276
External
#7276
Active Built
Pull request 7275 / #24399306
Started 2 weeks, 1 day ago
#7275
#7275
Pull request 7275
Builds
For version 7275
External
#7275
Active Built
Pull request 7275 / #24398339
Started 2 weeks, 1 day ago
#7275
#7275
Pull request 7275
Builds
For version 7275
External
#7275
Active Built
Pull request 7274 / #24397986
Started 2 weeks, 1 day ago
#7274
#7274
Pull request 7274
Builds
For version 7274
External
#7274
Active Built
Pull request 7273 / #24397721
Started 2 weeks, 2 days ago
#7273
#7273
Pull request 7273
Builds
For version 7273
External
#7273
Active Built
Pull request 7273 / #24397598
Started 2 weeks, 2 days ago
#7273
#7273
Pull request 7273
Builds
For version 7273
External
#7273
Active Built
Pull request 7253 / #24390377
Started 2 weeks, 2 days ago
#7253
#7253
Pull request 7253
Builds
For version 7253
External
#7253
Active Built
Pull request 7253 / #24390323
Started 2 weeks, 2 days ago
#7253
#7253
Pull request 7253
Builds
For version 7253
External
#7253
Active Built