fix: replace asctime with strftime for safer date formatting (#3658)
#1379
CarloVarnichecks.yml
on: push
lint
48s
license
6s
include_guards
7s
pragma_once
6s
type_t
15s
boost_test_macro
4s
smearing_config
5s
cmake_options
5s
spelling
7s
missing_includes
14m 10s
fpe_masks
30s
unused_files
2m 4s
codegen
25s