Skip to content

Merge branch 'master' into server-api #4471

Merge branch 'master' into server-api

Merge branch 'master' into server-api #4471

Triggered via push September 3, 2024 03:23
Status Success
Total duration 49m 18s
Artifacts

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
macos-amd64-evmc
Refusing to link macOS provided/shadowed software: gnu-getopt If you need to have gnu-getopt first in your PATH, run: echo 'export PATH="/usr/local/opt/gnu-getopt/bin:$PATH"' >> /Users/runner/.bash_profile
macos-amd64-nimvm
Refusing to link macOS provided/shadowed software: gnu-getopt If you need to have gnu-getopt first in your PATH, run: echo 'export PATH="/usr/local/opt/gnu-getopt/bin:$PATH"' >> /Users/runner/.bash_profile