Skip to content

Actions: Mikolaj/horde-ad

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow run results
13 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Pass the rrev tests through rev'
Haskell-CI #1107: Commit 218b958 pushed by Mikolaj
December 11, 2023 08:33 33m 48s master
December 11, 2023 08:33 33m 48s
Add a test where the second derivative is non-zero
Haskell-CI #1106: Commit 2ab5880 pushed by Mikolaj
December 10, 2023 23:25 33m 37s master
December 10, 2023 23:25 33m 37s
Rename rfromS to match the Ranked naming prefix
Haskell-CI #1105: Commit a2645f9 pushed by Mikolaj
December 9, 2023 23:32 32m 24s master
December 9, 2023 23:32 32m 24s
Improve the typing of bindsToLet and AstDomainsLet
Haskell-CI #1104: Commit 5df60ed pushed by Mikolaj
December 8, 2023 21:42 33m 0s master
December 8, 2023 21:42 33m 0s
Get rid of unwrapAstDomains
Haskell-CI #1103: Commit b4b56d0 pushed by Mikolaj
December 6, 2023 21:50 34m 0s master
December 6, 2023 21:50 34m 0s
Fix the codomain of interpretAstDomains and flesh out the code
Haskell-CI #1102: Commit 899aaad pushed by Mikolaj
December 5, 2023 23:09 3m 43s master
December 5, 2023 23:09 3m 43s
Credit Well-Typed LLP for supporting the development
Haskell-CI #1101: Commit 85e888b pushed by Mikolaj
December 5, 2023 15:42 31m 57s master
December 5, 2023 15:42 31m 57s
Complete and tidy up type family equations for dynamic tensors
Haskell-CI #1100: Commit 9e646d0 pushed by Mikolaj
December 4, 2023 22:25 33m 3s master
December 4, 2023 22:25 33m 3s
Add -Wmissing-role-annotations and all role annotations
Haskell-CI #1099: Commit 13718be pushed by Mikolaj
December 4, 2023 11:22 32m 49s master
December 4, 2023 11:22 32m 49s
Let rrev take and return dual components but not confuse cotangents
Haskell-CI #1098: Commit d715418 pushed by Mikolaj
December 3, 2023 22:39 32m 54s master
December 3, 2023 22:39 32m 54s
Add DomainsTensor constraints to the ADReady constraint
Haskell-CI #1097: Commit fc0863d pushed by Mikolaj
December 3, 2023 01:41 33m 51s master
December 3, 2023 01:41 33m 51s
simplify
Haskell-CI #1096: Commit a71919e pushed by Mikolaj
December 2, 2023 12:03 28m 13s repro-after-7-months
December 2, 2023 12:03 28m 13s
Move crevOnADInputs, crevOnDomains and the fwd counterparts
Haskell-CI #1095: Commit 9c5ffe8 pushed by Mikolaj
November 29, 2023 10:11 32m 22s master
November 29, 2023 10:11 32m 22s