Failing build does not mark the workflow as failed

I found it here: https://github.com/JuliaSmoothOptimizers/JSOTutorials.jl/runs/7799287519?check_suite_focus=true#step:4:112
The build step does not fail if something goes wrong (will open an issue), but there was a problem building this.

_Originally posted by @abelsiqueira in https://github.com/JuliaSmoothOptimizers/JSOTutorials.jl/issues/20#issuecomment-1212779857_

Comienza con la ejecución enlazada del workflow de GitHub Actions, especialmente con el paso 4 en la ubicación de registro indicada, e inspecciona la configuración del workflow que invoca el build. Reproduce el build que falla y verifica que un error de build haga que el workflow se marque como fallido en lugar de exitoso.

Escrito por el modelo de indexación a partir del texto del issue.