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 9197
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 7302 / #24558477
Started 2 hours ago
#7302
#7302
Pull request 7302
Builds
For version 7302
External
#7302
Active Built
Pull request 7247 / #24554872
Started 16 hours ago
#7247
#7247
Pull request 7247
Builds
For version 7247
External
#7247
Active Built
Version latest / #24553303
Started 19 hours ago
ee1b7beb
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Pull request 7298 / #24546694
Started 1 day, 6 hours ago
#7298
#7298
Pull request 7298
Builds
For version 7298
External
#7298
Active Built
Pull request 7300 / #24543924
Started 1 day, 16 hours ago
#7300
#7300
Pull request 7300
Builds
For version 7300
External
#7300
Active Built
Pull request 7298 / #24541022
Started 1 day, 21 hours ago
#7298
#7298
Pull request 7298
Builds
For version 7298
External
#7298
Active Built
Version latest / #24536471
Started 2 days, 4 hours ago
8c413d4d
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Pull request 7298 / #24532279
Started 2 days, 16 hours ago
#7298
#7298
Pull request 7298
Builds
For version 7298
External
#7298
Active Built
Pull request 7297 / #24528639
Started 2 days, 22 hours ago
#7297
#7297
Pull request 7297
Builds
For version 7297
External
#7297
Active Built
Version latest / #24512784
Started 4 days, 3 hours ago
5f366190
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Pull request 7292 / #24499893
Started 5 days, 6 hours ago
#7292
#7292
Pull request 7292
Builds
For version 7292
External
#7292
Active Built
Pull request 7281 / #24467866
Started 1 week, 2 days ago
#7281
#7281
Pull request 7281
Builds
For version 7281
External
#7281
Active Built
Pull request 7287 / #24453081
Started 1 week, 3 days ago
#7287
#7287
Pull request 7287
Builds
For version 7287
External
#7287
Active Built
Version v2.6.4.3-r1 / #24422892
Started 1 week, 6 days ago
29999477
v2.6.4.3-r1
Version v2.6.4.3-r1
Builds
For version v2.6.4.3-r1
Tag
v2.6.4.3-r1
Documentation
Active Built
Pull request 7259 / #24422890
Started 1 week, 6 days ago
#7259
#7259
Pull request 7259
Builds
For version 7259
External
#7259
Active Built