Skip to content
Create a GitHub release once a release PR is merged

build: Remove an explicit swig option -ruby #647

Sign in to view logs

build: Remove an explicit swig option -ruby

build: Remove an explicit swig option -ruby #647

Triggered via pull request October 23, 2024 03:37
@konturakontura
closed #1795
ppisar:duplicate_swig_ruby_option
Status Skipped
Total duration 3s
Artifacts –

do-release.yaml

on: pull_request
if_merged
0s
if_merged
Fit to window
Zoom out
Zoom in