]> Nishi Git Mirror - gwion.git/log
gwion.git
4 years ago:wrench: test links
Jérémie Astor [Thu, 20 Feb 2020 11:19:52 +0000 (12:19 +0100)]
:wrench: test links

4 years ago:wrench: test links
Jérémie Astor [Thu, 20 Feb 2020 11:14:39 +0000 (12:14 +0100)]
:wrench: test links

4 years ago:wrench: branch
Jérémie Astor [Wed, 19 Feb 2020 17:31:53 +0000 (18:31 +0100)]
:wrench: branch

4 years ago:wrench: check ref
Jérémie Astor [Wed, 19 Feb 2020 17:27:26 +0000 (18:27 +0100)]
:wrench: check ref

4 years ago:wrench: check ref
Jérémie Astor [Wed, 19 Feb 2020 17:22:44 +0000 (18:22 +0100)]
:wrench: check ref

4 years ago:wrench: check ref
Jérémie Astor [Wed, 19 Feb 2020 17:15:15 +0000 (18:15 +0100)]
:wrench: check ref

4 years ago:wrench: Fix pandoc args
Jérémie Astor [Wed, 19 Feb 2020 17:01:58 +0000 (18:01 +0100)]
:wrench: Fix pandoc args

4 years ago:wrench: Use pandoc to convert gfm
Jérémie Astor [Wed, 19 Feb 2020 16:59:50 +0000 (17:59 +0100)]
:wrench: Use pandoc to convert gfm

4 years ago:wrench: Use pandoc to convert gfm
Jérémie Astor [Wed, 19 Feb 2020 16:58:53 +0000 (17:58 +0100)]
:wrench: Use pandoc to convert gfm

4 years ago:wrench: Retry email
Jérémie Astor [Wed, 19 Feb 2020 11:23:45 +0000 (12:23 +0100)]
:wrench: Retry email

4 years ago:wrench: do not use mail
Jérémie Astor [Tue, 18 Feb 2020 22:53:30 +0000 (23:53 +0100)]
:wrench: do not use mail

4 years ago:wrench: use mail
Jérémie Astor [Tue, 18 Feb 2020 22:38:54 +0000 (23:38 +0100)]
:wrench: use mail

4 years ago:wrench: use mail
Jérémie Astor [Tue, 18 Feb 2020 22:38:13 +0000 (23:38 +0100)]
:wrench: use mail

4 years ago:wrench: check GITHUB_REF
Jérémie Astor [Tue, 18 Feb 2020 22:18:28 +0000 (23:18 +0100)]
:wrench: check GITHUB_REF

4 years ago:wrench: event name
Jérémie Astor [Tue, 18 Feb 2020 22:11:50 +0000 (23:11 +0100)]
:wrench: event name

4 years ago:wrench: close script tag
Jérémie Astor [Mon, 17 Feb 2020 20:21:20 +0000 (21:21 +0100)]
:wrench: close script tag

4 years ago:wrench: close script tag
Jérémie Astor [Mon, 17 Feb 2020 20:19:23 +0000 (21:19 +0100)]
:wrench: close script tag

4 years agouse js
Jérémie Astor [Mon, 17 Feb 2020 20:16:42 +0000 (21:16 +0100)]
use js

4 years agouse js
Jérémie Astor [Mon, 17 Feb 2020 20:12:11 +0000 (21:12 +0100)]
use js

4 years agouse js
Jérémie Astor [Mon, 17 Feb 2020 20:06:11 +0000 (21:06 +0100)]
use js

4 years agouse html dir
Jérémie Astor [Mon, 17 Feb 2020 20:01:31 +0000 (21:01 +0100)]
use html dir

4 years agouse html dir
Jérémie Astor [Mon, 17 Feb 2020 19:59:45 +0000 (20:59 +0100)]
use html dir

4 years agouse html dir
Jérémie Astor [Mon, 17 Feb 2020 19:57:25 +0000 (20:57 +0100)]
use html dir

