Skip to content
Back to pull request #921

Set igncr using BASH_ENV instead of SHELLOPTS #4192

Sign in to view logs

Set igncr using BASH_ENV instead of SHELLOPTS

Set igncr using BASH_ENV instead of SHELLOPTS #4192

Re-run triggered January 8, 2025 23:41
@smorimotosmorimoto
#921
tobil4sk:fix/bash-SHELLOPTS-behaviour
Status Success
Total duration 5m 9s
Artifacts –

workflow.yml

on: pull_request
Hygiene
40s
Hygiene
Matrix: Test
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Hygiene
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
Test (ubuntu-latest, 5.2, true)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
Test (ubuntu-latest, ocaml-variants.5.2.1+options,ocaml-option-flambda, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
Test (ubuntu-latest, 5.2, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636