Skip to content
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.

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

Notion api polling #87

Merged
merged 41 commits into from
Oct 3, 2023
Merged

Notion api polling #87

merged 41 commits into from
Oct 3, 2023

Conversation

SG60
Copy link
Owner

@SG60 SG60 commented Jul 25, 2023

No description provided.

@SG60 SG60 linked an issue Jul 25, 2023 that may be closed by this pull request
@SG60 SG60 force-pushed the notion-api-polling branch 4 times, most recently from 1807011 to 983a678 Compare July 28, 2023 22:07
@SG60 SG60 force-pushed the notion-api-polling branch 3 times, most recently from a5e5f6f to 3af1186 Compare August 6, 2023 20:17
@SG60 SG60 force-pushed the notion-api-polling branch from 67b7925 to 713d643 Compare October 3, 2023 11:31
SG60 added 21 commits October 3, 2023 14:53
Previously some logs were showing "00000..." as their trace_id.

The formatter has now been fixed, to fall back to the parent otel
context if the current span's `SpanBuilder` (contains data recorded
during the current span) does not include a valid trace_id.
ci,fix: shell syntax
…han building from cache"

It didn't make the process any faster sadly. Loading the image into
docker still takes around 30 seconds.

This reverts commit 3af1186.
I was building both binaries for no reason! The old "fun"
binary was getting built and placed in the docker container.
@SG60 SG60 force-pushed the notion-api-polling branch from 713d643 to 7006bf5 Compare October 3, 2023 13:53
@SG60 SG60 merged commit 7006bf5 into main Oct 3, 2023
@SG60 SG60 deleted the notion-api-polling branch October 3, 2023 21:37
@SG60 SG60 restored the notion-api-polling branch October 3, 2023 21:37
@SG60 SG60 removed a link to an issue Oct 3, 2023
@SG60 SG60 deleted the notion-api-polling branch October 3, 2023 21:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant