#1007

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#1007	master	Remove "Gradle" from CI job step names (#693) We only build with Gradle, so we don't need that info in the step name. No code affected.	push	08 Dec 2022 09:45PM UTC	web-flow	github-actions	pending completion set done
#1006	master	Update to JSpecify 0.3.0-alpha-3 annotations (#692) Just to stay up to date. This only impacts test code, not any code that ships.	push	08 Dec 2022 05:25PM UTC	web-flow	github-actions	pending completion set done
#1005	master	Update to JSpecify 0.3-alpha2 (#691)	push	29 Nov 2022 08:22PM UTC	web-flow	github-actions	pending completion set done
#1004	jspecify-0.3-alpha2	Merge 12b9c8c72 into 36fd783ed	Pull #691	29 Nov 2022 06:20PM UTC	web-flow	github-actions	pending completion set done
#1003	master	Update to Gradle 7.6 (#690)	push	29 Nov 2022 05:40PM UTC	web-flow	github-actions	pending completion set done
#1002	master	Prepare next development version.	push	18 Nov 2022 08:21PM UTC	lazaroclapp	github-actions	pending completion set done
#1001	master	Add checks for proper JSpecify generic type instantiations (#680) This PR adds initial checks for JSpecify generic type validity. In particular it adds checks that for a type instantiation `Foo<@Nullable Bar>`, `Foo` is actually declared to allo...	push	16 Nov 2022 10:04PM UTC	web-flow	github-actions	pending completion set done
#1000	master	Update to JSpecify 0.3.0-alpha-1 (#673) The artifact now contains `@NullMarked` and `@NullUnmarked` annotations, so we do not need to create our own copies for testing. We leverage the Error Prone javac to keep builds working on JDK 8; this is a...	push	14 Nov 2022 07:33PM UTC	web-flow	github-actions	pending completion set done
#999	update-jspecify	Merge 0da2328e1 into b8dde6973	Pull #673	14 Nov 2022 07:17PM UTC	web-flow	github-actions	pending completion set done
#998	master	Fix serialization field region computation bug fix (#689) This PR fixes a bug in field region computation. The bug is in the computation of region for fields initialized through chain of member selects. Please see the example below: ```java ...	push	14 Nov 2022 07:16PM UTC	web-flow	github-actions	pending completion set done
#997	update-jspecify	Merge 12d59e67a into dd75827aa	Pull #673	11 Nov 2022 01:54AM UTC	web-flow	github-actions	pending completion set done
#996	master	Add serialization format version to fix serialization output (#688) Adds a version for all outputs of serialization features. Format of serialized outputs may change over time. This version serialization helps users to keep track of changes or ma...	push	10 Nov 2022 07:43PM UTC	web-flow	github-actions	pending completion set done
#995	update-jspecify	Merge 12d182273 into eb62d5711	Pull #673	09 Nov 2022 07:47PM UTC	web-flow	github-actions	pending completion set done
#994	update-jspecify	Merge 60872c13e into eb62d5711	Pull #673	09 Nov 2022 06:54PM UTC	web-flow	github-actions	pending completion set done
#993	master	Fix Serialization: Split field initialization region into smaller regions (#658) This PR resolves #657 by splitting the field initialization region into smaller regions. We currently only consider the value "null", for all `errors/fixes` reported...	push	08 Nov 2022 08:15PM UTC	web-flow	github-actions	pending completion set done

← Previous
1
2
…
9
10
11
12
13
14
15
16
17
…
79
80
Next →