Skip to content

Actions: disco-lang/disco

Actions

Restyled

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
restyled.yml
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Print environment for crashing tests Restyled #29: Pull request #432 opened by byorgey
January 2, 2025 14:25 36s fix/issue-364
fix/issue-364
January 2, 2025 14:25 36s
Better parser for :load Restyled #28: Pull request #430 synchronize by byorgey
January 2, 2025 13:43 31s feature/load-parser
feature/load-parser
January 2, 2025 13:43 31s
Better parser for :load Restyled #27: Pull request #430 opened by byorgey
January 2, 2025 13:41 30s feature/load-parser
feature/load-parser
January 2, 2025 13:41 30s
Automatically report LHS and RHS values for comparisons used in tests Restyled #26: Pull request #428 synchronize by byorgey
December 27, 2024 12:52 36s feature/desugar-prop
feature/desugar-prop
December 27, 2024 12:52 36s
Automatically report LHS and RHS values for comparisons used in tests Restyled #25: Pull request #428 opened by byorgey
December 27, 2024 12:49 39s feature/desugar-prop
feature/desugar-prop
December 27, 2024 12:49 39s
Switch to oeis2 library and reinstate OEIS support Restyled #24: Pull request #427 synchronize by byorgey
December 26, 2024 02:46 29s oeis2
oeis2
December 26, 2024 02:46 29s
Switch to oeis2 library and reinstate OEIS support Restyled #23: Pull request #427 synchronize by byorgey
December 26, 2024 02:32 22s oeis2
oeis2
December 26, 2024 02:32 22s
Switch to oeis2 library and reinstate OEIS support Restyled #22: Pull request #427 opened by byorgey
December 26, 2024 02:31 25s oeis2
oeis2
December 26, 2024 02:31 25s
Add support for GHC 9.10 and drop 9.4 Restyled #21: Pull request #425 synchronize by byorgey
December 26, 2024 00:56 31s ghc-9.10
ghc-9.10
December 26, 2024 00:56 31s
Add support for GHC 9.10 and drop 9.4 Restyled #20: Pull request #425 synchronize by byorgey
December 26, 2024 00:54 39s ghc-9.10
ghc-9.10
December 26, 2024 00:54 39s
Add support for GHC 9.10 and drop 9.4 Restyled #19: Pull request #425 opened by byorgey
December 26, 2024 00:03 26s ghc-9.10
ghc-9.10
December 26, 2024 00:03 26s
Fix a bunch of warnings Restyled #18: Pull request #422 synchronize by byorgey
December 25, 2024 23:45 32s refactor/warning-fixes
refactor/warning-fixes
December 25, 2024 23:45 32s
Fix a bunch of warnings Restyled #17: Pull request #422 synchronize by byorgey
December 25, 2024 23:43 35s refactor/warning-fixes
refactor/warning-fixes
December 25, 2024 23:43 35s
Fix a bunch of warnings Restyled #16: Pull request #422 synchronize by byorgey
December 25, 2024 23:25 29s refactor/warning-fixes
refactor/warning-fixes
December 25, 2024 23:25 29s
Fix a bunch of warnings Restyled #15: Pull request #422 opened by byorgey
December 25, 2024 23:24 37s refactor/warning-fixes
refactor/warning-fixes
December 25, 2024 23:24 37s
More work on documentation Restyled #14: Pull request #419 synchronize by byorgey
December 25, 2024 18:00 33s doc/more-introduction
doc/more-introduction
December 25, 2024 18:00 33s
More work on documentation Restyled #13: Pull request #419 synchronize by byorgey
December 25, 2024 15:17 30s doc/more-introduction
doc/more-introduction
December 25, 2024 15:17 30s
More work on documentation Restyled #12: Pull request #419 synchronize by byorgey
December 25, 2024 15:15 28s doc/more-introduction
doc/more-introduction
December 25, 2024 15:15 28s
More work on documentation Restyled #11: Pull request #419 opened by byorgey
December 25, 2024 15:13 37s doc/more-introduction
doc/more-introduction
December 25, 2024 15:13 37s
Remove decimal output Restyled #10: Pull request #417 opened by byorgey
December 25, 2024 14:02 35s feature/remove-decimal-output
feature/remove-decimal-output
December 25, 2024 14:02 35s
More RTD fixes Restyled #9: Pull request #416 synchronize by byorgey
December 22, 2024 03:24 13s fix/readthedocs
fix/readthedocs
December 22, 2024 03:24 13s
More RTD fixes Restyled #8: Pull request #416 synchronize by byorgey
December 22, 2024 03:23 14s fix/readthedocs
fix/readthedocs
December 22, 2024 03:23 14s
More RTD fixes Restyled #7: Pull request #416 opened by byorgey
December 22, 2024 02:55 24s fix/readthedocs
fix/readthedocs
December 22, 2024 02:55 24s
Check in required readthedocs config file Restyled #6: Pull request #415 opened by byorgey
December 21, 2024 23:08 13s fix/readthedocs
fix/readthedocs
December 21, 2024 23:08 13s
Some updates + additions to the reference documentation Restyled #5: Pull request #405 synchronize by byorgey
December 12, 2024 15:56 21s reference-doc-updates
reference-doc-updates
December 12, 2024 15:56 21s