Skip to content

Actions: cmsc430/cmsc430.github.io

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
166 workflow runs
166 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #176 from cmsc430/hotfix-175
.github/workflows/langs.yml #793: Commit 58e35a3 pushed by dvanhorn
March 6, 2024 19:42 17m 2s main
March 6, 2024 19:42 17m 2s
Correct URL in info.rkt now that ziggy branch is closed
.github/workflows/langs.yml #792: Commit 0f38378 pushed by pdarragh
March 6, 2024 19:32 16m 56s hotfix-175
March 6, 2024 19:32 16m 56s
Remove modules-in-progress lang.
.github/workflows/langs.yml #791: Commit 8acf821 pushed by dvanhorn
March 6, 2024 18:25 10m 56s misaligned
March 6, 2024 18:25 10m 56s
Try misaligned stacks.
.github/workflows/langs.yml #790: Commit df4bba8 pushed by dvanhorn
March 6, 2024 17:57 11m 27s misaligned
March 6, 2024 17:57 11m 27s
Small type signature fix.
.github/workflows/langs.yml #789: Commit 86d6308 pushed by dvanhorn
February 26, 2024 20:00 16m 38s main
February 26, 2024 20:00 16m 38s
Merge pull request #174 from cmsc430/ziggy
.github/workflows/langs.yml #788: Commit d697436 pushed by dvanhorn
February 26, 2024 19:22 17m 18s main
February 26, 2024 19:22 17m 18s
Update Assign 3 use of Lit in place of Int, Bool.
.github/workflows/langs.yml #787: Commit af307d6 pushed by dvanhorn
February 26, 2024 19:16 17m 12s ziggy
February 26, 2024 19:16 17m 12s
Generated Evildoer.
.github/workflows/langs.yml #786: Commit 5fd551a pushed by dvanhorn
February 26, 2024 19:07 18m 26s ziggy
February 26, 2024 19:07 18m 26s
Merge pull request #173 from cmsc430/ziggy
.github/workflows/langs.yml #785: Commit 02bb76b pushed by dvanhorn
February 26, 2024 17:39 16m 34s main
February 26, 2024 17:39 16m 34s
Fix bug for Dupe representation.
.github/workflows/langs.yml #784: Commit 81185ee pushed by dvanhorn
February 26, 2024 17:33 17m 13s ziggy
February 26, 2024 17:33 17m 13s
Generated Dupe.
.github/workflows/langs.yml #783: Commit c5df5ad pushed by dvanhorn
February 21, 2024 15:14 16m 27s ziggy
February 21, 2024 15:14 16m 27s
Set all the generated files in .gitattributes.
.github/workflows/langs.yml #782: Commit b9b4f45 pushed by dvanhorn
February 21, 2024 14:53 17m 13s ziggy
February 21, 2024 14:53 17m 13s
Updating pattern.
.github/workflows/langs.yml #781: Commit a925324 pushed by dvanhorn
February 21, 2024 14:48 16m 46s ziggy
February 21, 2024 14:48 16m 46s
Generated.
.github/workflows/langs.yml #780: Commit 5c1c315 pushed by dvanhorn
February 21, 2024 14:46 17m 8s ziggy
February 21, 2024 14:46 17m 8s
Trying .gitattributes and generated files.
.github/workflows/langs.yml #779: Commit 59ff9fa pushed by dvanhorn
February 18, 2024 15:32 16m 56s ziggy
February 18, 2024 15:32 16m 56s
Merge pull request #172 from cmsc430/next
.github/workflows/langs.yml #778: Commit fed01cc pushed by dvanhorn
February 15, 2024 20:23 20m 11s main
February 15, 2024 20:23 20m 11s
Update README with most recent URL.
.github/workflows/langs.yml #777: Commit e5f1aa5 pushed by dvanhorn
February 15, 2024 20:23 19m 23s next
February 15, 2024 20:23 19m 23s
Merge pull request #171 from cmsc430/next
.github/workflows/langs.yml #776: Commit 12ee5b6 pushed by dvanhorn
February 15, 2024 18:58 16m 29s main
February 15, 2024 18:58 16m 29s
M1 details.
.github/workflows/langs.yml #775: Commit 7e11077 pushed by dvanhorn
February 15, 2024 18:58 16m 34s next
February 15, 2024 18:58 16m 34s
Update schedule.
.github/workflows/langs.yml #774: Commit 7373b94 pushed by dvanhorn
February 15, 2024 15:58 15m 57s next
February 15, 2024 15:58 15m 57s
WIP A3.
.github/workflows/langs.yml #773: Commit f2ea464 pushed by dvanhorn
February 15, 2024 12:21 16m 13s next
February 15, 2024 12:21 16m 13s
Merge pull request #170 from cmsc430/next
.github/workflows/langs.yml #772: Commit 0712c7c pushed by dvanhorn
February 15, 2024 01:26 15m 56s next
February 15, 2024 01:26 15m 56s
WIP Ziggy Loot.
.github/workflows/langs.yml #771: Commit 702c16a pushed by dvanhorn
February 14, 2024 17:46 17m 36s ziggy
February 14, 2024 17:46 17m 36s
Merge pull request #170 from cmsc430/next
.github/workflows/langs.yml #770: Commit 0712c7c pushed by dvanhorn
February 14, 2024 13:50 16m 10s ziggy
February 14, 2024 13:50 16m 10s
Update runtime systems for Ziggy langs for new string representation.
.github/workflows/langs.yml #769: Commit 20f4584 pushed by dvanhorn
February 14, 2024 13:47 9m 6s 64bit-only
February 14, 2024 13:47 9m 6s