From 2b1255250d31dfbcf8bfc821a25e323d7b8b0f6f Mon Sep 17 00:00:00 2001 From: Mark Raynsford Date: Thu, 16 May 2024 19:58:35 +0000 Subject: [PATCH] Update workflows. --- .github/workflows/deploy-release.sh | 5 +++ .github/workflows/run-with-xvfb.sh | 66 ++++++++++++++++++++++++++++ .github/workflows/wallpaper.png | Bin 0 -> 1421 bytes 3 files changed, 71 insertions(+) create mode 100755 .github/workflows/run-with-xvfb.sh create mode 100644 .github/workflows/wallpaper.png diff --git a/.github/workflows/deploy-release.sh b/.github/workflows/deploy-release.sh index 5cd95a0..5f179dd 100755 --- a/.github/workflows/deploy-release.sh +++ b/.github/workflows/deploy-release.sh @@ -27,6 +27,11 @@ fi xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/SETTINGS/1.0.0 http://maven.apache.org/xsd/settings-1.0.0.xsd"> + + + io7m-oci-image + + io7m diff --git a/.github/workflows/run-with-xvfb.sh b/.github/workflows/run-with-xvfb.sh new file mode 100755 index 0000000..bc9a745 --- /dev/null +++ b/.github/workflows/run-with-xvfb.sh @@ -0,0 +1,66 @@ +#!/bin/bash -ex +# +# Automatically generated: DO NOT EDIT. +# +# Generation code: https://www.github.com/io7m-com/.github/ +# + +exec > >(tee build.txt) 2>&1 + +#--------------------------------------------------------------------- +# Install all of the various required packages. +# +# We use: +# xvfb to provide a virtual X server +# fluxbox to provide a bare-minimum window manager with click-to-focus +# ffmpeg to record the session +# feh to set a background +# + +sudo apt-get -y update +sudo apt-get -y upgrade +sudo apt-get -y install xvfb fluxbox feh ffmpeg + +#--------------------------------------------------------------------- +# Start Xvfb on a new display. +# + +Xvfb :99 & +export DISPLAY=:99 +sleep 1 + +#--------------------------------------------------------------------- +# Start recording the session. +# + +ffmpeg -f x11grab -y -r 60 -video_size 1280x1024 -i :99 -vcodec vp9 test-suite.webm & +FFMPEG_PID="$!" + +#--------------------------------------------------------------------- +# Start fluxbox on the X server. +# + +fluxbox & +sleep 1 + +#--------------------------------------------------------------------- +# Set a desktop image. +# + +feh --bg-tile .github/workflows/wallpaper.png +sleep 1 + +#--------------------------------------------------------------------- +# Execute the passed-in build command. +# + +"$@" + +#--------------------------------------------------------------------- +# Wait a while, and then instruct ffmpeg to stop recording. This step +# is necessary because video files need to be processed when recording +# stops. +# + +sleep 20 +kill -INT "${FFMPEG_PID}" || true diff --git a/.github/workflows/wallpaper.png b/.github/workflows/wallpaper.png new file mode 100644 index 0000000000000000000000000000000000000000..02f437ef5d26759f219c247a30f5619c2a495f2a GIT binary patch literal 1421 zcmeAS@N?(olHy`uVBq!ia0y~yU<5K5893O0R7}x|GzJFN5KkA!kcwMx?;1{eY$o6k zXyS1H#P*MjHUIB8SWn1eo^CGTnG^J+`lg$f&=GaRGRBY3|{DUajo*=WnBA;`2Z3thLy_#Qrpu)j8A{hxcs$we ze&Bur%Yt{8iz{!OlVD_7@Z|G+W4>-I2?1B)IB>mC??B|~nuUAcy}hN)@F&0}=Gl+c zXSU2-rAkU-0;N0>(jI0)-IHI;eNNLj`t+VtMS zHM$;s{m}Q`{S14I3zD$U;&7@z)B%ex($*$*geOlOffSM`YDNl}d%>v;)v-Uh4S4M(0F@y73#24i-G zoChaD=WXn|-x;>;Wu`AfmCg2|*1gYC^?%L1VQUt8J!l6@$F<$P(l_6;2Jf^k=-GIm zTX#{(M1 zMd!Y6-}AdvcW>zWsoRzF?!5S0Y0$y-;a7|0;p^@>w{M>>a*-*!bg}Ho+2TFI;gM}M muQ%re@|mlVk-&EU7Jv9MXl`0~Z4I!PW$<+Mb6Mw<&;$Uf%=%9N literal 0 HcmV?d00001