HomeSoftware Heritage

Makefile.local: Modify test targets

Description

Makefile.local: Modify test targets

  • test target now uses the swh-web-fast hypothesis profile
  • remove the test-fast target
  • add test-full target using the swh-web hypothesis profile (which generates a lot of examples and thus takes much more longer to execute)

Details

Provenance
anlambertAuthored on May 6 2019, 4:26 PM
anlambertPushed on May 6 2019, 4:27 PM
Parents
rDWAPPSc078ce9b55fc: templates/show-swh-ids: Fix regression and improvements
Branches
Unknown
Tags
Unknown
References
tag: v0.0.194
Build Status
Buildable 5600
Build 7630: test-and-build