Skip to content

Actions: mimuw-jnp2-rust/mimuw-jnp2-rust.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
115 workflow runs
115 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #59: by github-pages bot
October 20, 2024 08:29 41s gh-pages
gh-pages
October 20, 2024 08:29 41s
run prettier Run linters and formatters #187: Commit e2a6e88 pushed by wprzytula
October 20, 2024 08:28 28s main
main
October 20, 2024 08:28 28s
run prettier Publish to GitHub Pages #63: Commit e2a6e88 pushed by wprzytula
October 20, 2024 08:28 33s main
main
October 20, 2024 08:28 33s
05 - extend generics example Run linters and formatters #186: Pull request #68 synchronize by wprzytula
October 20, 2024 07:47 25s wp
wp
October 20, 2024 07:47 25s
05 - extend generics example Run linters and formatters #185: Pull request #68 opened by wprzytula
October 20, 2024 07:44 26s wp
wp
October 20, 2024 07:44 26s
pages build and deployment pages-build-deployment #58: by github-pages bot
October 18, 2024 18:17 1m 2s gh-pages
gh-pages
October 18, 2024 18:17 1m 2s
03: new link to assignment 2 Publish to GitHub Pages #62: Commit b818f56 pushed by wprzytula
October 18, 2024 18:16 50s main
main
October 18, 2024 18:16 50s
03: new link to assignment 2 Run linters and formatters #184: Commit b818f56 pushed by wprzytula
October 18, 2024 18:16 33s main
main
October 18, 2024 18:16 33s
New link to assignment 2 Run linters and formatters #183: Pull request #67 opened by wprzytula
October 18, 2024 18:16 36s wp
wp
October 18, 2024 18:16 36s
pages build and deployment pages-build-deployment #57: by github-pages bot
October 17, 2024 06:52 49s gh-pages
gh-pages
October 17, 2024 06:52 49s
announce assignment 2 Publish to GitHub Pages #61: Commit b837efc pushed by wprzytula
October 17, 2024 06:51 29s main
main
October 17, 2024 06:51 29s
announce assignment 2 Run linters and formatters #182: Commit b837efc pushed by wprzytula
October 17, 2024 06:51 29s main
main
October 17, 2024 06:51 29s
Assignment 2 + scenario 3 improvements Run linters and formatters #181: Pull request #66 opened by wprzytula
October 17, 2024 06:51 23s wp
wp
October 17, 2024 06:51 23s
pages build and deployment pages-build-deployment #56: by github-pages bot
October 10, 2024 07:33 45s gh-pages
gh-pages
October 10, 2024 07:33 45s
add slides about panicking and string formatting Publish to GitHub Pages #60: Commit dc8593c pushed by wprzytula
October 10, 2024 07:32 29s main
main
October 10, 2024 07:32 29s
add slides about panicking and string formatting Run linters and formatters #180: Commit dc8593c pushed by wprzytula
October 10, 2024 07:32 29s main
main
October 10, 2024 07:32 29s
Assignment 1, panicking & string formatting slides Run linters and formatters #179: Pull request #65 opened by wprzytula
October 10, 2024 07:32 31s wp
wp
October 10, 2024 07:32 31s
pages build and deployment pages-build-deployment #55: by github-pages bot
October 8, 2024 18:42 41s gh-pages
gh-pages
October 8, 2024 18:42 41s
mention: GC does not prevent concurrency errors Publish to GitHub Pages #59: Commit 90bbb24 pushed by wprzytula
October 8, 2024 18:41 27s main
main
October 8, 2024 18:41 27s
mention: GC does not prevent concurrency errors Run linters and formatters #178: Commit 90bbb24 pushed by wprzytula
October 8, 2024 18:41 28s main
main
October 8, 2024 18:41 28s
Lesson updates Run linters and formatters #177: Pull request #64 opened by wprzytula
October 8, 2024 18:39 28s wp
wp
October 8, 2024 18:39 28s
pages build and deployment pages-build-deployment #54: by github-pages bot
October 2, 2024 18:50 37s gh-pages
gh-pages
October 2, 2024 18:50 37s
lessons: fix TODO lesson dates Run linters and formatters #176: Commit deb1269 pushed by wprzytula
October 2, 2024 18:49 30s main
main
October 2, 2024 18:49 30s
lessons: fix TODO lesson dates Publish to GitHub Pages #58: Commit deb1269 pushed by wprzytula
October 2, 2024 18:49 23s main
main
October 2, 2024 18:49 23s
lessons: fix TODO lesson dates Run linters and formatters #175: Pull request #63 opened by wprzytula
October 2, 2024 18:49 22s wp
wp
October 2, 2024 18:49 22s