Skip to content

Conversation

@sebasguts
Copy link
Member

No description provided.

@codecov
Copy link

codecov bot commented Jan 29, 2019

Codecov Report

Merging #3248 into master will decrease coverage by <.01%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master    #3248      +/-   ##
==========================================
- Coverage   85.09%   85.09%   -0.01%     
==========================================
  Files         695      695              
  Lines      344336   344336              
==========================================
- Hits       293024   293023       -1     
- Misses      51312    51313       +1
Impacted Files Coverage Δ
src/stats.c 94.93% <0%> (-0.21%) ⬇️

@coveralls
Copy link

Coverage Status

Coverage increased (+0.0002%) to 84.934% when pulling 629febc on sebasguts:sg/export_julia_flags_to_sysinfo into c381e0c on gap-system:master.

@fingolfin fingolfin merged commit e1eb601 into gap-system:master Jan 29, 2019
@fingolfin fingolfin added the topic: julia Julia GC integration and related matters label Jan 29, 2019
@fingolfin
Copy link
Member

Backported to stable-4.10 in c67b4f0

@olexandr-konovalov olexandr-konovalov added this to the GAP 4.10.1 milestone Feb 23, 2019
@olexandr-konovalov olexandr-konovalov added the release notes: added PRs introducing changes that have since been mentioned in the release notes label Feb 23, 2019
@fingolfin fingolfin removed this from the GAP 4.10.1 milestone Jun 13, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release notes: added PRs introducing changes that have since been mentioned in the release notes topic: build system topic: julia Julia GC integration and related matters

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants