[at-spi2-core] (4 commits) ...Merge branch 'publish-coverage' into 'master'

From: Federico Mena Quintero <federico src gnome org>
To: commits-list gnome org
Cc:
Subject: [at-spi2-core] (4 commits) ...Merge branch 'publish-coverage' into 'master'
Date: Mon, 17 Jan 2022 16:16:58 +0000 (UTC)

Summary of changes:

  1383a54... Copy the coverage results to public/ so we can publish them
  112ab77... Don't allow the coverage job to fail
  a8be19a... Publish the coverage report to gitlab pages
  3c05bc2... Merge branch 'publish-coverage' into 'master'

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]