Skip to content

Update spec.lock to fix CI build#236

Merged
felix91gr merged 1 commit into
Safety-Critical-Rust-Consortium:mainfrom
MarcosBorgesPhD:update-spec-lock
Dec 2, 2025
Merged

Update spec.lock to fix CI build#236
felix91gr merged 1 commit into
Safety-Critical-Rust-Consortium:mainfrom
MarcosBorgesPhD:update-spec-lock

Conversation

@MarcosBorgesPhD

Copy link
Copy Markdown
Contributor

This PR updates src/spec.lock to match the current FLS specification.

@netlify

netlify Bot commented Dec 2, 2025

Copy link
Copy Markdown

Deploy Preview for scrc-coding-guidelines ready!

Name Link
🔨 Latest commit bea82ea
🔍 Latest deploy log https://app.netlify.com/projects/scrc-coding-guidelines/deploys/692f2dbe736ef5000897139b
😎 Deploy Preview https://deploy-preview-236--scrc-coding-guidelines.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify project configuration.

@felix91gr

Copy link
Copy Markdown
Collaborator

@PLeVasseur I'm merging this so that the other PRs can continue building :)

@felix91gr
felix91gr enabled auto-merge December 2, 2025 19:59
@felix91gr
felix91gr added this pull request to the merge queue Dec 2, 2025
Merged via the queue into Safety-Critical-Rust-Consortium:main with commit bef616e Dec 2, 2025
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants