gist:b1f303426e51f8509a0b

// Processing motion blur
// 'time' runs from 0 to 1
// ignore everything above the /////////
// by Dave @ beesandbombs

int[][] result;
float time;

void setup() {
  setup_();

Fleshgrinder

#!/usr/bin/env bash
set -Eeuo pipefail

# There is no button in the interface of GitHub (and as it seems also no API) with which workflows can be deleted.
# They are eventually removed automatically, but in case you want to clean up your Actions UI it is sometimes nice
# to have the possibility to get rid of workflows that are not required anymore. This interactive script allows you
# to achieve exactly that by deleting each individual run of a workflow, after which GitHub deletes the workflow.

declare -ir CONCURRENCY=${CONCURRENCY:-8}