Skip to content

Actions: teach-plt/www

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
89 workflow runs
89 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

First version (draft) of 2025 page Deploy PLT www #134: Commit a9b8843 pushed by andreasabel
1m 41s master
master
1m 41s
Git ignore .DS_store Deploy PLT www #133: Commit d8ab23d pushed by andreasabel
1m 31s master
master
1m 31s
Keep 20??-index.html in the repo Deploy PLT www #132: Commit 8f3d631 pushed by andreasabel
1m 16s master
master
1m 16s
[www] publish exam-2025-1 Deploy PLT www #131: Commit 19237fb pushed by andreasabel
1m 14s master
master
1m 14s
[www] exam review date Deploy PLT www #130: Commit 2157f8c pushed by andreasabel
1m 14s master
master
1m 14s
[www] split material into lecture/reading material Deploy PLT www #129: Commit 00e7405 pushed by andreasabel
1m 18s master
master
1m 18s
[lec14] exam walk-through Deploy PLT www #128: Commit be3d0ca pushed by andreasabel
1m 18s master
master
1m 18s
[www] trial exam, extra supervision 2025 Deploy PLT www #127: Commit 85bd28a pushed by andreasabel
1m 10s master
master
1m 10s
[lec13] live coding Agda result Deploy PLT www #126: Commit c15e096 pushed by andreasabel
1m 29s master
master
1m 29s
[lec13] Agda live coding start Deploy PLT www #125: Commit 1a93fac pushed by andreasabel
1m 16s master
master
1m 16s
[lec12] lab4 live code Deploy PLT www #124: Commit b379119 pushed by andreasabel
1m 29s master
master
1m 29s
[www] fix room for lab4 hands-on Deploy PLT www #123: Commit 62f748c pushed by andreasabel
1m 8s master
master
1m 8s
Correct year in README Deploy PLT www #122: Commit 8b01700 pushed by andreasabel
1m 5s master
master
1m 5s
[CI deploy] use ubuntu-22.04 for the sake of python2 Deploy PLT www #121: Commit 0470109 pushed by andreasabel
1m 14s master
master
1m 14s
[lec10] cosmetics Deploy PLT www #120: Commit 203b4a0 pushed by andreasabel
31s master
master
31s
Correct year in README Deploy PLT www #119: Pull request #16 opened by AndrasKovacs
33s AndrasKovacs:master
AndrasKovacs:master
33s
[www] Room changes to HC1 and SB-H5 Deploy PLT www #118: Commit 5de24ac pushed by andreasabel
1m 17s master
master
1m 17s
[lec10] typo in cbn/cbv Deploy PLT www #117: Commit bdc0f57 pushed by andreasabel
1m 21s master
master
1m 21s
Update notes for lab2 java interpreter (#15) Deploy PLT www #116: Commit a4e16bb pushed by felixwellen
1m 25s master
master
1m 25s
Update notes for lab2 java interpreter Deploy PLT www #115: Pull request #15 opened by felixwellen
48s lab2_java_interpreter_update
lab2_java_interpreter_update
48s
[notes] compilation with fall-through Deploy PLT www #114: Commit 8af1a46 pushed by andreasabel
1m 20s master
master
1m 20s
[lab2] Give a sketch of an interpreter (#14) Deploy PLT www #113: Commit d4b5779 pushed by felixwellen
1m 15s master
master
1m 15s
[lab2] Give a sketch of an interpreter Deploy PLT www #112: Pull request #14 synchronize by felixwellen
55s lab2_java_interpreter
lab2_java_interpreter
55s
[lab2] Give a sketch of an interpreter Deploy PLT www #111: Pull request #14 opened by felixwellen
57s lab2_java_interpreter
lab2_java_interpreter
57s
[lec8] code generation 2024 Deploy PLT www #110: Commit 5a5e263 pushed by andreasabel
1m 6s master
master
1m 6s