Skip to content

[CI] Fix cache and add CPU info#379

Merged
prj- merged 2 commits intoFreeFem:developfrom
simonlegrand:fix_cache
Mar 5, 2026
Merged

[CI] Fix cache and add CPU info#379
prj- merged 2 commits intoFreeFem:developfrom
simonlegrand:fix_cache

Conversation

@simonlegrand
Copy link
Contributor

  • Fix cache path on linux.
  • Replace github.workflow variable by hardcoded workflow name in cache key.
    github.workflow takes the name of the caller and prevents releases worflows to reuse the cache of build workflows.
  • Add CPU infos.
    It could bring info about some illegal instructions errors happening when checking the release assets.

@prj-
Copy link
Member

prj- commented Mar 4, 2026

LGTM, anything to add?

@simonlegrand
Copy link
Contributor Author

LGTM to me too :)

@prj- prj- merged commit e698ad4 into FreeFem:develop Mar 5, 2026
37 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