Page MenuHomeSoftware Heritage

Remove Makefile.local
ClosedPublic

Authored by anlambert on Feb 9 2021, 4:49 PM.

Details

Summary

Its content is outdated and it is no longer needed as tests can
now simply be executed using default test target running pytest.

Diff Detail

Repository
rDJNL Journal infrastructure
Branch
remove-makefile-local
Lint
No Linters Available
Unit
No Unit Test Coverage
Build Status
Buildable 19125
Build 29658: Phabricator diff pipeline on jenkinsJenkins console · Jenkins
Build 29657: arc lint + arc unit

Event Timeline

Build is green

Patch application report for D5051 (id=18005)

Rebasing onto 25aa328525...

Current branch diff-target is up to date.
Changes applied before test
commit ed9d6827af6f88ab2ccd72b6b896beb2a2115850
Author: Antoine Lambert <antoine.lambert@inria.fr>
Date:   Tue Feb 9 15:29:18 2021 +0100

    Remove Makefile.local
    
    Its content is outdated and it is no longer needed as tests can
    now simply be executed using default test target running pytest.

See https://jenkins.softwareheritage.org/job/DJNL/job/tests-on-diff/149/ for more details.

This revision is now accepted and ready to land.Feb 9 2021, 5:24 PM
This revision was automatically updated to reflect the committed changes.