Age | Commit message (Expand) | Author |
---|---|---|
2019-07-13 | add the --strict option to the check subcommand | Pietro Albini |
2019-07-13 | ci: final tweaks to azure pipelines and remove travis | Pietro Albini |
2019-07-13 | ci: polish azure config | Pietro Albini |
2019-07-13 | ci: switch to ubuntu 16.04 | Pietro Albini |
2019-07-13 | add azure pipelines | Pietro Albini |