4 years agouse html dir
Jérémie Astor [Mon, 17 Feb 2020 19:54:25 +0000 (20:54 +0100)]
use html dir

4 years agouse html dir
Jérémie Astor [Mon, 17 Feb 2020 19:49:28 +0000 (20:49 +0100)]
use html dir

4 years agouse html dir
Jérémie Astor [Mon, 17 Feb 2020 19:47:46 +0000 (20:47 +0100)]
use html dir

4 years ago:wrench: use html dir
Jérémie Astor [Mon, 17 Feb 2020 19:42:41 +0000 (20:42 +0100)]
:wrench: use html dir

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:57:54 +0000 (00:57 +0100)]
:wrench: Update

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:53:27 +0000 (00:53 +0100)]
:wrench: Update

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:52:07 +0000 (00:52 +0100)]
:wrench: Update

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:49:02 +0000 (00:49 +0100)]
:wrench: Update

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:47:41 +0000 (00:47 +0100)]
:wrench: Update

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:44:42 +0000 (00:44 +0100)]
:wrench: Update

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:42:12 +0000 (00:42 +0100)]
:wrench: Update

4 years ago:wrench: Fix coevrage options
Jérémie Astor [Sun, 16 Feb 2020 23:24:15 +0000 (00:24 +0100)]
:wrench: Fix coevrage options

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:22:50 +0000 (00:22 +0100)]
:wrench: Update

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:21:14 +0000 (00:21 +0100)]
:wrench: Update

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 23:18:38 +0000 (00:18 +0100)]
:wrench: Update

4 years ago:wrench: coverage build options
Jérémie Astor [Sun, 16 Feb 2020 23:17:10 +0000 (00:17 +0100)]
:wrench: coverage build options

4 years ago:wrench: coverage build options
Jérémie Astor [Sun, 16 Feb 2020 23:16:21 +0000 (00:16 +0100)]
:wrench: coverage build options

4 years ago:wrench: coverage build options
Jérémie Astor [Sun, 16 Feb 2020 23:15:13 +0000 (00:15 +0100)]
:wrench: coverage build options

4 years ago:wrench: Remove coverity-scan recipe
Jérémie Astor [Sun, 16 Feb 2020 21:03:13 +0000 (22:03 +0100)]
:wrench: Remove coverity-scan recipe

4 years ago:wrench: [coverity]
Jérémie Astor [Sun, 16 Feb 2020 20:58:52 +0000 (21:58 +0100)]
:wrench: [coverity]

4 years ago:wrench: [coverity]
Jérémie Astor [Sun, 16 Feb 2020 20:57:07 +0000 (21:57 +0100)]
:wrench: [coverity]

4 years ago:wrench: [coverity]
Jérémie Astor [Sun, 16 Feb 2020 20:49:42 +0000 (21:49 +0100)]
:wrench: [coverity]

4 years ago:wrench: [coverity]
Jérémie Astor [Sun, 16 Feb 2020 20:48:28 +0000 (21:48 +0100)]
:wrench: [coverity]

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 20:25:04 +0000 (21:25 +0100)]
:wrench: Update

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 20:17:49 +0000 (21:17 +0100)]
:wrench: Update

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 20:15:33 +0000 (21:15 +0100)]
:wrench: Update

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 20:11:15 +0000 (21:11 +0100)]
:wrench: Update

4 years ago:wrench: Update
Jérémie Astor [Sun, 16 Feb 2020 20:03:59 +0000 (21:03 +0100)]
:wrench: Update

4 years ago:wrench: Ensure badge.svg
Jérémie Astor [Sun, 16 Feb 2020 19:39:33 +0000 (20:39 +0100)]
:wrench: Ensure badge.svg

4 years ago:wrench: Ensure badge.svg
Jérémie Astor [Sun, 16 Feb 2020 19:33:32 +0000 (20:33 +0100)]
:wrench: Ensure badge.svg

4 years ago:wrench: Ensure badge.svg
Jérémie Astor [Sun, 16 Feb 2020 19:30:50 +0000 (20:30 +0100)]
:wrench: Ensure badge.svg

