Skip to content

Actions: wvhulle/wvhulle.github.io

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

improve trait objects
Deploy static SvelteKit content to Pages #72: Commit cf9522b pushed by otiv-willem-vanhulle
October 14, 2024 14:16 48s main
October 14, 2024 14:16 48s
improve question layout
Deploy static SvelteKit content to Pages #71: Commit 1f87716 pushed by otiv-willem-vanhulle
October 14, 2024 13:25 50s main
October 14, 2024 13:25 50s
improve font size
Deploy static SvelteKit content to Pages #70: Commit 3bb3f46 pushed by otiv-willem-vanhulle
October 14, 2024 12:00 52s main
October 14, 2024 12:00 52s
improve info pointers and add example async
Deploy static SvelteKit content to Pages #69: Commit 45e5fb2 pushed by wvhulle
October 13, 2024 19:29 53s main
October 13, 2024 19:29 53s
fix syntax error
Deploy static SvelteKit content to Pages #68: Commit 48057ee pushed by wvhulle
October 13, 2024 12:54 48s main
October 13, 2024 12:54 48s
improve ownership
Deploy static SvelteKit content to Pages #67: Commit ae4aa35 pushed by wvhulle
October 12, 2024 13:50 48s main
October 12, 2024 13:50 48s
add info generic types
Deploy static SvelteKit content to Pages #66: Commit f9f270b pushed by otiv-willem-vanhulle
October 11, 2024 13:42 30s main
October 11, 2024 13:42 30s
add information lifetimes
Deploy static SvelteKit content to Pages #65: Commit 3fae746 pushed by otiv-willem-vanhulle
October 11, 2024 12:37 53s main
October 11, 2024 12:37 53s
add information coroutines
Deploy static SvelteKit content to Pages #64: Commit 5675670 pushed by otiv-willem-vanhulle
October 11, 2024 11:24 3m 7s main
October 11, 2024 11:24 3m 7s
put in code blocks
Deploy static SvelteKit content to Pages #63: Commit c2f4e00 pushed by otiv-willem-vanhulle
October 11, 2024 09:38 26s main
October 11, 2024 09:38 26s
add advanced stuff
Deploy static SvelteKit content to Pages #62: Commit 9d91a50 pushed by wvhulle
October 10, 2024 21:01 28s main
October 10, 2024 21:01 28s
improve sections on deep learning and proof assistants
Deploy static SvelteKit content to Pages #61: Commit ee02a8b pushed by wvhulle
July 13, 2024 16:04 53s main
July 13, 2024 16:04 53s
simplify
Deploy static SvelteKit content to Pages #60: Commit 9bb13fa pushed by wvhulle
July 11, 2024 19:39 53s main
July 11, 2024 19:39 53s
Fix small typos
Deploy static SvelteKit content to Pages #59: Commit 8c8f253 pushed by otiv-willem-vanhulle
July 8, 2024 20:24 53s main
July 8, 2024 20:24 53s
improve start and about
Deploy static SvelteKit content to Pages #58: Commit 2c22fa4 pushed by otiv-willem-vanhulle
July 8, 2024 19:29 3m 16s main
July 8, 2024 19:29 3m 16s
Improve projects section
Deploy static SvelteKit content to Pages #57: Commit b40c45e pushed by wvhulle
June 29, 2024 15:36 47s main
June 29, 2024 15:36 47s
turn historical overview into a table
Deploy static SvelteKit content to Pages #56: Commit 9eac3b8 pushed by wvhulle
June 8, 2024 19:46 56s main
June 8, 2024 19:46 56s
history of reactive programming
Deploy static SvelteKit content to Pages #55: Commit 6b49ad0 pushed by wvhulle
May 1, 2024 19:33 59s main
May 1, 2024 19:33 59s
improve reactivity
Deploy static SvelteKit content to Pages #54: Commit a432a2d pushed by wvhulle
April 23, 2024 20:43 54s main
April 23, 2024 20:43 54s
fix link
Deploy static SvelteKit content to Pages #53: Commit 7cf2f30 pushed by wvhulle
April 23, 2024 19:30 53s main
April 23, 2024 19:30 53s
upgrade node version
Deploy static SvelteKit content to Pages #52: Commit e8049d0 pushed by wvhulle
April 23, 2024 19:22 31s main
April 23, 2024 19:22 31s
improve monads and observables
Deploy static SvelteKit content to Pages #51: Commit 732091c pushed by wvhulle
April 21, 2024 19:32 18s main
April 21, 2024 19:32 18s
fix spelling mistake
Deploy static SvelteKit content to Pages #50: Commit c11df40 pushed by wvhulle
April 4, 2024 08:07 48s main
April 4, 2024 08:07 48s
remove base
Deploy static SvelteKit content to Pages #49: Commit 49ef0e7 pushed by wvhulle
January 29, 2024 12:31 43s main
January 29, 2024 12:31 43s
remove wvhulle prefix
Deploy static SvelteKit content to Pages #48: Commit 2aee7e8 pushed by wvhulle
January 29, 2024 12:29 48s main
January 29, 2024 12:29 48s