[gjs] (4 commits) ...Merge branch 'profiler' into 'master'

From: Philip Chimento <pchimento src gnome org>
To: commits-list gnome org
Cc:
Subject: [gjs] (4 commits) ...Merge branch 'profiler' into 'master'
Date: Mon, 26 Mar 2018 00:30:58 +0000 (UTC)

Summary of changes:

  28c240a... CI: if not on master, run only one sanitizer
  5b4b44b... CI: the static image is ready to use
  de7d973... CI: add a test using '--disable-profiler'
  fec1bd2... Merge branch 'profiler' into 'master'

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