4 years ago:wrench: Ensure badge.svg
Jérémie Astor [Sun, 16 Feb 2020 19:17:38 +0000 (20:17 +0100)]
:wrench: Ensure badge.svg

4 years ago:wrench: try to push
Jérémie Astor [Sun, 16 Feb 2020 19:07:53 +0000 (20:07 +0100)]
:wrench: try to push

4 years ago:wrench: try to push
Jérémie Astor [Sun, 16 Feb 2020 18:54:24 +0000 (19:54 +0100)]
:wrench: try to push

4 years ago:wrench: try to push
Jérémie Astor [Sun, 16 Feb 2020 18:52:09 +0000 (19:52 +0100)]
:wrench: try to push

4 years agocoverity
Jérémie Astor [Sun, 16 Feb 2020 18:51:15 +0000 (19:51 +0100)]
coverity

4 years ago:wrench: try to push
Jérémie Astor [Sun, 16 Feb 2020 18:48:36 +0000 (19:48 +0100)]
:wrench: try to push

4 years ago:wrench: use only .c
Jérémie Astor [Sun, 16 Feb 2020 18:36:30 +0000 (19:36 +0100)]
:wrench: use only .c

4 years ago:wrench: use only .c
Jérémie Astor [Sun, 16 Feb 2020 18:18:50 +0000 (19:18 +0100)]
:wrench: use only .c

4 years ago:wrench: use only .c
Jérémie Astor [Sun, 16 Feb 2020 18:17:04 +0000 (19:17 +0100)]
:wrench: use only .c

4 years ago:wrench: set root
Jérémie Astor [Sun, 16 Feb 2020 18:04:46 +0000 (19:04 +0100)]
:wrench: set root

4 years ago:wrench: set root
Jérémie Astor [Sun, 16 Feb 2020 17:58:45 +0000 (18:58 +0100)]
:wrench: set root

4 years ago:wrench: set root
Jérémie Astor [Sun, 16 Feb 2020 17:58:45 +0000 (18:58 +0100)]
:wrench: set root

4 years ago:wrench: exclude .h
Jérémie Astor [Sun, 16 Feb 2020 17:48:27 +0000 (18:48 +0100)]
:wrench: exclude .h

4 years ago:wrench: exclude .h
Jérémie Astor [Sun, 16 Feb 2020 17:45:17 +0000 (18:45 +0100)]
:wrench: exclude .h

4 years ago:wrench: exclude .h
Jérémie Astor [Sun, 16 Feb 2020 17:41:49 +0000 (18:41 +0100)]
:wrench: exclude .h

4 years ago:wrench: badge and other stuff
Jérémie Astor [Sun, 16 Feb 2020 17:34:46 +0000 (18:34 +0100)]
:wrench: badge and other stuff

4 years ago:wrench: fix options
Jérémie Astor [Sun, 16 Feb 2020 17:28:42 +0000 (18:28 +0100)]
:wrench: fix options

4 years ago:wrench: fix indent
Jérémie Astor [Sun, 16 Feb 2020 17:26:32 +0000 (18:26 +0100)]
:wrench: fix indent

4 years ago:wrench: fix indent
Jérémie Astor [Sun, 16 Feb 2020 17:24:17 +0000 (18:24 +0100)]
:wrench: fix indent

4 years ago:wrench: fix indent
Jérémie Astor [Sun, 16 Feb 2020 17:02:45 +0000 (18:02 +0100)]
:wrench: fix indent

4 years ago:wrench: setup python
Jérémie Astor [Sun, 16 Feb 2020 17:01:59 +0000 (18:01 +0100)]
:wrench: setup python

4 years ago:wrench: use pip dev version
Jérémie Astor [Sun, 16 Feb 2020 16:59:25 +0000 (17:59 +0100)]
:wrench: use pip dev version

4 years ago:wrench: more
Jérémie Astor [Sun, 16 Feb 2020 16:55:34 +0000 (17:55 +0100)]
:wrench: more

