Skip to content

Actions: teach-plt/www

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
107 workflow runs
107 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Keep 20??-index.html in the repo Deploy PLT www #132: Commit 8f3d631 pushed by andreasabel
February 12, 2025 16:38 1m 16s master
master
February 12, 2025 16:38 1m 16s
[www] publish exam-2025-1 Deploy PLT www #131: Commit 19237fb pushed by andreasabel
January 17, 2025 16:17 1m 14s master
master
January 17, 2025 16:17 1m 14s
[www] exam review date Deploy PLT www #130: Commit 2157f8c pushed by andreasabel
January 14, 2025 14:34 1m 14s master
master
January 14, 2025 14:34 1m 14s
[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