We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 33c0e50 commit 9a08bafCopy full SHA for 9a08baf
.github/workflows/build.yml
@@ -79,6 +79,19 @@ jobs:
79
sudo apt-get update -y
80
sudo apt-get install -y qemu-system-x86 qemu-system-arm
81
opam install dune
82
+ - name: Work around a bug in released OCaml/Unikraft
83
+ run: |
84
+ mkdir -p "$HOME/.local/bin"
85
+ echo "$HOME/.local/bin" >> "$GITHUB_PATH"
86
+ git="$HOME/.local/bin/git"
87
+ printf '#!/bin/sh\ngit=%s\n' "$(which git)" > "$git"
88
+ printf 'case "$1" in\n' >> "$git"
89
+ printf ' apply) exec "$git" --work-tree=. "$@" ;;\n' >> "$git"
90
+ printf ' *) exec "$git" "$@" ;;\nesac' >> "$git"
91
+ chmod +x "$git"
92
+ set -x
93
+ cat "$git"
94
+ if: ${{ matrix.ocukver == '1.0.0' }}
95
- name: Install arch-specific packages
96
run: |
97
opam install \
0 commit comments