4 years ago:wrench: Use two gcovr commands
Jérémie Astor [Sun, 16 Feb 2020 16:50:37 +0000 (17:50 +0100)]
:wrench: Use two gcovr commands

4 years ago:wrench: get gcovr help
Jérémie Astor [Sun, 16 Feb 2020 16:47:14 +0000 (17:47 +0100)]
:wrench: get gcovr help

4 years ago:wrench: more gcvor
Jérémie Astor [Sun, 16 Feb 2020 16:44:59 +0000 (17:44 +0100)]
:wrench: more gcvor

4 years ago:wrench: fix gcovr options
Jérémie Astor [Sun, 16 Feb 2020 16:41:24 +0000 (17:41 +0100)]
:wrench: fix gcovr options

4 years ago:wrench: more gcovr
Jérémie Astor [Sun, 16 Feb 2020 16:38:50 +0000 (17:38 +0100)]
:wrench: more gcovr

4 years ago:wrench: specify gcovr output
Jérémie Astor [Sun, 16 Feb 2020 16:36:02 +0000 (17:36 +0100)]
:wrench: specify gcovr output

4 years ago:wrench: change gcovr output
Jérémie Astor [Sun, 16 Feb 2020 16:33:56 +0000 (17:33 +0100)]
:wrench: change gcovr output

4 years ago:wrench: list files
Jérémie Astor [Sun, 16 Feb 2020 16:32:07 +0000 (17:32 +0100)]
:wrench: list files

4 years ago:wrench: clone report repo
Jérémie Astor [Sun, 16 Feb 2020 16:31:11 +0000 (17:31 +0100)]
:wrench: clone report repo

4 years ago:wrench: fix indent, again and again and again
Jérémie Astor [Sun, 16 Feb 2020 16:26:43 +0000 (17:26 +0100)]
:wrench: fix indent, again and again and again

4 years ago:wrench: fix indent, again and again
Jérémie Astor [Sun, 16 Feb 2020 16:25:27 +0000 (17:25 +0100)]
:wrench: fix indent, again and again

4 years ago:wrench: fix indent, again
Jérémie Astor [Sun, 16 Feb 2020 16:24:26 +0000 (17:24 +0100)]
:wrench: fix indent, again

4 years ago:wrench: fix indent
Jérémie Astor [Sun, 16 Feb 2020 16:23:07 +0000 (17:23 +0100)]
:wrench: fix indent

4 years ago:wrench: install gcovr via apt
Jérémie Astor [Sun, 16 Feb 2020 16:22:22 +0000 (17:22 +0100)]
:wrench: install gcovr via apt

4 years agomore test pip install
Jérémie Astor [Sun, 16 Feb 2020 16:13:14 +0000 (17:13 +0100)]
more test pip install

4 years agotest pip install
Jérémie Astor [Sun, 16 Feb 2020 16:10:51 +0000 (17:10 +0100)]
test pip install

4 years agoCoverage action first test
Jérémie Astor [Sun, 16 Feb 2020 16:00:34 +0000 (17:00 +0100)]
Coverage action first test

4 years ago:wrench: Fix bot syntax
Jérémie Astor [Sun, 16 Feb 2020 14:24:44 +0000 (15:24 +0100)]
:wrench: Fix bot syntax

4 years ago:wrench: Add bot action
Jérémie Astor [Sun, 16 Feb 2020 14:23:24 +0000 (15:23 +0100)]
:wrench: Add bot action

4 years ago:wrench: ignore gh-pages build ?
Jérémie Astor [Mon, 27 Jan 2020 01:38:17 +0000 (02:38 +0100)]
:wrench: ignore gh-pages build ?

4 years ago: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 ?

4 years ago:wrench: Win tests
Jérémie Astor [Fri, 10 Jan 2020 14:22:02 +0000 (15:22 +0100)]
:wrench: Win tests

4 years ago:wrench: Win tests
Jérémie Astor [Fri, 10 Jan 2020 13:12:38 +0000 (14:12 +0100)]
:wrench: Win tests