Skip to content

Actions: ps-tuebingen/informatik-1-skript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #31: by github-pages bot
February 5, 2024 15:42 56s
February 5, 2024 15:42 56s
Fix typo in filter function Publish PDF Skript #55: Commit c8876de pushed by mm0821
February 5, 2024 15:41 2m 33s master
master
February 5, 2024 15:41 2m 33s
Fix typo in filter function Publish GH Page #64: Commit c8876de pushed by mm0821
February 5, 2024 15:41 1m 5s master
master
February 5, 2024 15:41 1m 5s
pages build and deployment pages-build-deployment #30: by github-pages bot
January 12, 2024 01:17 31s
January 12, 2024 01:17 31s
Make explanation consistent with last case of match example Publish GH Page #63: Commit a8fffda pushed by mm0821
January 12, 2024 01:16 57s master
master
January 12, 2024 01:16 57s
Make explanation consistent with last case of match example Publish PDF Skript #54: Commit a8fffda pushed by mm0821
January 12, 2024 01:16 2m 56s master
master
January 12, 2024 01:16 2m 56s
pages build and deployment pages-build-deployment #29: by github-pages bot
December 12, 2023 10:04 35s
December 12, 2023 10:04 35s
link to signatures Publish PDF Skript #53: Commit ecfc3b8 pushed by klauso
December 12, 2023 10:04 2m 44s master
master
December 12, 2023 10:04 2m 44s
link to signatures Publish GH Page #62: Commit ecfc3b8 pushed by klauso
December 12, 2023 10:04 54s master
master
December 12, 2023 10:04 54s
pages build and deployment pages-build-deployment #28: by github-pages bot
December 5, 2023 16:21 41s
December 5, 2023 16:21 41s
Small fix to question Publish PDF Skript #52: Commit 493f611 pushed by BinderDavid
December 5, 2023 16:20 3m 4s master
master
December 5, 2023 16:20 3m 4s
Small fix to question Publish GH Page #61: Commit 493f611 pushed by BinderDavid
December 5, 2023 16:20 1m 21s master
master
December 5, 2023 16:20 1m 21s
pages build and deployment pages-build-deployment #27: by github-pages bot
December 5, 2023 16:09 37s
December 5, 2023 16:09 37s
Slight revisions to quizzes in sec. 1 Publish PDF Skript #51: Commit 5b473f6 pushed by BinderDavid
December 5, 2023 16:08 2m 59s master
master
December 5, 2023 16:08 2m 59s
Slight revisions to quizzes in sec. 1 Publish GH Page #60: Commit 5b473f6 pushed by BinderDavid
December 5, 2023 16:08 1m 23s master
master
December 5, 2023 16:08 1m 23s
pages build and deployment pages-build-deployment #26: by github-pages bot
December 5, 2023 15:48 34s
December 5, 2023 15:48 34s
Merge pull request #4 from fkellner/master Publish PDF Skript #50: Commit 761f2d6 pushed by BinderDavid
December 5, 2023 15:47 3m 11s master
master
December 5, 2023 15:47 3m 11s
Merge pull request #4 from fkellner/master Publish GH Page #59: Commit 761f2d6 pushed by BinderDavid
December 5, 2023 15:47 55s master
master
December 5, 2023 15:47 55s
pages build and deployment pages-build-deployment #25: by github-pages bot
December 1, 2023 13:38 35s
December 1, 2023 13:38 35s
Use built-in False signature Publish PDF Skript #49: Commit ed1352c pushed by mm0821
December 1, 2023 13:37 3m 3s master
master
December 1, 2023 13:37 3m 3s
Use built-in False signature Publish GH Page #58: Commit ed1352c pushed by mm0821
December 1, 2023 13:37 53s master
master
December 1, 2023 13:37 53s
pages build and deployment pages-build-deployment #24: by github-pages bot
November 27, 2023 10:52 36s
November 27, 2023 10:52 36s
formal sig example for rec types Publish PDF Skript #48: Commit 56d8a04 pushed by klauso
November 27, 2023 10:51 2m 30s master
master
November 27, 2023 10:51 2m 30s
formal sig example for rec types Publish GH Page #57: Commit 56d8a04 pushed by klauso
November 27, 2023 10:51 55s master
master
November 27, 2023 10:51 55s
pages build and deployment pages-build-deployment #23: by github-pages bot
November 25, 2023 14:41 31s
November 25, 2023 14:41 31s