Skip to content
Tests

Add comprehensive GitHub Copilot instructions for Rodin finite element framework #592

Sign in to view logs

Add comprehensive GitHub Copilot instructions for Rodin finite element framework

Add comprehensive GitHub Copilot instructions for Rodin finite element framework #592

Re-run triggered August 20, 2025 23:22
@cbritopachecocbritopacheco
#108
copilot/fix-107
Status Success
Total duration 12m 39s
Artifacts –

Tests.yml

on: pull_request
Matrix: Ubuntu
Fit to window
Zoom out
Zoom in

Annotations

40 warnings
Ubuntu (ubuntu-latest, gcc-10, Debug, ON): third-party/ISCD/Mshdist/sources/mshdistexterns.c#L8
‘iniencdomain’ initialized and declared ‘extern’
Ubuntu (ubuntu-latest, gcc-10, Debug, ON): third-party/ISCD/Mshdist/sources/mshdistexterns.c#L7
‘iniredist’ initialized and declared ‘extern’
Ubuntu (ubuntu-latest, gcc-10, Debug, ON): third-party/ISCD/Mshdist/sources/mshdistexterns.c#L6
‘inidistpcloud’ initialized and declared ‘extern’
Ubuntu (ubuntu-latest, gcc-10, Debug, ON): third-party/ISCD/Mshdist/sources/mshdistexterns.c#L5
‘inidist’ initialized and declared ‘extern’
Ubuntu (ubuntu-latest, gcc-10, Debug, ON): third-party/ISCD/Mshdist/sources/mshdistexterns.c#L4
‘closept’ initialized and declared ‘extern’
Ubuntu (ubuntu-latest, gcc-10, Debug, ON): third-party/ISCD/Mshdist/sources/mshdistexterns.c#L3
‘newBucket’ initialized and declared ‘extern’
Ubuntu (ubuntu-latest, gcc-10, Debug, ON): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Debug, ON): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Debug, ON): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Debug, ON): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Debug, OFF): third-party/ISCD/Mshdist/sources/mshdistexterns.c#L8
‘iniencdomain’ initialized and declared ‘extern’
Ubuntu (ubuntu-latest, gcc-10, Debug, OFF): third-party/ISCD/Mshdist/sources/mshdistexterns.c#L7
‘iniredist’ initialized and declared ‘extern’
Ubuntu (ubuntu-latest, gcc-10, Debug, OFF): third-party/ISCD/Mshdist/sources/mshdistexterns.c#L6
‘inidistpcloud’ initialized and declared ‘extern’
Ubuntu (ubuntu-latest, gcc-10, Debug, OFF): third-party/ISCD/Mshdist/sources/mshdistexterns.c#L5
‘inidist’ initialized and declared ‘extern’
Ubuntu (ubuntu-latest, gcc-10, Debug, OFF): third-party/ISCD/Mshdist/sources/mshdistexterns.c#L4
‘closept’ initialized and declared ‘extern’
Ubuntu (ubuntu-latest, gcc-10, Debug, OFF): third-party/ISCD/Mshdist/sources/mshdistexterns.c#L3
‘newBucket’ initialized and declared ‘extern’
Ubuntu (ubuntu-latest, gcc-10, Debug, OFF): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Debug, OFF): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Debug, OFF): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Debug, OFF): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Release, OFF): third-party/ISCD/Mshdist/sources/mshdist.c#L277
ignoring return value of ‘fscanf’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
Ubuntu (ubuntu-latest, gcc-10, Release, OFF): third-party/ISCD/Mshdist/sources/mshdist.c#L273
ignoring return value of ‘fscanf’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
Ubuntu (ubuntu-latest, gcc-10, Release, OFF): third-party/ISCD/Mshdist/sources/mshdist.c#L268
ignoring return value of ‘fscanf’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
Ubuntu (ubuntu-latest, gcc-10, Release, OFF): third-party/ISCD/Mshdist/sources/mshdist.c#L264
ignoring return value of ‘fscanf’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
Ubuntu (ubuntu-latest, gcc-10, Release, OFF): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Release, OFF): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Release, OFF): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Release, OFF): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Release, OFF): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Release, OFF): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Release, ON): third-party/ISCD/Mshdist/sources/mshdist.c#L277
ignoring return value of ‘fscanf’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
Ubuntu (ubuntu-latest, gcc-10, Release, ON): third-party/ISCD/Mshdist/sources/mshdist.c#L273
ignoring return value of ‘fscanf’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
Ubuntu (ubuntu-latest, gcc-10, Release, ON): third-party/ISCD/Mshdist/sources/mshdist.c#L268
ignoring return value of ‘fscanf’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
Ubuntu (ubuntu-latest, gcc-10, Release, ON): third-party/ISCD/Mshdist/sources/mshdist.c#L264
ignoring return value of ‘fscanf’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
Ubuntu (ubuntu-latest, gcc-10, Release, ON): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Release, ON): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Release, ON): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Release, ON): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Release, ON): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]
Ubuntu (ubuntu-latest, gcc-10, Release, ON): third-party/eigen/Eigen/src/Core/util/Memory.h#L157
zero as null pointer constant [-Wzero-as-null-pointer-constant]