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 9200
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
Version latest / #24563014
Started 15 hours ago
c563c5e7
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Pull request 7302 / #24560546
Started 1 day, 3 hours ago
#7302
#7302
Pull request 7302
Builds
For version 7302
External
#7302
Active Built
Pull request 7302 / #24560316
Started 1 day, 4 hours ago
#7302
#7302
Pull request 7302
Builds
For version 7302
External
#7302
Active Built
Pull request 7302 / #24558477
Started 1 day, 10 hours ago
#7302
#7302
Pull request 7302
Builds
For version 7302
External
#7302
Active Built
Pull request 7247 / #24554872
Started 2 days ago
#7247
#7247
Pull request 7247
Builds
For version 7247
External
#7247
Active Built
Version latest / #24553303
Started 2 days, 3 hours ago
ee1b7beb
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Pull request 7298 / #24546694
Started 2 days, 15 hours ago
#7298
#7298
Pull request 7298
Builds
For version 7298
External
#7298
Active Built
Pull request 7300 / #24543924
Started 3 days ago
#7300
#7300
Pull request 7300
Builds
For version 7300
External
#7300
Active Built
Pull request 7298 / #24541022
Started 3 days, 5 hours ago
#7298
#7298
Pull request 7298
Builds
For version 7298
External
#7298
Active Built
Version latest / #24536471
Started 3 days, 12 hours ago
8c413d4d
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Pull request 7298 / #24532279
Started 4 days ago
#7298
#7298
Pull request 7298
Builds
For version 7298
External
#7298
Active Built
Pull request 7297 / #24528639
Started 4 days, 6 hours ago
#7297
#7297
Pull request 7297
Builds
For version 7297
External
#7297
Active Built
Version latest / #24512784
Started 5 days, 11 hours ago
5f366190
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Pull request 7292 / #24499893
Started 6 days, 14 hours ago
#7292
#7292
Pull request 7292
Builds
For version 7292
External
#7292
Active Built
Pull request 7281 / #24467866
Started 1 week, 3 days ago
#7281
#7281
Pull request 7281
Builds
For version 7281
External
#7281
Active Built