8000 Agency hasAsXXX using std::optional by maierlars · Pull Request #14376 · arangodb/arangodb · GitHub
[go: up one dir, main page]
Skip to content

Agency hasAsXXX using std::optional #14376

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 14 commits into from
Jul 29, 2021
Merged

Agency hasAsXXX using std::optional #14376

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
a9b8448
Replaced broken std::pair result for hasAsXXX with std::optional.
Jun 17, 2021
284300c
Merge branch 'devel' of github.com:arangodb/arangodb into feature/has…
goedderz Jun 29, 2021
cd81c87
Applied changes suggested during review
goedderz Jun 29, 2021
7484e24
Merge branch 'devel' of github.com:arangodb/arangodb into feature/has…
goedderz Jun 29, 2021
1121730
Fixed compilation.
Jun 30, 2021
96a5818
Fixed tests.
Jun 30, 2021
6bb8eb5
Fixed maintenance tests.
Jul 1, 2021
1a0bcc3
Fixed tests
goedderz Jul 5, 2021
bf3a9cd
Fixed C++ tests
goedderz Jul 5, 2021
5505ba8
Fixed two cases of bad optional access
goedderz Jul 6, 2021
16493f5
Avoid more bad optional accesses
goedderz Jul 6, 2021
91e6a35
Merge branch 'devel' of github.com:arangodb/arangodb into feature/has…
goedderz Jul 6, 2021
ca15f57
Avoid more bad optional accesses
goedderz Jul 6, 2021
6534a19
Merge remote-tracking branch 'origin/devel' into feature/hasAs-using-…
Jul 28, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'devel' of github.com:arangodb/arangodb into feature/has… 
…As-using-optional
  • Loading branch information
@goedderz
goedderz committed Jun 29, 2021
commit 7484e24a65b0332456f0f94ff64eabf3328a47d0

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.
0