Skip to content

Conversation

@snadrus
Copy link
Contributor

@snadrus snadrus commented Nov 10, 2025

test the configuration

Copilot AI review requested due to automatic review settings November 10, 2025 22:14
@github-project-automation github-project-automation bot moved this to 📌 Triage in FilOz Nov 10, 2025
@snadrus snadrus marked this pull request as draft November 10, 2025 22:15
Copilot finished reviewing on behalf of snadrus November 10, 2025 22:16
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR tests the "Supraseal012" configuration by updating dependencies and ensuring CI builds work with GCC 12 for CUDA compilation.

Key changes:

  • Downgrades FVM dependencies from version 4.7.4 to 4.7.3 and removes the "nv28-dev" feature flag
  • Adds supraseal-c2 version 0.1.2 as a dependency (with transitive updates to sppark)
  • Configures CI workflows to use GCC 12 for all Ubuntu-based build jobs

Reviewed Changes

Copilot reviewed 2 out of 3 changed files in this pull request and generated 2 comments.

File Description
rust/Cargo.toml Downgrades FVM4 versions to 4.7.3, removes "nv28-dev" feature, and adds supraseal-c2 dependency
rust/Cargo.lock Updates lockfile with new dependency versions including supraseal-c2 0.1.2 and sppark 0.1.14
.github/workflows/ci.yml Adds GCC 12 installation and environment configuration to check, cgo-bindings, and supraseal jobs

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment on lines +50 to +53
env:
CC: gcc-12
CXX: g++-12
NVCC_PREPEND_FLAGS: "-ccbin /usr/bin/g++-12 -allow-unsupported-compiler"
Copy link

Copilot AI Nov 10, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Inconsistent NVCC_PREPEND_FLAGS between jobs. The check job includes -allow-unsupported-compiler flag (line 53), while the supraseal job does not (line 161). For consistency and to avoid potential compilation issues, both jobs should use the same flags. Consider using -ccbin /usr/bin/g++-12 -allow-unsupported-compiler in the supraseal job as well.

Copilot uses AI. Check for mistakes.
@snadrus snadrus closed this Nov 11, 2025
@github-project-automation github-project-automation bot moved this from 📌 Triage to 🎉 Done in FilOz Nov 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: 🎉 Done

Development

Successfully merging this pull request may close these issues.

1 participant