forked from ofiwg/libfabric
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[v1.15.x] github/actions: Synchronize with main
Actions are failing on the branch due to out-of-date settings. Signed-off-by: Jianxin Xiong <[email protected]>
- Loading branch information
Showing
7 changed files
with
72 additions
and
56 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -9,7 +9,6 @@ env: | |
abi-dumper | ||
build-essential | ||
debhelper | ||
dh-systemd | ||
fakeroot | ||
gcc | ||
git | ||
|
@@ -21,7 +20,7 @@ env: | |
ninja-build | ||
pandoc | ||
pkg-config | ||
python | ||
python-is-python3 | ||
rpm | ||
sparse | ||
valgrind | ||
|
@@ -37,17 +36,18 @@ env: | |
--enable-udp | ||
--enable-usnic | ||
--enable-verbs=rdma-core/build | ||
--enable-sm2 | ||
RDMA_CORE_PATH: 'rdma-core/build' | ||
RDMA_CORE_VERSION: v34.1 | ||
jobs: | ||
coverity: | ||
runs-on: ubuntu-18.04 | ||
runs-on: ubuntu-20.04 | ||
steps: | ||
- name: Install dependencies (Linux) | ||
run: | | ||
sudo apt-get update | ||
sudo apt-get install -y ${{ env.APT_PACKAGES }} | ||
- uses: actions/checkout@v2 | ||
- uses: actions/checkout@v4 | ||
- name: Download Coverity tools | ||
run: | | ||
wget https://scan.coverity.com/download/linux64 --post-data "token=${{ secrets.COVERITY_SCAN_TOKEN }}&project=ofiwg%2Flibfabric" -O coverity_tool.tgz | ||
|
@@ -78,13 +78,13 @@ jobs: | |
tar czvf libfabric.tgz cov-int | ||
curl \ | ||
--form token=${{ secrets.COVERITY_SCAN_TOKEN }} \ | ||
--form email=[email protected] \ | ||
--form email=[email protected] \ | ||
--form [email protected] \ | ||
--form version="main" \ | ||
--form description="`$PWD/install/bin/fi_info -l`" \ | ||
https://scan.coverity.com/builds?project=ofiwg%2Flibfabric | ||
- name: Upload build logs | ||
uses: actions/upload-artifact@v2 | ||
uses: actions/upload-artifact@v3 | ||
with: | ||
name: coverity-build-log.txt | ||
path: cov-int/build-log.txt |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -44,6 +44,10 @@ for file in `ls man/*.md`; do | |
perl config/md2nroff.pl --source=$file | ||
done | ||
|
||
for file in `ls fabtests/man/*.md`; do | ||
perl config/md2nroff.pl --source=$file | ||
done | ||
|
||
git config --global user.name "OFIWG Bot" | ||
git config --global user.email "[email protected]" | ||
|
||
|
@@ -63,7 +67,7 @@ fi | |
# Yes, we committed something. Push the branch and make a PR. | ||
# Extract the PR number. | ||
git push --set-upstream origin $branch_name | ||
url=`hub pull-request -b $BASE_REF -m 'Update nroff-generated man pages'` | ||
url=`gh pr create --base $BASE_REF --title 'Update nroff-generated man pages' --body ''` | ||
pr_num=`echo $url | cut -d/ -f7` | ||
|
||
# Wait for the required "DCO" CI to complete | ||
|
@@ -76,9 +80,9 @@ echo "Waiting up to $max_seconds seconds for DCO CI to complete..." | |
while test $i -lt $i_max; do | ||
date | ||
set +e | ||
status=`hub ci-status --format "%t %S%n" | egrep '^DCO' | awk '{ print $2 }'` | ||
status=`gh pr checks | egrep '^DCO' | awk '{ print $2 }'` | ||
set -e | ||
if test "$status" = "success"; then | ||
if test "$status" = "pass"; then | ||
echo "DCO CI is complete!" | ||
break | ||
fi | ||
|
@@ -88,12 +92,15 @@ done | |
|
||
status=0 | ||
if test $i -lt $i_max; then | ||
# Sadly, there is no "hub" command to merge a PR. So do it by | ||
# hand. | ||
curl \ | ||
-XPUT \ | ||
-H "Authorization: token $GITHUB_TOKEN" \ | ||
https://api.github.com/repos/$GITHUB_REPOSITORY/pulls/$pr_num/merge | ||
# rebase the commit onto the base branch | ||
gh pr merge $pr_num -r | ||
|
||
# command to do it by hand when "hub" was used which didn't have command | ||
# to merge a PR. keep it here for reference. | ||
#curl \ | ||
# -XPUT \ | ||
# -H "Authorization: token $GITHUB_TOKEN" \ | ||
# https://api.github.com/repos/$GITHUB_REPOSITORY/pulls/$pr_num/merge | ||
else | ||
echo "Sad panda; DCO CI didn't complete -- did not merge $url" | ||
status=1 | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters