Skip to content

Automatic toolchain upgrade fails with argument-list-too-long #4128

@tautschnig

Description

@tautschnig

https://github.com/model-checking/kani/actions/runs/15432529867/job/43432847335 failed as the git_log is exported as an environment variable, yet that log appears too long for other commands to make use of.

We should try to communicate it via a file.

Metadata

Metadata

Assignees

No one assigned

    Labels

    [C] BugThis is a bug. Something isn't working.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions