pljava-dev - July 2020

PL/Java development

Search the Archives

(enter a message-id to go directly to that message)
Advanced Search

Browse Archives

Prev | Next
Jump to day: 1 2 3 5 7 8 9 10 11 13 14 15 18 19 20 21 22 23 25 26 27 28 29 30

July 1, 2020

Thread Author Time
Re: PL/Java new build plugin Chapman Flack 05:02
Re: PL/Java new build plugin Kartik Ohri 19:31
Re: PL/Java new build plugin Kartik Ohri 19:33

July 2, 2020

Thread Author Time
Re: PL/Java new build plugin Chapman Flack 02:08
Re: PL/Java new build plugin Kartik Ohri 04:15
Re: PL/Java new build plugin Chapman Flack 16:24

July 3, 2020

Thread Author Time
Re: PL/Java new build plugin Kartik Ohri 10:20

July 5, 2020

Thread Author Time
Re: PL/Java new build plugin Chapman Flack 00:58
Re: PL/Java new build plugin Kartik Ohri 04:35
Re: PL/Java new build plugin Chapman Flack 06:27
Re: PL/Java new build plugin Kartik Ohri 10:44
Re: PL/Java new build plugin Chapman Flack 17:47
Re: PL/Java new build plugin Kartik Ohri 18:05
Re: PL/Java new build plugin Chapman Flack 18:10
Re: PL/Java new build plugin Kartik Ohri 18:17
Re: PL/Java new build plugin Chapman Flack 18:21
Re: PL/Java new build plugin Kartik Ohri 18:35
Re: PL/Java new build plugin Chapman Flack 20:11
Re: PL/Java new build plugin Kartik Ohri 20:22

July 7, 2020

Thread Author Time
Re: PL/Java new build plugin Kartik Ohri 13:58
Re: PL/Java new build plugin Chapman Flack 22:42

July 8, 2020

Thread Author Time
Re: Detecting test failures reported as warnings Chapman Flack 21:37

July 9, 2020

Thread Author Time
Re: PL/Java new build plugin Kartik Ohri 10:48
Re: PL/Java new build plugin Chapman Flack 13:34
Re: PL/Java new build plugin Kartik Ohri 13:51
Re: PL/Java new build plugin Chapman Flack 14:14
Re: PL/Java new build plugin Kartik Ohri 14:25
Re: PL/Java new build plugin Kartik Ohri 15:11
Re: PL/Java new build plugin Chapman Flack 15:15
Re: PL/Java new build plugin Kartik Ohri 18:45
Re: PL/Java new build plugin Kartik Ohri 18:52
Re: PL/Java new build plugin Chapman Flack 20:08
Re: PL/Java new build plugin Kartik Ohri 20:46

July 10, 2020

Thread Author Time
Re: PL/Java new build plugin Chapman Flack 01:22

July 11, 2020

Thread Author Time
Re: PL/Java new build plugin Kartik Ohri 10:23

July 13, 2020

Thread Author Time
Re: PL/Java new build plugin Kartik Ohri 16:05

July 14, 2020

Thread Author Time
Re: PL/Java new build plugin Chapman Flack 04:34
I propose to commit a .editorconfig file for PL/Java Chapman Flack 05:16
Re: I propose to commit a .editorconfig file for PL/Java Thomas Hallgren 05:35
Re: PL/Java new build plugin Kartik Ohri 17:36
Re: PL/Java new build plugin Kartik Ohri 17:40
Re: PL/Java new build plugin Chapman Flack 17:56
Re: PL/Java new build plugin Kartik Ohri 20:40
Re: PL/Java new build plugin Chapman Flack 20:49
Re: PL/Java new build plugin Chapman Flack 23:02
Just one Travis Mac OS build failed Chapman Flack 23:11

July 15, 2020

Thread Author Time
Re: PL/Java new build plugin Kartik Ohri 03:30
Re: Just one Travis Mac OS build failed Kartik Ohri 03:49
Re: PL/Java new build plugin Kartik Ohri 11:27
Re: Just one Travis Mac OS build failed Chapman Flack 11:34
Re: Just one Travis Mac OS build failed Kartik Ohri 11:57
Re: Just one Travis Mac OS build failed Chapman Flack 12:03
Re: PL/Java new build plugin Chapman Flack 12:24
Re: PL/Java new build plugin Chapman Flack 16:24

