+
Skip to content

Actions: winitzki/scall

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
317 workflow runs
317 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

clarify type parameters R and S scall_build_and_test #729: Commit 29ac670 pushed by winitzki
July 19, 2025 19:19 13m 23s feature/tutorial-9
feature/tutorial-9
July 19, 2025 19:19 13m 23s
wip scall_build_and_test #728: Commit b2315a5 pushed by winitzki
July 19, 2025 05:36 13m 11s feature/tutorial-9
feature/tutorial-9
July 19, 2025 05:36 13m 11s
wip scall_build_and_test #727: Commit dd74c46 pushed by winitzki
July 18, 2025 16:32 12m 45s feature/tutorial-9
feature/tutorial-9
July 18, 2025 16:32 12m 45s
wip scall_build_and_test #726: Commit c38c690 pushed by winitzki
July 18, 2025 16:26 13m 10s feature/tutorial-9
feature/tutorial-9
July 18, 2025 16:26 13m 10s
small fixes scall_build_and_test #725: Commit 88b746e pushed by winitzki
July 18, 2025 15:06 13m 37s feature/tutorial-9
feature/tutorial-9
July 18, 2025 15:06 13m 37s
wip scall_build_and_test #724: Commit d67c83b pushed by winitzki
July 18, 2025 14:24 12m 19s feature/tutorial-9
feature/tutorial-9
July 18, 2025 14:24 12m 19s
fixing up typos in the proofs scall_build_and_test #723: Commit c17a407 pushed by winitzki
July 18, 2025 13:16 27m 53s feature/tutorial-9
feature/tutorial-9
July 18, 2025 13:16 27m 53s
minor updates scall_build_and_test #722: Commit c328b8d pushed by winitzki
June 17, 2025 09:58 23m 10s feature/tutorial-9
feature/tutorial-9
June 17, 2025 09:58 23m 10s
Continue working on the Dhall tutorial and language implementation (#45) scall_build_and_test #721: Commit e64e981 pushed by winitzki
June 3, 2025 10:22 25m 39s master
master
June 3, 2025 10:22 25m 39s
wip scall_build_and_test #720: Commit bc54c37 pushed by winitzki
June 3, 2025 10:22 41m 11s feature/tutorial-8
feature/tutorial-8
June 3, 2025 10:22 41m 11s
update readme scall_build_and_test #719: Commit 0feac66 pushed by winitzki
May 25, 2025 14:26 13m 21s feature/tutorial-8
feature/tutorial-8
May 25, 2025 14:26 13m 21s
wip tutorial scall_build_and_test #718: Commit 9d2372b pushed by winitzki
May 23, 2025 14:44 12m 46s feature/tutorial-8
feature/tutorial-8
May 23, 2025 14:44 12m 46s
move the section about static values scall_build_and_test #717: Commit 398b846 pushed by winitzki
May 22, 2025 12:46 34m 23s feature/tutorial-8
feature/tutorial-8
May 22, 2025 12:46 34m 23s
wip scall_build_and_test #716: Commit 42069dc pushed by winitzki
May 8, 2025 17:59 14m 9s feature/tutorial-8
feature/tutorial-8
May 8, 2025 17:59 14m 9s
cosmetic changes scall_build_and_test #715: Commit 8d8a975 pushed by winitzki
May 8, 2025 12:16 14m 3s feature/tutorial-8
feature/tutorial-8
May 8, 2025 12:16 14m 3s
wip scall_build_and_test #714: Commit 4de1bc6 pushed by winitzki
May 7, 2025 19:19 13m 49s feature/tutorial-8
feature/tutorial-8
May 7, 2025 19:19 13m 49s
sample code for GADT scall_build_and_test #713: Commit a4ac30d pushed by winitzki
May 7, 2025 19:11 13m 31s feature/tutorial-8
feature/tutorial-8
May 7, 2025 19:11 13m 31s
wip scall_build_and_test #712: Commit 48550a3 pushed by winitzki
May 7, 2025 13:21 12m 39s feature/tutorial-8
feature/tutorial-8
May 7, 2025 13:21 12m 39s
asserting on statically known values scall_build_and_test #711: Commit a8bcf62 pushed by winitzki
May 7, 2025 13:15 12m 22s feature/tutorial-8
feature/tutorial-8
May 7, 2025 13:15 12m 22s
corrections until chapter 6 scall_build_and_test #710: Commit a660e1e pushed by winitzki
May 7, 2025 10:41 13m 23s feature/tutorial-8
feature/tutorial-8
May 7, 2025 10:41 13m 23s
wip scall_build_and_test #709: Commit 6c8cd13 pushed by winitzki
May 6, 2025 20:49 13m 28s feature/tutorial-8
feature/tutorial-8
May 6, 2025 20:49 13m 28s
explain GADT encoding scall_build_and_test #708: Commit eb42c77 pushed by winitzki
May 6, 2025 19:12 13m 38s feature/tutorial-8
feature/tutorial-8
May 6, 2025 19:12 13m 38s
fix section about refinement types scall_build_and_test #707: Commit 90d9558 pushed by winitzki
May 6, 2025 10:41 13m 6s feature/tutorial-8
feature/tutorial-8
May 6, 2025 10:41 13m 6s
refactor code scall_build_and_test #706: Commit d8b912e pushed by winitzki
May 6, 2025 09:39 13m 27s feature/tutorial-8
feature/tutorial-8
May 6, 2025 09:39 13m 27s
wip towards explaining failure of ListK scall_build_and_test #705: Commit 507332a pushed by winitzki
May 6, 2025 08:10 13m 32s feature/tutorial-8
feature/tutorial-8
May 6, 2025 08:10 13m 32s
点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载