Skip to content

Actions: disco-lang/disco

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
36 workflow runs
36 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Suggest alternate variable names based on edit distance CI #500: Pull request #378 opened by byorgey
April 8, 2024 13:58 16m 8s feature/suggest-edit-distance
feature/suggest-edit-distance
April 8, 2024 13:58 16m 8s
New :table command CI #499: Pull request #376 synchronize by byorgey
March 8, 2024 19:28 16m 25s feature/table-command
feature/table-command
March 8, 2024 19:28 16m 25s
New :table command CI #498: Pull request #376 synchronize by byorgey
March 8, 2024 19:10 13m 52s feature/table-command
feature/table-command
March 8, 2024 19:10 13m 52s
Restyle New :table command CI #497: Pull request #377 opened by restyled-io bot
March 8, 2024 19:09 13m 49s restyled/feature/table-command
restyled/feature/table-command
March 8, 2024 19:09 13m 49s
New :table command CI #496: Pull request #376 opened by byorgey
March 8, 2024 19:09 13m 55s feature/table-command
feature/table-command
March 8, 2024 19:09 13m 55s
use syntax T and F for true and false Booleans CI #495: Pull request #374 opened by byorgey
February 7, 2024 19:21 15m 54s feature/TF-bools
feature/TF-bools
February 7, 2024 19:21 15m 54s
Allow >< as syntax for product types CI #494: Pull request #370 opened by byorgey
December 20, 2023 21:29 16m 30s feature/product-type-syntax
feature/product-type-syntax
December 20, 2023 21:29 16m 30s
Refactor to use prettyprinter library CI #493: Pull request #369 opened by byorgey
November 28, 2023 14:50 16m 28s refactor/prettyprinter
refactor/prettyprinter
November 28, 2023 14:50 16m 28s
Update issue templates CI #492: Commit 44c179a pushed by byorgey
October 6, 2023 14:53 18m 48s master
master
October 6, 2023 14:53 18m 48s
update resolver, bump upper bounds, comment out OEIS support for now CI #491: Commit d17c02a pushed by byorgey
September 26, 2023 15:06 19m 48s master
master
September 26, 2023 15:06 19m 48s
update to fourmolu for formatting and reformat codebase CI #490: Commit 3ab4815 pushed by byorgey
September 24, 2023 18:41 20m 54s master
master
September 24, 2023 18:41 20m 54s
final edits to paper CI #489: Commit 1d6120b pushed by byorgey
July 25, 2023 20:22 11m 47s master
master
July 25, 2023 20:22 11m 47s
final version of TFPIE paper for upload to EPTCS/arXiv CI #488: Commit 54aa6f0 pushed by byorgey
July 22, 2023 19:41 8m 46s master
master
July 22, 2023 19:41 8m 46s
fix DOI CI #487: Commit b4373a1 pushed by byorgey
July 21, 2023 01:48 26m 2s master
master
July 21, 2023 01:48 26m 2s
final update for camera-ready paper CI #486: Commit 90d067b pushed by byorgey
July 11, 2023 03:09 1m 52s master
master
July 11, 2023 03:09 1m 52s
spelling fixes CI #485: Commit 8eae17a pushed by byorgey
July 11, 2023 02:13 1m 51s master
master
July 11, 2023 02:13 1m 51s
improve a parse error message by pushing try inwards CI #484: Commit c8def9c pushed by byorgey
June 8, 2023 18:22 24m 40s master
master
June 8, 2023 18:22 24m 40s
Allow combining propositions with binary operators, and rework test r… CI #483: Commit 3bb558a pushed by byorgey
May 25, 2023 19:45 10m 33s master
master
May 25, 2023 19:45 10m 33s
Allow combining propositions with binary operators, and rework test result reporting CI #482: Pull request #368 opened by byorgey
May 25, 2023 19:44 10m 52s feature/binary-props
feature/binary-props
May 25, 2023 19:44 10m 52s
update to a more recent LTS with GHC 9.2.7, which has HLS support CI #481: Commit 5831940 pushed by byorgey
May 25, 2023 19:43 9m 2s master
master
May 25, 2023 19:43 9m 2s
Allow combining propositions with binary operators, and rework test r… CI #480: Commit 3d7644e pushed by byorgey
May 24, 2023 16:09 20m 57s master
master
May 24, 2023 16:09 20m 57s
Allow combining propositions with binary operators, and rework test result reporting CI #479: Pull request #365 synchronize by byorgey
May 24, 2023 15:47 21m 27s feature/binary-props
feature/binary-props
May 24, 2023 15:47 21m 27s
Allow combining propositions with binary operators, and rework test result reporting CI #478: Pull request #365 synchronize by byorgey
May 24, 2023 15:44 18m 34s feature/binary-props
feature/binary-props
May 24, 2023 15:44 18m 34s
Allow combining propositions with binary operators, and rework test result reporting CI #477: Pull request #365 synchronize by byorgey
May 24, 2023 15:25 18m 2s feature/binary-props
feature/binary-props
May 24, 2023 15:25 18m 2s
Allow combining propositions with binary operators, and rework test result reporting CI #476: Pull request #365 synchronize by byorgey
May 24, 2023 15:05 17m 1s feature/binary-props
feature/binary-props
May 24, 2023 15:05 17m 1s