Skip to content

Actions: racket/htdp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

stepper history for v8.16 Build and Test #405: Commit b05d449 pushed by jbclements
February 28, 2025 06:37 15m 20s v8.16
v8.16
February 28, 2025 06:37 15m 20s
make the string snips generate code in a way that assumes less about … Build and Test #404: Commit aa2ad71 pushed by rfindler
February 23, 2025 21:56 15m 39s master
master
February 23, 2025 21:56 15m 39s
adjust the text boxes inserted via DrRacket's Insert Text Box menu it… Build and Test #403: Commit fea1f2b pushed by rfindler
February 23, 2025 18:57 15m 18s master
master
February 23, 2025 18:57 15m 18s
Try harder to wait for the recording to complete. Build and Test #402: Commit 96ce626 pushed by samth
February 17, 2025 17:22 16m 10s master
master
February 17, 2025 17:22 16m 10s
Update htdp-langs.scrbl to specify teaching lang language directives Build and Test #401: Commit bfaf678 pushed by mfelleisen
January 24, 2025 19:36 15m 41s master
master
January 24, 2025 19:36 15m 41s
Update htdp-langs.scrbl to specify teaching lang language directives Build and Test #400: Pull request #240 opened by spdegabrielle
January 24, 2025 18:41 15m 20s spdegabrielle:patch-2
spdegabrielle:patch-2
January 24, 2025 18:41 15m 20s
stepper history for v8.16 Build and Test #399: Commit b05d449 pushed by jbclements
January 21, 2025 00:55 15m 20s release
release
January 21, 2025 00:55 15m 20s
stepper history for v8.16 Build and Test #398: Commit 225052d pushed by jbclements
January 21, 2025 00:54 15m 58s master
master
January 21, 2025 00:54 15m 58s
Partly revert d53a197 & 36fc539 to workaround #233 (#238) Build and Test #397: Commit 54663eb pushed by shhyou
January 19, 2025 23:56 15m 43s master
master
January 19, 2025 23:56 15m 43s
history, pls include with release Build and Test #396: Commit f8e2d4a pushed by jbclements
January 17, 2025 04:36 15m 59s release
release
January 17, 2025 04:36 15m 59s
comment Build and Test #395: Commit 70daff0 pushed by mfelleisen
January 13, 2025 23:00 15m 54s master
master
January 13, 2025 23:00 15m 54s
Partly revert d53a197 & 36fc539 to workaround #233 Build and Test #394: Pull request #238 synchronize by shhyou
January 1, 2025 03:55 15m 58s shhyou:thread-big-bang
shhyou:thread-big-bang
January 1, 2025 03:55 15m 58s
Test the stepper with check-satisfied Build and Test #393: Commit c529c9e pushed by shhyou
December 30, 2024 17:17 15m 31s master
master
December 30, 2024 17:17 15m 31s
Partly revert d53a197 & 36fc539 to workaround #233 Build and Test #392: Pull request #238 synchronize by shhyou
December 28, 2024 19:20 15m 15s shhyou:thread-big-bang
shhyou:thread-big-bang
December 28, 2024 19:20 15m 15s
Partly revert d53a197 & 36fc539 to workaround #233 Build and Test #391: Pull request #238 synchronize by shhyou
December 28, 2024 18:23 15m 29s shhyou:thread-big-bang
shhyou:thread-big-bang
December 28, 2024 18:23 15m 29s
Test several check-satisfied error messages Build and Test #390: Commit e6b7936 pushed by shhyou
December 28, 2024 00:47 15m 24s master
master
December 28, 2024 00:47 15m 24s
Avoid leaking p? in check-satisfied to anonymous λ Build and Test #389: Commit ef67552 pushed by shhyou
December 27, 2024 02:03 14m 25s master
master
December 27, 2024 02:03 14m 25s
Avoid leaking p? in check-satisfied to anonymous λ Build and Test #388: Commit ef67552 pushed by shhyou
December 27, 2024 01:46 15m 34s chksat-lambda-name
chksat-lambda-name
December 27, 2024 01:46 15m 34s
Skip check-satisfied in stepper Build and Test #387: Pull request #239 opened by shhyou
December 21, 2024 02:52 16m 16s shhyou:skip-check-satisfied
shhyou:skip-check-satisfied
December 21, 2024 02:52 16m 16s
Documentation: Fix typo in check-range example Build and Test #386: Commit 495e6bd pushed by shhyou
December 16, 2024 15:35 15m 37s master
master
December 16, 2024 15:35 15m 37s
Partly revert d53a197 & 36fc539 to workaround #233 Build and Test #385: Pull request #238 opened by shhyou
December 16, 2024 03:43 15m 2s shhyou:thread-big-bang
shhyou:thread-big-bang
December 16, 2024 03:43 15m 2s
Add universe-inset parameter Build and Test #384: Pull request #237 opened by a11ce
December 13, 2024 21:36 15m 50s a11ce:inset-parameter
a11ce:inset-parameter
December 13, 2024 21:36 15m 50s
Fix universe inset being too large on two sides Build and Test #383: Commit db37318 pushed by mfelleisen
December 12, 2024 02:05 15m 33s master
master
December 12, 2024 02:05 15m 33s
Fix universe inset being too large on two sides Build and Test #382: Pull request #236 opened by a11ce
December 11, 2024 00:56 16m 9s a11ce:inset-sub1
a11ce:inset-sub1
December 11, 2024 00:56 16m 9s
Add Debug button to #lang htdp/asl. Build and Test #381: Commit c29a0b0 pushed by shhyou
December 7, 2024 04:55 15m 1s master
master
December 7, 2024 04:55 15m 1s