July 18, 2020

Thread Author Time
Re: PL/Java new build plugin Kartik Ohri 12:43
Re: PL/Java new build plugin Kartik Ohri 13:04
Re: PL/Java new build plugin Chapman Flack 13:55
Re: PL/Java new build plugin Chapman Flack 13:56
Re: PL/Java new build plugin Kartik Ohri 17:24
Re: PL/Java new build plugin Chapman Flack 18:01
Re: PL/Java new build plugin Kartik Ohri 19:49
Re: PL/Java new build plugin Chapman Flack 20:28

July 19, 2020

Thread Author Time
Re: PL/Java new build plugin Kartik Ohri 06:28
Re: PL/Java new build plugin Kartik Ohri 06:44
Re: PL/Java new build plugin Kartik Ohri 08:42
Re: PL/Java new build plugin Chapman Flack 22:03

July 20, 2020

Thread Author Time
Re: PL/Java new build plugin Chapman Flack 00:12

July 21, 2020

Thread Author Time
Re: PL/Java new build plugin Kartik Ohri 02:51
Re: PL/Java new build plugin Kartik Ohri 02:59
Re: PL/Java new build plugin Kartik Ohri 03:00
Re: PL/Java new build plugin Chapman Flack 03:25
Re: PL/Java new build plugin Chapman Flack 03:45
Re: PL/Java new build plugin Kartik Ohri 18:03
Re: PL/Java new build plugin Chapman Flack 18:37
Re: PL/Java new build plugin Kartik Ohri 18:55
Re: PL/Java new build plugin Kartik Ohri 20:28
Re: PL/Java new build plugin Chapman Flack 20:44
Re: PL/Java new build plugin Kartik Ohri 21:00
Re: PL/Java new build plugin Chapman Flack 21:33
Re: PL/Java new build plugin Chapman Flack 22:30

July 22, 2020

Thread Author Time
Re: PL/Java new build plugin Kartik Ohri 02:19
Re: PL/Java new build plugin Kartik Ohri 02:25
Re: PL/Java new build plugin Chapman Flack 03:00
Re: PL/Java new build plugin Kartik Ohri 03:13
Re: PL/Java new build plugin Kartik Ohri 20:11
Re: PL/Java new build plugin Chapman Flack 23:02

July 23, 2020

Thread Author Time
Re: PL/Java new build plugin Kartik Ohri 03:23
Re: PL/Java new build plugin Chapman Flack 17:05

July 25, 2020

Thread Author Time
Re: PL/Java new build plugin Kartik Ohri 04:59
Re: PL/Java new build plugin Kartik Ohri 16:54
Re: PL/Java new build plugin Chapman Flack 17:42
Re: PL/Java new build plugin Chapman Flack 18:00
Re: PL/Java new build plugin Kartik Ohri 18:05
Re: PL/Java new build plugin Chapman Flack 19:10

July 26, 2020

Thread Author Time
Re: PL/Java new build plugin Chapman Flack 01:46

July 27, 2020

Thread Author Time
Re: PL/Java new build plugin Kartik Ohri 10:45

July 28, 2020

Thread Author Time
Re: PL/Java new build plugin Chapman Flack 02:09
Re: PL/Java new build plugin Kartik Ohri 18:23
Re: PL/Java new build plugin Kartik Ohri 19:14

July 29, 2020

Thread Author Time
Re: PL/Java new build plugin Chapman Flack 02:57
Re: PL/Java new build plugin Kartik Ohri 03:20

July 30, 2020

Thread Author Time
Re: PL/Java new build plugin Kartik Ohri 14:32
Re: PL/Java new build plugin Chapman Flack 14:55
Re: PL/Java new build plugin Kartik Ohri 15:37
Re: PL/Java new build plugin Chapman Flack 17:28
Re: PL/Java new build plugin Kartik Ohri 20:13
Re: PL/Java new build plugin Chapman Flack 20:34
Re: PL/Java new build plugin Kartik Ohri 20:54

Browse Archives

Prev | Next
Jump to day: 1 2 3 5 7 8 9 10 11 13 14 15 18 19 20 21 22 23 25 26 27 28 29 30