Branch: refs/heads/master
Home: https://github.com/jenkins-infra/jenkins.io
Commit: a263c1d39eb74d9f57b61b05c086159419387da7
https://github.com/jenkins-infra/jenkins.io/commit/a263c1d39eb74d9f57b61b05c086159419387da7
Author: Martin d'Anjou <[email protected]>
Date: 2018-12-22 (Sat, 22 Dec 2018)
Changed paths:
A content/projects/gsoc/2019/project-ideas/eda-coverage-adapters.adoc
Log Message:
-----------
GSoC Draft: eda coverage adapters
Commit: 8f9cfdf1dbcb89f6530dfa645c4a2a7673cc6aad
https://github.com/jenkins-infra/jenkins.io/commit/8f9cfdf1dbcb89f6530dfa645c4a2a7673cc6aad
Author: Martin d'Anjou <[email protected]>
Date: 2018-12-22 (Sat, 22 Dec 2018)
Changed paths:
M content/projects/gsoc/2019/project-ideas/eda-coverage-adapters.adoc
Log Message:
-----------
Remove text, add skills, expand EDA acronym
Commit: c8b180ad03cc3ea0d87d71f60ccfa53092f5a90e
https://github.com/jenkins-infra/jenkins.io/commit/c8b180ad03cc3ea0d87d71f60ccfa53092f5a90e
Author: Martin d'Anjou <[email protected]>
Date: 2018-12-22 (Sat, 22 Dec 2018)
Changed paths:
M content/projects/gsoc/2019/project-ideas/eda-coverage-adapters.adoc
Log Message:
-----------
Separate skills entries
Commit: 52e51516b323c48667496cc6193777ec7a1c1ba4
https://github.com/jenkins-infra/jenkins.io/commit/52e51516b323c48667496cc6193777ec7a1c1ba4
Author: Oleg Nenashev <[email protected]>
Date: 2018-12-22 (Sat, 22 Dec 2018)
Changed paths:
A content/projects/gsoc/2019/project-ideas/eda-coverage-adapters.adoc
Log Message:
-----------
Merge pull request #1991 from martinda/gsoc/eda-cov-adapter-draft
GSoC Draft: eda coverage adapters
Compare:
https://github.com/jenkins-infra/jenkins.io/compare/9ee24adf57ba...52e51516b323
**NOTE:** This service has been marked for deprecation:
https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
