Repository navigation

[WIP DNM] try github actions for build checks - #640

Open

bgoglin wants to merge 9 commits into

open-mpi:masterfrom

bgoglin:github-actions

Open

[WIP DNM] try github actions for build checks#640
bgoglin wants to merge 9 commits into
open-mpi:masterfrom
bgoglin:github-actions

Commits on Nov 28, 2023
- WIP remove JenkinsStuff to avoid useless runs there
  bgoglin
  committed
  aee8abb
- .github/workflows: add a quick draft of make distcheck
  bgoglin
  committed
  f6936e5
- .github/workflows: reuse the jenkins job-1-check.sh script
  bgoglin
  committed
  802b026
- use a sparse checkout of the main repo to get the script
  bgoglin
  committed
  427cafa
- add runner self hosted on Inria CI cloud
  bgoglin
  committed
  555b00a
Commits on Nov 29, 2023
- install w3m to generate the uptodate readme in the tarball
  bgoglin
  committed
  fb7772d
- reuse ci.inria.fr job-0-tarball.sh
  bgoglin
  committed
  e3c7155
- build the tarball name for GITHUB_REF
  bgoglin
  committed
  be0063d
- debug
  bgoglin
  committed
  e61c72d