Skip to content

Actions: KeYProject/key-symposium-2024

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update hiking_monday.md Deploy #41: Commit 7aeea08 pushed by mi-ki
July 21, 2024 23:20 27s main
main
July 21, 2024 23:20 27s
Rename appelhagen.md Deploy #40: Commit abbd123 pushed by mi-ki
July 21, 2024 23:16 28s main
main
July 21, 2024 23:16 28s
Rename hoff.md Deploy #39: Commit d3b49dc pushed by mi-ki
July 21, 2024 23:15 27s main
main
July 21, 2024 23:15 27s
small update Deploy #38: Commit 657f5eb pushed by wadoon
July 21, 2024 20:20 21s main
main
July 21, 2024 20:20 21s
alpha final Deploy #37: Commit 11e6158 pushed by wadoon
July 20, 2024 22:21 26s main
main
July 20, 2024 22:21 26s
update hiking and icalender Deploy #36: Commit 8db96f2 pushed by wadoon
July 20, 2024 22:09 22s main
main
July 20, 2024 22:09 22s
new program Deploy #35: Commit 002e181 pushed by wadoon
July 20, 2024 21:57 22s main
main
July 20, 2024 21:57 22s
Update index.md (meeting time for hike) Deploy #34: Commit 6f0c97e pushed by mi-ki
July 19, 2024 14:06 31s main
main
July 19, 2024 14:06 31s
Fix venue link Deploy #33: Commit 72e1fe7 pushed by EnguerrandPrebet
July 19, 2024 13:32 34s main
main
July 19, 2024 13:32 34s
Update platzer.md (since I'm at it anyways) Deploy #32: Commit 69eb26d pushed by mi-ki
July 18, 2024 19:28 33s main
main
July 18, 2024 19:28 33s
Update and rename lanziger.md to lanzinger.md Deploy #31: Commit 2e69b22 pushed by mi-ki
July 18, 2024 19:24 30s main
main
July 18, 2024 19:24 30s
Correct name Deploy #30: Commit d24f4f3 pushed by EnguerrandPrebet
July 18, 2024 16:35 26s main
main
July 18, 2024 16:35 26s
the game of swapping Deploy #29: Commit 191287b pushed by wadoon
July 16, 2024 00:45 27s main
main
July 16, 2024 00:45 27s
add blanchette Deploy #28: Commit e61d63c pushed by wadoon
July 12, 2024 00:28 27s main
main
July 12, 2024 00:28 27s
fix timezone Deploy #27: Commit cf09a33 pushed by wadoon
July 10, 2024 15:44 32s main
main
July 10, 2024 15:44 32s
generate calender, typos Deploy #26: Commit 2330d3a pushed by wadoon
July 10, 2024 15:26 25s main
main
July 10, 2024 15:26 25s
add prebet Deploy #25: Commit 06e55e2 pushed by EnguerrandPrebet
July 10, 2024 12:51 31s main
main
July 10, 2024 12:51 31s
add prebet, fix typo Deploy #24: Commit 89236aa pushed by wadoon
July 9, 2024 10:54 26s main
main
July 9, 2024 10:54 26s
preliminary programme draft alpha Deploy #23: Commit f24ddc4 pushed by wadoon
July 8, 2024 02:19 29s main
main
July 8, 2024 02:19 29s
Update index.md (minor adaptions to hike on Monday) Deploy #22: Commit 535554d pushed by mi-ki
July 5, 2024 11:31 31s main
main
July 5, 2024 11:31 31s
Update hiking_monday.md Deploy #21: Commit c8dda08 pushed by mi-ki
July 3, 2024 01:23 23s main
main
July 3, 2024 01:23 23s
Update hiking_monday.md Deploy #20: Commit ebb17e2 pushed by mi-ki
July 3, 2024 01:22 23s main
main
July 3, 2024 01:22 23s
at social Deploy #19: Commit 1776edb pushed by wadoon
July 2, 2024 21:48 28s main
main
July 2, 2024 21:48 28s
bank Deploy #18: Commit 7d579fc pushed by wadoon
July 1, 2024 10:29 29s main
main
July 1, 2024 10:29 29s
bank Deploy #17: Commit 5423024 pushed by wadoon
July 1, 2024 10:27 30s main
main
July 1, 2024 10:27 30s