Add Boris' video, remove placeholder video, make video skippable #10

Triggered via push September 16, 2023 13:51

master

Status Success

Total duration 1m 7s

Artifacts 1

deploy-github-pages.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	42.2 MB