CI Update

[CMCDragonkai]

I saw this branch was being used before... but it was never merged. Quite strange?

[CMCDragonkai]

The gitlab ci changes seem unnecessary.

But the strict build changes seem useful?

[CMCDragonkai]

I've removed the commit for the gitlab yaml file.

But I've kept these strict build changes.

Please review @nzhang-zh and see if they should be merged.

Also are strict code being checked by the CI?

[CMCDragonkai]

Now that we 2 "main" branches: master and postgres. After merging into master, these changes must be synced postgres branch. Probably via cherry picking.

[CMCDragonkai]

This has some relationship with #28?

[CMCDragonkai]

This failed hlint and brittany.

Hlint should be fixed easily.

The brittany failure is a mystery.

Not sure why that is happening.

[nzhang-zh]

The gitlab ci changes are obsoleted by #26 .
But I forgot the exact reason why this branch was left unmerged back then.