Skip to content

Actions: hanjoosten/HaskellWorkshop

Deploy to github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Either type (error handling)
Deploy to github pages #16: Commit 58db6e0 pushed by hanjoosten
March 10, 2024 10:53 19s master
March 10, 2024 10:53 19s
Dan's changes
Deploy to github pages #15: Commit 4ebfcbb pushed by hanjoosten
March 9, 2024 13:04 18s master
March 9, 2024 13:04 18s
fix slide 140
Deploy to github pages #14: Commit 5faaa4c pushed by hanjoosten
February 19, 2024 12:39 22s master
February 19, 2024 12:39 22s
All examples work again
Deploy to github pages #13: Commit b47bf6e pushed by hanjoosten
February 15, 2024 20:12 22s master
February 15, 2024 20:12 22s
wip
Deploy to github pages #12: Commit 13ba7b5 pushed by hanjoosten
February 12, 2024 09:30 20s master
February 12, 2024 09:30 20s
Up to sheet 77
Deploy to github pages #11: Commit 5990d58 pushed by hanjoosten
February 11, 2024 20:48 24s master
February 11, 2024 20:48 24s
WIP
Deploy to github pages #10: Commit 7191b0b pushed by hanjoosten
February 11, 2024 18:33 18s master
February 11, 2024 18:33 18s
Make H1 visible
Deploy to github pages #9: Commit acd4634 pushed by hanjoosten
January 28, 2024 16:40 23s master
January 28, 2024 16:40 23s
Deploy english slides
Deploy to github pages #8: Commit d6df7d4 pushed by hanjoosten
January 28, 2024 16:35 21s master
January 28, 2024 16:35 21s
adapt makefile to English
Deploy to github pages #7: Commit e67182f pushed by hanjoosten
January 28, 2024 13:00 24s master
January 28, 2024 13:00 24s
Back to English slides
Deploy to github pages #6: Commit 5db7524 pushed by hanjoosten
January 28, 2024 12:52 22s master
January 28, 2024 12:52 22s
need index.html
Deploy to github pages #5: Commit d9f3478 pushed by hanjoosten
December 26, 2023 17:10 25s master
December 26, 2023 17:10 25s
gitignore
Deploy to github pages #4: Commit c006b6b pushed by hanjoosten
December 26, 2023 17:07 23s master
December 26, 2023 17:07 23s
remove generated files
Deploy to github pages #3: Commit 31a5385 pushed by hanjoosten
December 26, 2023 16:58 29s master
December 26, 2023 16:58 29s
date of today
Deploy to github pages #2: Commit e543122 pushed by hanjoosten
December 26, 2023 15:41 32s master
December 26, 2023 15:41 32s
add deployment workflow
Deploy to github pages #1: Commit 443ca78 pushed by hanjoosten
December 26, 2023 15:30 33s master
December 26, 2023 15:30 33s