Skip to content
Header/Encoding checker

Merge pull request #2007 from arcaneframework/dev/gg-remove-useless-h… #2992

Sign in to view logs

Merge pull request #2007 from arcaneframework/dev/gg-remove-useless-h…

Merge pull request #2007 from arcaneframework/dev/gg-remove-useless-h… #2992

Triggered via push February 25, 2025 21:51
@grospelliergillesgrospelliergilles
pushed dddaeae
main
Status Success
Total duration 18s
Artifacts –

header_check.yml

on: push
Check
6s
Check
Fit to window
Zoom out
Zoom in