Mark Elvers

Results 40 issues of Mark Elvers

Update VMKeystrokes.ps1 to allow a full range of modifiers such as alt-f4 and control-alt-delete. The syntax is now similar to Windows Script Host's SendKeys.

The sqlite3 package needs to be updated to build under opam 2.2.0-rc1. See https://github.com/mmottl/sqlite3-ocaml/pull/61. Once the build has been updated, this PR add the support for opam-repository on Windows.

Upgrade ARM64 workers to Ubuntu 24.04 Noble - [x] ainia.caelum.ci.dev - [x] arm64-jade-1.equinix.ci.dev - [ ] arm64-jade-2.equinix.ci.dev - [ ] kydoime.caelum.ci.dev - [ ] molpadia.caelum.ci.dev - [ ] okypous.caelum.ci.dev

@avsm Please can you update the IPv6 address for watch.ocaml.org. The new AAAA record should be `2001:bc8:4748:202::1` This is a recurrence of https://github.com/ocaml/infrastructure/issues/75. I updated the OS from Ubuntu 20.04...

The ocluster scheduler is running on a Debian Buster VM. Debian Buster is EOL today. Fortunately, this version is not vulnerable to [cve-2024-6387](https://www.qualys.com/2024/07/01/cve-2024-6387/regresshion.txt) as it is running OpenSSH_7.9p1.

Upgrade POWER9 workers to Ubuntu 24.04 Noble - [x] orithia.caelum.ci.dev - [ ] scyleia.caelum.ci.dev

v2.ocaml.org is now a redirect to ocaml.org.

Some job [logs](https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/f12b879ae1078937c1960a7d9b6952aa811edb15/variant/freebsd,freebsd-ocaml-4.14-amd64,ppx_deriving_variant_string.1.0.1) report `RPC failed`. ``` 2024-05-16 06:53.54: Waiting for worker… 2024-05-16 06:53.54: Got resource from pool OCluster Building on summer error: RPC failed; HTTP 400 curl 22 The...

It would be very helpful if an environment variable could be used to configure the location of the `$OPAMROOT/download-cache`. Currently, `download-cache` is hardcoded. https://github.com/ocaml/opam/blob/d5d6dddc40d9baad9c6e774074a97820ffbc4851/src/repository/opamRepositoryPath.ml#L18 In `obuilder`, we persist the opam...

KIND: FEATURE WISH
AREA: PORTABILITY

This PR allows a private registry to be used rather than always pushing to Docker Hub.