Skip to content

Actions: teach-plt/www

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
174 workflow runs
174 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[www] split material into lecture/reading material Deploy PLT www #129: Commit 00e7405 pushed by andreasabel
December 19, 2024 15:12 1m 18s master
master
December 19, 2024 15:12 1m 18s
[lec14] exam walk-through Deploy PLT www #128: Commit be3d0ca pushed by andreasabel
December 19, 2024 14:46 1m 18s master
master
December 19, 2024 14:46 1m 18s
[www] trial exam, extra supervision 2025 Deploy PLT www #127: Commit 85bd28a pushed by andreasabel
December 18, 2024 16:11 1m 10s master
master
December 18, 2024 16:11 1m 10s
[lec13] live coding Agda result Deploy PLT www #126: Commit c15e096 pushed by andreasabel
December 17, 2024 14:49 1m 29s master
master
December 17, 2024 14:49 1m 29s
[lec13] Agda live coding start Deploy PLT www #125: Commit 1a93fac pushed by andreasabel
December 16, 2024 12:43 1m 16s master
master
December 16, 2024 12:43 1m 16s
[lec12] lab4 live code Deploy PLT www #124: Commit b379119 pushed by andreasabel
December 12, 2024 15:46 1m 29s master
master
December 12, 2024 15:46 1m 29s
[www] fix room for lab4 hands-on Deploy PLT www #123: Commit 62f748c pushed by andreasabel
December 11, 2024 10:36 1m 8s master
master
December 11, 2024 10:36 1m 8s
Correct year in README Deploy PLT www #122: Commit 8b01700 pushed by andreasabel
December 10, 2024 12:00 1m 5s master
master
December 10, 2024 12:00 1m 5s
[CI deploy] use ubuntu-22.04 for the sake of python2 Deploy PLT www #121: Commit 0470109 pushed by andreasabel
December 10, 2024 11:51 1m 14s master
master
December 10, 2024 11:51 1m 14s
[lec10] cosmetics Deploy PLT www #120: Commit 203b4a0 pushed by andreasabel
December 10, 2024 11:31 31s master
master
December 10, 2024 11:31 31s
Correct year in README Deploy PLT www #119: Pull request #16 opened by AndrasKovacs
December 9, 2024 14:52 33s AndrasKovacs:master
AndrasKovacs:master
December 9, 2024 14:52 33s
[www] Room changes to HC1 and SB-H5 Deploy PLT www #118: Commit 5de24ac pushed by andreasabel
December 5, 2024 15:30 1m 17s master
master
December 5, 2024 15:30 1m 17s
[lec10] typo in cbn/cbv Deploy PLT www #117: Commit bdc0f57 pushed by andreasabel
December 5, 2024 11:59 1m 21s master
master
December 5, 2024 11:59 1m 21s
Update notes for lab2 java interpreter (#15) Deploy PLT www #116: Commit a4e16bb pushed by felixwellen
December 4, 2024 09:44 1m 25s master
master
December 4, 2024 09:44 1m 25s
Update notes for lab2 java interpreter Deploy PLT www #115: Pull request #15 opened by felixwellen
December 4, 2024 09:38 48s lab2_java_interpreter_update
lab2_java_interpreter_update
December 4, 2024 09:38 48s
[notes] compilation with fall-through Deploy PLT www #114: Commit 8af1a46 pushed by andreasabel
December 3, 2024 14:31 1m 20s master
master
December 3, 2024 14:31 1m 20s
[lab2] Give a sketch of an interpreter (#14) Deploy PLT www #113: Commit d4b5779 pushed by felixwellen
December 3, 2024 08:38 1m 15s master
master
December 3, 2024 08:38 1m 15s
[lab2] Give a sketch of an interpreter Deploy PLT www #112: Pull request #14 synchronize by felixwellen
December 3, 2024 08:37 55s lab2_java_interpreter
lab2_java_interpreter
December 3, 2024 08:37 55s
[lab2] Give a sketch of an interpreter Deploy PLT www #111: Pull request #14 opened by felixwellen
December 3, 2024 08:34 57s lab2_java_interpreter
lab2_java_interpreter
December 3, 2024 08:34 57s
[lec8] code generation 2024 Deploy PLT www #110: Commit 5a5e263 pushed by andreasabel
November 28, 2024 11:04 1m 6s master
master
November 28, 2024 11:04 1m 6s
Explain how to get started Deploy PLT www #109: Commit cbd4a0e pushed by andreasabel
November 26, 2024 19:32 1m 10s master
master
November 26, 2024 19:32 1m 10s
[www] Software instructions: keep the distinction between JVM and JDK Deploy PLT www #108: Commit aa19a4f pushed by andreasabel
November 26, 2024 19:32 1m 20s master
master
November 26, 2024 19:32 1m 20s
Explain how to get started with lab2 in java Deploy PLT www #107: Pull request #13 synchronize by felixwellen
November 26, 2024 15:32 1m 9s more-java-instructions
more-java-instructions
November 26, 2024 15:32 1m 9s
Explain how to get started with lab2 in java Deploy PLT www #106: Pull request #13 opened by felixwellen
November 26, 2024 15:13 1m 0s more-java-instructions
more-java-instructions
November 26, 2024 15:13 1m 0s
[lec7] hands on lab2 haskell Deploy PLT www #105: Commit 11262ff pushed by andreasabel
November 26, 2024 14:38 1m 16s master
master
November 26, 2024 14:38 1m 16s