Skip to content

Actions: agda/agda

Actions

User Manual

Actions

Loading...
Loading

Showing runs from all workflows named User Manual
465 workflow run results
465 workflow run results
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Expose constructor erasure in reflection interface User Manual #1869: Pull request #7322 synchronize by cmcmA20
June 23, 2024 07:19 1m 22s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 23, 2024 07:19 1m 22s
Expose constructor erasure in reflection interface User Manual #1868: Pull request #7322 synchronize by cmcmA20
June 23, 2024 03:47 1m 16s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 23, 2024 03:47 1m 16s
Expose constructor erasure in reflection interface User Manual #1867: Pull request #7322 synchronize by cmcmA20
June 16, 2024 23:18 1m 17s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 16, 2024 23:18 1m 17s
Expose constructor erasure in reflection interface User Manual #1866: Pull request #7322 opened by cmcmA20
June 16, 2024 01:13 1m 51s cmcmA20:expose-constructor-erasure
cmcmA20:expose-constructor-erasure
June 16, 2024 01:13 1m 51s
New deadcode warning CoinductiveEtaRecord instead of GenericError User Manual #1865: Commit 9f7809e pushed by andreasabel
June 15, 2024 03:53 2m 13s master
master
June 15, 2024 03:53 2m 13s
New deadcode warning CoinductiveEtaRecord instead of GenericError User Manual #1864: Pull request #7300 synchronize by andreasabel
June 14, 2024 20:59 1m 23s coinductive-eta-record-warning
coinductive-eta-record-warning
June 14, 2024 20:59 1m 23s
Fix #7318: use mixfix syntax even for --postfix-projections User Manual #1863: Commit d60b6a6 pushed by andreasabel
June 14, 2024 20:56 1m 31s master
master
June 14, 2024 20:56 1m 31s
Turn on --exact-split by default User Manual #1862: Commit 165697d pushed by andreasabel
June 14, 2024 20:54 1m 26s master
master
June 14, 2024 20:54 1m 26s
New deadcode warning CoinductiveEtaRecord instead of GenericError User Manual #1861: Pull request #7300 synchronize by andreasabel
June 14, 2024 12:08 1m 21s coinductive-eta-record-warning
coinductive-eta-record-warning
June 14, 2024 12:08 1m 21s
Turn on --exact-split by default User Manual #1860: Pull request #7320 opened by andreasabel
June 13, 2024 16:04 1m 40s default-exact-split
default-exact-split
June 13, 2024 16:04 1m 40s
Make --postfix-projections the default User Manual #1859: Pull request #7319 synchronize by andreasabel
June 13, 2024 14:45 1m 29s default-postfix-proj
default-postfix-proj
June 13, 2024 14:45 1m 29s
Make --postfix-projections the default User Manual #1858: Pull request #7319 opened by andreasabel
June 13, 2024 08:24 1m 51s default-postfix-proj
default-postfix-proj
June 13, 2024 08:24 1m 51s
add CustomBackendWarning to user manual User Manual #1857: Commit 156eedb pushed by UlfNorell
June 12, 2024 11:53 1m 19s master
master
June 12, 2024 11:53 1m 19s
Add constructors for custom backend warning/errors User Manual #1856: Pull request #7314 synchronize by UlfNorell
June 12, 2024 08:13 1m 27s issue6806
issue6806
June 12, 2024 08:13 1m 27s
[ re #6124 ] Add some test cases for the computation rule for transpo… User Manual #1855: Commit 72df3f8 pushed by jespercockx
June 11, 2024 12:55 1m 32s master
master
June 11, 2024 12:55 1m 32s
Update universe-levels.lagda.rst User Manual #1854: Commit 6b95cdb pushed by UlfNorell
June 11, 2024 05:25 1m 22s master
master
June 11, 2024 05:25 1m 22s
Update universe-levels.lagda.rst User Manual #1853: Pull request #7313 opened by hawkinsw
June 10, 2024 21:34 1m 20s hawkinsw:master
hawkinsw:master
June 10, 2024 21:34 1m 20s
fix #7017: document instance projections User Manual #1852: Commit dd79f30 pushed by UlfNorell
June 10, 2024 13:28 1m 24s master
master
June 10, 2024 13:28 1m 24s
Add workOnTypes reflection primitive User Manual #1851: Pull request #7310 synchronize by jespercockx
June 9, 2024 16:34 1m 32s jespercockx:issue6124
jespercockx:issue6124
June 9, 2024 16:34 1m 32s
Add workOnTypes reflection primitive User Manual #1850: Pull request #7310 opened by jespercockx
June 9, 2024 15:08 1m 34s jespercockx:issue6124
jespercockx:issue6124
June 9, 2024 15:08 1m 34s
fix #7017: document instance projections User Manual #1849: Pull request #7307 opened by UlfNorell
June 5, 2024 07:33 1m 54s issue7017
issue7017
June 5, 2024 07:33 1m 54s
Reopen PR "Add record where syntax sugar (#6603)" User Manual #1848: Pull request #6911 synchronize by UlfNorell
June 5, 2024 07:10 2m 31s record-where
record-where
June 5, 2024 07:10 2m 31s
Fix #7301: scope check record directives; warning DuplicateRecordDire… User Manual #1847: Commit c563c5e pushed by andreasabel
June 2, 2024 06:20 1m 33s master
master
June 2, 2024 06:20 1m 33s
Fix #7301 (loop in parser): move verifyRecordDirectives to scope checker User Manual #1846: Pull request #7302 synchronize by andreasabel
June 1, 2024 18:20 1m 25s parser-loop
parser-loop
June 1, 2024 18:20 1m 25s
Fix #7301 (loop in parser): move verifyRecordDirectives to scope checker User Manual #1845: Pull request #7302 synchronize by andreasabel
June 1, 2024 17:35 1m 31s parser-loop
parser-loop
June 1, 2024 17:35 1m 31s