Skip to content

Actions: disco-lang/disco

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
172 workflow runs
172 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix formatting of negative decimals Haskell-CI #154: Pull request #408 opened by byorgey
October 31, 2024 15:15 15m 51s fix/decimal-format
fix/decimal-format
October 31, 2024 15:15 15m 51s
fix formatting of negative decimals (fixes #400) Haskell-CI #153: Commit aa951a4 pushed by byorgey
October 31, 2024 15:14 14m 25s fix/decimal-format
fix/decimal-format
October 31, 2024 15:14 14m 25s
Some updates + additions to the reference documentation Haskell-CI #152: Pull request #405 opened by byorgey
October 26, 2024 20:37 15m 4s reference-doc-updates
reference-doc-updates
October 26, 2024 20:37 15m 4s
write about inductive definition of lists Haskell-CI #151: Commit 371e837 pushed by byorgey
October 26, 2024 20:34 14m 47s reference-doc-updates
reference-doc-updates
October 26, 2024 20:34 14m 47s
update code to work with oeis2 Haskell-CI #150: Commit 860be23 pushed by byorgey
October 11, 2024 20:55 21m 39s oeis2
oeis2
October 11, 2024 20:55 21m 39s
late summer progress, partially implemented improved arithmetic patterns Haskell-CI #149: Commit 470fc7d pushed by reidst
September 26, 2024 15:54 6m 44s arithmetic-patterns
arithmetic-patterns
September 26, 2024 15:54 6m 44s
Exploration of the Lower Your Guards paper (#401) Haskell-CI #148: Commit 250077c pushed by LeitMoth
September 21, 2024 23:39 14m 44s main
main
September 21, 2024 23:39 14m 44s
Exploration of the Lower Your Guards paper Haskell-CI #147: Pull request #401 synchronize by LeitMoth
September 13, 2024 01:04 14m 48s explore-lyg
explore-lyg
September 13, 2024 01:04 14m 48s
Restyle Exploration of the Lower Your Guards paper CI #504: Pull request #403 opened by restyled-io bot
September 3, 2024 23:31 18m 10s restyled/explore-lyg
restyled/explore-lyg
September 3, 2024 23:31 18m 10s
Exploration of the Lower Your Guards paper Haskell-CI #146: Pull request #401 synchronize by LeitMoth
September 3, 2024 23:31 10m 16s explore-lyg
explore-lyg
September 3, 2024 23:31 10m 16s
Restyle Exploration of the Lower Your Guards paper CI #503: Pull request #402 opened by restyled-io bot
September 1, 2024 22:09 18m 30s restyled/explore-lyg
restyled/explore-lyg
September 1, 2024 22:09 18m 30s
Exploration of the Lower Your Guards paper Haskell-CI #145: Pull request #401 opened by LeitMoth
September 1, 2024 22:09 14m 55s explore-lyg
explore-lyg
September 1, 2024 22:09 14m 55s
add integers + small cleanup Haskell-CI #144: Commit 5bd7d59 pushed by LeitMoth
August 15, 2024 05:26 15m 26s exhaustiveness
exhaustiveness
August 15, 2024 05:26 15m 26s
use Output Messages / limit depth of example-finding to stop infinite… Haskell-CI #143: Commit d7bc449 pushed by LeitMoth
July 31, 2024 23:43 7m 54s exhaustiveness
exhaustiveness
July 31, 2024 23:43 7m 54s
moved SemilinearSet into Disco namespace Haskell-CI #142: Commit 2aad92b pushed by reidst
July 31, 2024 00:42 9m 18s arithmetic-patterns
arithmetic-patterns
July 31, 2024 00:42 9m 18s
Create differen inhab fn to find 3 positive examples only, more nuanc… Haskell-CI #141: Commit cbde20e pushed by LeitMoth
July 26, 2024 03:03 8m 8s exhaustiveness
exhaustiveness
July 26, 2024 03:03 8m 8s
removed old arithmetic pattern parsers Haskell-CI #140: Commit 4b142d0 pushed by reidst
July 24, 2024 22:50 9m 12s arithmetic-patterns
arithmetic-patterns
July 24, 2024 22:50 9m 12s
Memoize (#394) Haskell-CI #139: Commit 3dd8b2f pushed by mergify bot
July 24, 2024 16:23 9m 54s main
main
July 24, 2024 16:23 9m 54s
Memoize Haskell-CI #138: Pull request #394 synchronize by mergify bot
July 24, 2024 16:13 10m 0s memoize
memoize
July 24, 2024 16:13 10m 0s
Merge branch 'main' into memoize Haskell-CI #137: Commit 08718e2 pushed by mergify bot
July 24, 2024 16:13 10m 26s memoize
memoize
July 24, 2024 16:13 10m 26s
Add mergify configuration (#393) Haskell-CI #136: Commit b0a5266 pushed by byorgey
July 23, 2024 21:10 15m 0s main
main
July 23, 2024 21:10 15m 0s
Updates to reference documentation (#397) Haskell-CI #135: Commit fb0bb62 pushed by byorgey
July 23, 2024 21:09 15m 0s main
main
July 23, 2024 21:09 15m 0s
Updates to reference documentation Haskell-CI #134: Pull request #397 synchronize by byorgey
July 23, 2024 12:52 9m 46s docs/containers
docs/containers
July 23, 2024 12:52 9m 46s
write about inductive definition of lists Haskell-CI #133: Commit 371e837 pushed by byorgey
July 23, 2024 12:52 10m 17s docs/containers
docs/containers
July 23, 2024 12:52 10m 17s
User defined types now work! Haskell-CI #132: Commit 03e051a pushed by LeitMoth
July 20, 2024 18:52 8m 8s exhaustiveness
exhaustiveness
July 20, 2024 18:52 8m 8s