1. 8dce194 ci: replace Travis with GitHub Actions by Davide Pesavento · 3 years, 3 months ago[Renamed (68%) from .jenkins.d/02-cleanup.sh]
  2. bb55add ci: compile-check installed headers by Davide Pesavento · 3 years, 11 months ago experimental