Port to github actions - #634

Merged

rhaschke merged 11 commits into

moveit:masterfrom

vatanaksoytezer:feature/port_actions

Jun 4, 2021

Commits on Jun 3, 2021

Migrate to github actions

vatanaksoytezer
authored and
Vatan Aksoy Tezer
committed
Fix formating errors

vatanaksoytezer
authored and
Vatan Aksoy Tezer
committed
Simplify ci.yaml

rhaschke
authored and
Vatan Aksoy Tezer
committed
Simplify format.yaml

rhaschke
authored and
Vatan Aksoy Tezer
committed
Delete htmlcheck.yaml

rhaschke
authored and
Vatan Aksoy Tezer
committed
Replace TRAVIS env variable

rhaschke
authored and
Vatan Aksoy Tezer
committed
fixup! Simplify ci.yaml

rhaschke
authored and
Vatan Aksoy Tezer
committed
Fix deploy.yaml

rhaschke
authored and
Vatan Aksoy Tezer
committed
Fix badge formatting
Vatan Aksoy Tezer
committed
Rebase and pre-commit fixes
Vatan Aksoy Tezer
committed

Commits on Jun 4, 2021

fixup! Fix badge formatting
rhaschke
committed