Skip to content

Actions: greghendershott/racket-mode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
485 workflow runs
485 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve racket-describe-search
CI #1435: Commit 5ecbb45 pushed by greghendershott
October 25, 2024 17:34 7m 58s scribble-index
October 25, 2024 17:34 7m 58s
October 24, 2024 14:39 7m 27s
October 24, 2024 12:56 8m 26s
Fiddle with describe-racket-package annotation faces
CI #1432: Commit dc41b99 pushed by greghendershott
October 23, 2024 15:15 6m 57s scribble-index
October 23, 2024 15:15 6m 57s
Edit doc string prose; link to Info node
CI #1431: Commit 7ea7779 pushed by greghendershott
October 22, 2024 16:03 8m 2s scribble-index
October 22, 2024 16:03 8m 2s
We may as well use cl-loop throughout
CI #1430: Commit 0ba692d pushed by greghendershott
October 22, 2024 15:47 8m 7s scribble-index
October 22, 2024 15:47 8m 7s
racket--make-affix: Allow face in column spec
CI #1429: Commit 71c50ca pushed by greghendershott
October 22, 2024 14:40 8m 58s scribble-index
October 22, 2024 14:40 8m 58s
Use a make- function instead of apply-partially
CI #1428: Commit b4b2128 pushed by greghendershott
October 21, 2024 16:16 8m 7s scribble-index
October 21, 2024 16:16 8m 7s
October 20, 2024 16:11 7m 1s
Add racket--affix to DRY affixation functions
CI #1426: Commit 85a1c8b pushed by greghendershott
October 20, 2024 14:53 7m 41s scribble-index
October 20, 2024 14:53 7m 41s
Add racket--affix to DRY affixation functions
CI #1425: Commit 9d831df pushed by greghendershott
October 20, 2024 14:47 8m 42s scribble-index
October 20, 2024 14:47 8m 42s
Disallow multi-line completion prefixes; fixes #724
CI #1424: Commit 1203449 pushed by greghendershott
October 18, 2024 18:37 7m 34s master
October 18, 2024 18:37 7m 34s
Disallow multi-line completion prefixes; fixes #724
CI #1423: Commit 1203449 pushed by greghendershott
October 18, 2024 15:46 7m 21s issue-724
October 18, 2024 15:46 7m 21s
Improve input method customization
CI #1422: Commit 36c7062 pushed by greghendershott
October 18, 2024 15:03 8m 52s master
October 18, 2024 15:03 8m 52s
Improve input method customization
CI #1421: Commit 36c7062 pushed by greghendershott
October 18, 2024 14:06 9m 16s issue-718
October 18, 2024 14:06 9m 16s
Edit some doc prose
CI #1420: Commit f6ce117 pushed by greghendershott
October 18, 2024 13:20 8m 33s issue-718
October 18, 2024 13:20 8m 33s
Doc tweaks
CI #1419: Commit b0e41d2 pushed by greghendershott
October 18, 2024 12:49 7m 41s issue-718
October 18, 2024 12:49 7m 41s
Doc tweaks
CI #1418: Commit c07e17b pushed by greghendershott
October 18, 2024 12:12 5m 3s issue-718
October 18, 2024 12:12 5m 3s
Doc tweaks
CI #1417: Commit f638e25 pushed by greghendershott
October 18, 2024 04:24 5m 3s issue-718
October 18, 2024 04:24 5m 3s
October 18, 2024 01:53 7m 23s
Edit doc strings, refresh docs
CI #1415: Commit 0ecf57a pushed by greghendershott
October 18, 2024 01:35 7m 55s issue-718
October 18, 2024 01:35 7m 55s
Simplify; abandon the agda-input ideas
CI #1414: Commit 211c06a pushed by greghendershott
October 17, 2024 21:06 7m 24s issue-718
October 17, 2024 21:06 7m 24s
Various tweaks; include more docs
CI #1413: Commit e01ce89 pushed by greghendershott
October 16, 2024 01:38 7m 43s issue-718
October 16, 2024 01:38 7m 43s
Various tweaks; include more docs
CI #1412: Commit 34515db pushed by greghendershott
October 16, 2024 01:35 8m 1s issue-718
October 16, 2024 01:35 8m 1s
Add racket-insert-symbol command
CI #1411: Commit a3dacb9 pushed by greghendershott
October 15, 2024 00:45 8m 41s issue-718
October 15, 2024 00:45 8m 41s