Skip to content

Commit 33119cc

Browse files
hyperpolymathclaude
andcommitted
fix(build): // -> # comment delimiter in 21 Cargo.toml headers (valid TOML)
The estate attribution linter injects `// Owner:` lines, but `//` is not a valid TOML comment delimiter (confirmed: TOMLDecodeError at col 1) and breaks cargo manifest parsing on a fresh checkout of main. Convert to `#` — delimiter only; Owner string and SPDX headers unchanged. Same class of fix as the Coq `(* *)` header correction in #295. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
1 parent 3a5aced commit 33119cc

21 files changed

Lines changed: 21 additions & 21 deletions

File tree

Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# SPDX-License-Identifier: MPL-2.0
2-
// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
2+
# Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
33
# SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
44

55
[workspace]

ephapax-linear/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# SPDX-License-Identifier: MPL-2.0
2-
// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
2+
# Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
33
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
44

55
[package]

src/ephapax-analysis/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# SPDX-License-Identifier: MPL-2.0
2-
// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
2+
# Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
33

44
[package]
55
name = "ephapax-analysis"

src/ephapax-cli/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# SPDX-License-Identifier: MPL-2.0
2-
// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
2+
# Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
33
# SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
44

55
[package]

src/ephapax-desugar/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# SPDX-License-Identifier: MPL-2.0
2-
// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
2+
# Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
33
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
44

55
[package]

src/ephapax-interp/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# SPDX-License-Identifier: MPL-2.0
2-
// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
2+
# Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
33
# SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
44

55
[package]

src/ephapax-ir/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# SPDX-License-Identifier: MPL-2.0
2-
// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
2+
# Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
33
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
44

55
[package]

src/ephapax-lexer/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# SPDX-License-Identifier: MPL-2.0
2-
// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
2+
# Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
33
# SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
44

55
[package]

src/ephapax-package/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# SPDX-License-Identifier: MPL-2.0
2-
// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
2+
# Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
33
# SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
44

55
[package]

src/ephapax-parser/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# SPDX-License-Identifier: MPL-2.0
2-
// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
2+
# Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
33
# SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
44

55
[package]

0 commit comments

Comments
 (0)