Skip to content

Actions: disco-lang/disco

Actions

Restyled

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
restyled.yml
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update and streamline installation instructions Restyled #43: Pull request #440 opened by byorgey
January 25, 2025 20:32 15s streamline-install
streamline-install
January 25, 2025 20:32 15s
0.2 release Restyled #42: Pull request #438 opened by byorgey
January 22, 2025 11:46 19s release/0.2
release/0.2
January 22, 2025 11:46 19s
Update installation instructions Restyled #41: Pull request #437 opened by byorgey
January 21, 2025 23:46 19s doc/install
doc/install
January 21, 2025 23:46 19s
Exhaustiveness checking for non-arithmetic patterns Restyled #40: Pull request #434 synchronize by mergify bot
January 21, 2025 18:59 34s exhaustiveness
exhaustiveness
January 21, 2025 18:59 34s
Exhaustiveness checking for non-arithmetic patterns Restyled #39: Pull request #434 synchronize by byorgey
January 21, 2025 12:42 38s exhaustiveness
exhaustiveness
January 21, 2025 12:42 38s
Exhaustiveness checking for non-arithmetic patterns Restyled #38: Pull request #434 synchronize by LeitMoth
January 20, 2025 23:17 29s exhaustiveness
exhaustiveness
January 20, 2025 23:17 29s
Exhaustiveness checking for non-arithmetic patterns Restyled #37: Pull request #434 synchronize by LeitMoth
January 19, 2025 00:44 30s exhaustiveness
exhaustiveness
January 19, 2025 00:44 30s
Exhaustiveness checking for non-arithmetic patterns Restyled #36: Pull request #434 synchronize by LeitMoth
January 16, 2025 07:50 32s exhaustiveness
exhaustiveness
January 16, 2025 07:50 32s
Exhaustiveness checking for non-arithmetic patterns Restyled #35: Pull request #434 synchronize by LeitMoth
January 10, 2025 01:04 37s exhaustiveness
exhaustiveness
January 10, 2025 01:04 37s
Exhaustiveness checking for non-arithmetic patterns Restyled #34: Pull request #434 synchronize by LeitMoth
January 9, 2025 23:50 28s exhaustiveness
exhaustiveness
January 9, 2025 23:50 28s
Exhaustiveness checking for non-arithmetic patterns Restyled #33: Pull request #434 synchronize by LeitMoth
January 9, 2025 23:43 30s exhaustiveness
exhaustiveness
January 9, 2025 23:43 30s
Exhaustiveness checking for non-arithmetic patterns Restyled #32: Pull request #434 synchronize by LeitMoth
January 9, 2025 23:16 36s exhaustiveness
exhaustiveness
January 9, 2025 23:16 36s
Exhaustiveness checking for non-arithmetic patterns Restyled #31: Pull request #434 synchronize by LeitMoth
January 9, 2025 23:14 31s exhaustiveness
exhaustiveness
January 9, 2025 23:14 31s
Exhaustiveness checking for non-arithmetic patterns Restyled #30: Pull request #434 opened by LeitMoth
January 9, 2025 07:51 31s exhaustiveness
exhaustiveness
January 9, 2025 07:51 31s
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