GitHub - Opsian/opsian-irmin-docker: Docker scripts for running irmin benchmarks with opsian

Name	Name	Last commit message	Last commit date
Latest commit RichardWarburton Add run script Nov 19, 2021 6d6deb5 · Nov 19, 2021 History 5 Commits
Dockerfile	Dockerfile	Add core dumps to the irmin docker container	Nov 19, 2021
bench.sh	bench.sh	Add core dumps to the irmin docker container	Nov 19, 2021
build.sh	build.sh	Get irmin + opsian to build	Aug 25, 2021
irmin.patch	irmin.patch	get irmin bench built with opsian	Aug 25, 2021
run-irmin-bench.sh	run-irmin-bench.sh	Add run script	Nov 19, 2021