2022-09-15 |
restructuration
Nicolas Thouvenin
committed
on 15 Sep 2022
|
---|---|
2022-09-14 |
best regex by claude
Nicolas Thouvenin
committed
on 14 Sep 2022
|
exclude files already present in hal
Nicolas Thouvenin
committed
on 14 Sep 2022
|
|
use single workflow
Nicolas Thouvenin
committed
on 14 Sep 2022
|
|
tune: bucket of 10
Nicolas Thouvenin
committed
on 14 Sep 2022
|
|
2022-09-08 |
ci: git config
Nicolas Thouvenin
committed
on 8 Sep 2022
|
fix: add ezmaster config
Nicolas Thouvenin
committed
on 8 Sep 2022
|
|
feat: add apil-dumps configurations
Nicolas Thouvenin
committed
on 8 Sep 2022
|
|
2022-09-06 |
feat: import dumps for hal cnrs
Nicolas Thouvenin
committed
on 6 Sep 2022
|
:feat: inport corham dumps scripts
Nicolas Thouvenin
committed
on 6 Sep 2022
|
|
first commit
Nicolas Thouvenin
committed
on 6 Sep 2022
|