Github actions related to compilation or code correctness (build, DifferentialShellcheck) should not be executed on documentation changes

[sarroutbi]

It does not make sense to execute whole build process when only documentation is changed. An example: https://github.com/latchset/clevis/actions/runs/5042732499

I suggest build and Differential Shellcheck Github actions execution for changes that are not exclusive related to documentation, more in particular for Markdown documentation, as .adoc files should be compiled to check correctness. For this matter, paths-ignore in Github actions should be used:

When all the path names match patterns in paths-ignore, the workflow will not run.
If any path names do not match patterns in paths-ignore, even if some path names match the patterns,
the workflow will run.