Skip to content

Actions: hanjoosten/HaskellWorkshop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #21: by github-pages bot
March 10, 2024 10:53 27s gh-pages
gh-pages
March 10, 2024 10:53 27s
Add Either type (error handling) Deploy to github pages #16: Commit 58db6e0 pushed by hanjoosten
March 10, 2024 10:53 19s master
master
March 10, 2024 10:53 19s
pages build and deployment pages-build-deployment #20: by github-pages bot
March 9, 2024 13:04 23s gh-pages
gh-pages
March 9, 2024 13:04 23s
Dan's changes Deploy to github pages #15: Commit 4ebfcbb pushed by hanjoosten
March 9, 2024 13:04 18s master
master
March 9, 2024 13:04 18s
pages build and deployment pages-build-deployment #19: by hanjoosten
March 9, 2024 12:48 21s gh-pages
gh-pages
March 9, 2024 12:48 21s
pages build and deployment pages-build-deployment #18: by github-pages bot
February 19, 2024 12:40 34s gh-pages
gh-pages
February 19, 2024 12:40 34s
fix slide 140 Deploy to github pages #14: Commit 5faaa4c pushed by hanjoosten
February 19, 2024 12:39 22s master
master
February 19, 2024 12:39 22s
pages build and deployment pages-build-deployment #17: by github-pages bot
February 15, 2024 20:12 31s gh-pages
gh-pages
February 15, 2024 20:12 31s
All examples work again Deploy to github pages #13: Commit b47bf6e pushed by hanjoosten
February 15, 2024 20:12 22s master
master
February 15, 2024 20:12 22s
pages build and deployment pages-build-deployment #16: by github-pages bot
February 12, 2024 09:30 30s gh-pages
gh-pages
February 12, 2024 09:30 30s
wip Deploy to github pages #12: Commit 13ba7b5 pushed by hanjoosten
February 12, 2024 09:30 20s master
master
February 12, 2024 09:30 20s
pages build and deployment pages-build-deployment #15: by github-pages bot
February 11, 2024 20:49 37s gh-pages
gh-pages
February 11, 2024 20:49 37s
Up to sheet 77 Deploy to github pages #11: Commit 5990d58 pushed by hanjoosten
February 11, 2024 20:48 24s master
master
February 11, 2024 20:48 24s
pages build and deployment pages-build-deployment #14: by github-pages bot
February 11, 2024 18:34 28s gh-pages
gh-pages
February 11, 2024 18:34 28s
WIP Deploy to github pages #10: Commit 7191b0b pushed by hanjoosten
February 11, 2024 18:33 18s master
master
February 11, 2024 18:33 18s
pages build and deployment with artifacts-next pages-build-deployment #13: by github-pages bot
January 28, 2024 16:41 29s gh-pages
gh-pages
January 28, 2024 16:41 29s
Make H1 visible Deploy to github pages #9: Commit acd4634 pushed by hanjoosten
January 28, 2024 16:40 23s master
master
January 28, 2024 16:40 23s
pages build and deployment with artifacts-next pages-build-deployment #12: by github-pages bot
January 28, 2024 16:35 27s gh-pages
gh-pages
January 28, 2024 16:35 27s
Deploy english slides Deploy to github pages #8: Commit d6df7d4 pushed by hanjoosten
January 28, 2024 16:35 21s master
master
January 28, 2024 16:35 21s
pages build and deployment with artifacts-next pages-build-deployment #11: by github-pages bot
January 28, 2024 13:01 26s gh-pages
gh-pages
January 28, 2024 13:01 26s
adapt makefile to English Deploy to github pages #7: Commit e67182f pushed by hanjoosten
January 28, 2024 13:00 24s master
master
January 28, 2024 13:00 24s
pages build and deployment with artifacts-next pages-build-deployment #10: by github-pages bot
January 28, 2024 12:53 31s gh-pages
gh-pages
January 28, 2024 12:53 31s
Back to English slides Deploy to github pages #6: Commit 5db7524 pushed by hanjoosten
January 28, 2024 12:52 22s master
master
January 28, 2024 12:52 22s
pages build and deployment pages-build-deployment #9: by github-pages bot
December 26, 2023 17:11 27s gh-pages
gh-pages
December 26, 2023 17:11 27s
need index.html Deploy to github pages #5: Commit d9f3478 pushed by hanjoosten
December 26, 2023 17:10 25s master
master
December 26, 2023 17:10 25s