]>
Nishi Git Mirror - gwion.git/log
Jérémie Astor [Tue, 18 Feb 2020 22:38:13 +0000 (23:38 +0100)]
:wrench: use mail
Jérémie Astor [Tue, 18 Feb 2020 22:18:28 +0000 (23:18 +0100)]
:wrench: check GITHUB_REF
Jérémie Astor [Tue, 18 Feb 2020 22:11:50 +0000 (23:11 +0100)]
:wrench: event name
Jérémie Astor [Mon, 17 Feb 2020 20:21:20 +0000 (21:21 +0100)]
:wrench: close script tag
Jérémie Astor [Mon, 17 Feb 2020 20:19:23 +0000 (21:19 +0100)]
:wrench: close script tag
Jérémie Astor [Mon, 17 Feb 2020 20:16:42 +0000 (21:16 +0100)]
use js
Jérémie Astor [Mon, 17 Feb 2020 20:12:11 +0000 (21:12 +0100)]
use js
Jérémie Astor [Mon, 17 Feb 2020 20:06:11 +0000 (21:06 +0100)]
use js
Jérémie Astor [Mon, 17 Feb 2020 20:01:31 +0000 (21:01 +0100)]
use html dir
Jérémie Astor [Mon, 17 Feb 2020 19:59:45 +0000 (20:59 +0100)]
use html dir
Jérémie Astor [Mon, 17 Feb 2020 19:57:25 +0000 (20:57 +0100)]
use html dir
Jérémie Astor [Mon, 17 Feb 2020 19:54:25 +0000 (20:54 +0100)]
use html dir
Jérémie Astor [Mon, 17 Feb 2020 19:49:28 +0000 (20:49 +0100)]
use html dir
Jérémie Astor [Mon, 17 Feb 2020 19:47:46 +0000 (20:47 +0100)]
use html dir
Jérémie Astor [Mon, 17 Feb 2020 19:42:41 +0000 (20:42 +0100)]
:wrench: use html dir
Jérémie Astor [Sun, 16 Feb 2020 23:57:54 +0000 (00:57 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:53:27 +0000 (00:53 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:52:07 +0000 (00:52 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:49:02 +0000 (00:49 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:47:41 +0000 (00:47 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:44:42 +0000 (00:44 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:42:12 +0000 (00:42 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:24:15 +0000 (00:24 +0100)]
:wrench: Fix coevrage options
Jérémie Astor [Sun, 16 Feb 2020 23:22:50 +0000 (00:22 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:21:14 +0000 (00:21 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:18:38 +0000 (00:18 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:17:10 +0000 (00:17 +0100)]
:wrench: coverage build options
Jérémie Astor [Sun, 16 Feb 2020 23:16:21 +0000 (00:16 +0100)]
:wrench: coverage build options
Jérémie Astor [Sun, 16 Feb 2020 23:15:13 +0000 (00:15 +0100)]
:wrench: coverage build options
Jérémie Astor [Sun, 16 Feb 2020 21:03:13 +0000 (22:03 +0100)]
:wrench: Remove coverity-scan recipe
Jérémie Astor [Sun, 16 Feb 2020 20:58:52 +0000 (21:58 +0100)]
:wrench: [coverity]
Jérémie Astor [Sun, 16 Feb 2020 20:57:07 +0000 (21:57 +0100)]
:wrench: [coverity]
Jérémie Astor [Sun, 16 Feb 2020 20:49:42 +0000 (21:49 +0100)]
:wrench: [coverity]
Jérémie Astor [Sun, 16 Feb 2020 20:48:28 +0000 (21:48 +0100)]
:wrench: [coverity]
Jérémie Astor [Sun, 16 Feb 2020 20:25:04 +0000 (21:25 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 20:17:49 +0000 (21:17 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 20:15:33 +0000 (21:15 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 20:11:15 +0000 (21:11 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 20:03:59 +0000 (21:03 +0100)]
:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 19:39:33 +0000 (20:39 +0100)]
:wrench: Ensure badge.svg
Jérémie Astor [Sun, 16 Feb 2020 19:33:32 +0000 (20:33 +0100)]
:wrench: Ensure badge.svg
Jérémie Astor [Sun, 16 Feb 2020 19:30:50 +0000 (20:30 +0100)]
:wrench: Ensure badge.svg
Jérémie Astor [Sun, 16 Feb 2020 19:17:38 +0000 (20:17 +0100)]
:wrench: Ensure badge.svg
Jérémie Astor [Sun, 16 Feb 2020 19:07:53 +0000 (20:07 +0100)]
:wrench: try to push
Jérémie Astor [Sun, 16 Feb 2020 18:54:24 +0000 (19:54 +0100)]
:wrench: try to push
Jérémie Astor [Sun, 16 Feb 2020 18:52:09 +0000 (19:52 +0100)]
:wrench: try to push
Jérémie Astor [Sun, 16 Feb 2020 18:51:15 +0000 (19:51 +0100)]
coverity
Jérémie Astor [Sun, 16 Feb 2020 18:48:36 +0000 (19:48 +0100)]
:wrench: try to push
Jérémie Astor [Sun, 16 Feb 2020 18:36:30 +0000 (19:36 +0100)]
:wrench: use only .c
Jérémie Astor [Sun, 16 Feb 2020 18:18:50 +0000 (19:18 +0100)]
:wrench: use only .c
Jérémie Astor [Sun, 16 Feb 2020 18:17:04 +0000 (19:17 +0100)]
:wrench: use only .c
Jérémie Astor [Sun, 16 Feb 2020 18:04:46 +0000 (19:04 +0100)]
:wrench: set root
Jérémie Astor [Sun, 16 Feb 2020 17:58:45 +0000 (18:58 +0100)]
:wrench: set root
Jérémie Astor [Sun, 16 Feb 2020 17:58:45 +0000 (18:58 +0100)]
:wrench: set root
Jérémie Astor [Sun, 16 Feb 2020 17:48:27 +0000 (18:48 +0100)]
:wrench: exclude .h
Jérémie Astor [Sun, 16 Feb 2020 17:45:17 +0000 (18:45 +0100)]
:wrench: exclude .h
Jérémie Astor [Sun, 16 Feb 2020 17:41:49 +0000 (18:41 +0100)]
:wrench: exclude .h
Jérémie Astor [Sun, 16 Feb 2020 17:34:46 +0000 (18:34 +0100)]
:wrench: badge and other stuff
Jérémie Astor [Sun, 16 Feb 2020 17:28:42 +0000 (18:28 +0100)]
:wrench: fix options
Jérémie Astor [Sun, 16 Feb 2020 17:26:32 +0000 (18:26 +0100)]
:wrench: fix indent
Jérémie Astor [Sun, 16 Feb 2020 17:24:17 +0000 (18:24 +0100)]
:wrench: fix indent
Jérémie Astor [Sun, 16 Feb 2020 17:02:45 +0000 (18:02 +0100)]
:wrench: fix indent
Jérémie Astor [Sun, 16 Feb 2020 17:01:59 +0000 (18:01 +0100)]
:wrench: setup python
Jérémie Astor [Sun, 16 Feb 2020 16:59:25 +0000 (17:59 +0100)]
:wrench: use pip dev version
Jérémie Astor [Sun, 16 Feb 2020 16:55:34 +0000 (17:55 +0100)]
:wrench: more
Jérémie Astor [Sun, 16 Feb 2020 16:50:37 +0000 (17:50 +0100)]
:wrench: Use two gcovr commands
Jérémie Astor [Sun, 16 Feb 2020 16:47:14 +0000 (17:47 +0100)]
:wrench: get gcovr help
Jérémie Astor [Sun, 16 Feb 2020 16:44:59 +0000 (17:44 +0100)]
:wrench: more gcvor
Jérémie Astor [Sun, 16 Feb 2020 16:41:24 +0000 (17:41 +0100)]
:wrench: fix gcovr options
Jérémie Astor [Sun, 16 Feb 2020 16:38:50 +0000 (17:38 +0100)]
:wrench: more gcovr
Jérémie Astor [Sun, 16 Feb 2020 16:36:02 +0000 (17:36 +0100)]
:wrench: specify gcovr output
Jérémie Astor [Sun, 16 Feb 2020 16:33:56 +0000 (17:33 +0100)]
:wrench: change gcovr output
Jérémie Astor [Sun, 16 Feb 2020 16:32:07 +0000 (17:32 +0100)]
:wrench: list files
Jérémie Astor [Sun, 16 Feb 2020 16:31:11 +0000 (17:31 +0100)]
:wrench: clone report repo
Jérémie Astor [Sun, 16 Feb 2020 16:26:43 +0000 (17:26 +0100)]
:wrench: fix indent, again and again and again
Jérémie Astor [Sun, 16 Feb 2020 16:25:27 +0000 (17:25 +0100)]
:wrench: fix indent, again and again
Jérémie Astor [Sun, 16 Feb 2020 16:24:26 +0000 (17:24 +0100)]
:wrench: fix indent, again
Jérémie Astor [Sun, 16 Feb 2020 16:23:07 +0000 (17:23 +0100)]
:wrench: fix indent
Jérémie Astor [Sun, 16 Feb 2020 16:22:22 +0000 (17:22 +0100)]
:wrench: install gcovr via apt
Jérémie Astor [Sun, 16 Feb 2020 16:13:14 +0000 (17:13 +0100)]
more test pip install
Jérémie Astor [Sun, 16 Feb 2020 16:10:51 +0000 (17:10 +0100)]
test pip install
Jérémie Astor [Sun, 16 Feb 2020 16:00:34 +0000 (17:00 +0100)]
Coverage action first test
Jérémie Astor [Sun, 16 Feb 2020 14:24:44 +0000 (15:24 +0100)]
:wrench: Fix bot syntax
Jérémie Astor [Sun, 16 Feb 2020 14:23:24 +0000 (15:23 +0100)]
:wrench: Add bot action
Jérémie Astor [Mon, 27 Jan 2020 01:38:17 +0000 (02:38 +0100)]
:wrench: ignore gh-pages build ?
Jérémie Astor [Mon, 27 Jan 2020 01:35:02 +0000 (02:35 +0100)]
:wrench: ignore gh-pages build ?
Jérémie Astor [Fri, 10 Jan 2020 14:22:02 +0000 (15:22 +0100)]
:wrench: Win tests
Jérémie Astor [Fri, 10 Jan 2020 13:12:38 +0000 (14:12 +0100)]
:wrench: Win tests
Jérémie Astor [Fri, 10 Jan 2020 13:06:28 +0000 (14:06 +0100)]
:wrench: Use gwion.exe [no quotes] (windows)
Jérémie Astor [Fri, 10 Jan 2020 13:03:08 +0000 (14:03 +0100)]
:wrench: Use gwion.exe [no quotes] (windows)
Jérémie Astor [Fri, 10 Jan 2020 12:59:27 +0000 (13:59 +0100)]
:wrench: Use gwion.exe (windows)
Jérémie Astor [Fri, 10 Jan 2020 12:56:08 +0000 (13:56 +0100)]
:art: Update plug [skip ci]
Jérémie Astor [Fri, 10 Jan 2020 12:54:03 +0000 (13:54 +0100)]
:wrench: list window dir
Jérémie Astor [Thu, 9 Jan 2020 23:24:28 +0000 (00:24 +0100)]
:wrench: Skip github actions ? [skip ci]
Jérémie Astor [Wed, 8 Jan 2020 16:42:45 +0000 (17:42 +0100)]
:art: update
Jérémie Astor [Wed, 8 Jan 2020 16:37:19 +0000 (17:37 +0100)]
:art: update
Jérémie Astor [Wed, 8 Jan 2020 16:33:21 +0000 (17:33 +0100)]
:art: update
Jérémie Astor [Wed, 8 Jan 2020 16:29:02 +0000 (17:29 +0100)]
:art: update
Jérémie Astor [Wed, 8 Jan 2020 16:22:19 +0000 (17:22 +0100)]
:art: update
Jérémie Astor [Wed, 8 Jan 2020 11:50:40 +0000 (12:50 +0100)]
:art: update