Differential D5051

Remove Makefile.local
ClosedPublic
Actions

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

Details

Reviewers

ardumont

Group Reviewers

Reviewers

Commits

rDJNLed9d6827af6f: Remove Makefile.local

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

Lint

Automatic diff as part of commit; lint not applicable.

Unit

Automatic diff as part of commit; unit tests not applicable.

Event Timeline

anlambert created this revision.Feb 9 2021, 4:49 PM

Herald added a reviewer: Reviewers. · View Herald TranscriptFeb 9 2021, 4:49 PM

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.

Harbormaster completed remote builds in B19125: Diff 18005.Feb 9 2021, 4:51 PM

anlambert requested review of this revision.Feb 9 2021, 4:51 PM

ardumont accepted this revision.Feb 9 2021, 5:24 PM

This revision is now accepted and ready to land.Feb 9 2021, 5:24 PM

Closed by commit rDJNLed9d6827af6f: Remove Makefile.local (authored by anlambert). · Explain WhyFeb 9 2021, 5:29 PM

This revision was automatically updated to reflect the committed changes.

anlambert added a commit: rDJNLed9d6827af6f: Remove Makefile.local.