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

Debug token issue #8

Open
wants to merge 37 commits into
base: master
Choose a base branch
from
Open

Debug token issue #8

wants to merge 37 commits into from

Conversation

pitag-ha
Copy link
Owner

@pitag-ha pitag-ha commented Dec 5, 2023

No description provided.

Copy link

github-actions bot commented Dec 5, 2023

Hello :)

2 similar comments
@merlin-ois
Copy link

Hello :)

Copy link

Hello :)

@pitag-ha pitag-ha force-pushed the debug-token-issue branch 4 times, most recently from 384c32b to a923d5d Compare December 10, 2023 23:17
@pitag-ha pitag-ha force-pushed the debug-token-issue branch 2 times, most recently from 4071a95 to b6d286c Compare December 15, 2023 16:38
@pitag-ha pitag-ha force-pushed the debug-token-issue branch 2 times, most recently from 99afa9d to 16a2c8f Compare December 18, 2023 13:10
pitag-ha and others added 11 commits December 18, 2023 14:14
First working POC

A few updates

Checking out GH action artefacts

Find common ancestor

Useless commit to test GH action

Create data in parallel, save as artefacts

Save shas in job output

Add diff step

Try sending a comment to the PR

Improve save shas workflow

Upload diff as artifact

Upload diff as artifact

Fix conditional and extract shared variables

Co-authored-by: Enguerrand Decorne <[email protected]>

Fix label logic conditional

Co-authored-by: Enguerrand Decorne <[email protected]>

Do some stuff

Co-authored-by: Enguerrand Decorne <[email protected]>

Fix the approval workflow and others

Restructure

Remove timestamp from diff

Follow up on approval workflow

Fix artifact download

Use curl to download diff artifact

Debug why the gh api rate limit gets exceeded

Fix the approve workflow, i.e. sending a long msg contianing hash etc

Use GITHUB_TOKEN again (works when using the right syntax)

Update comment msg

Add output logic

Debug comparison of diff hashes

Handle both full reponses data and distilled data

Try to be more coherent with quotes

Fix URLs

Improve env hygiene and remove artifact_names job

Improve comment on approval

Create real data

Update merl-an

Update base branch name

Fix diff name and diff output

Disable the other gh actions for now

Fix the approval msg
Co-authored-by: Enguerrand Decorne <[email protected]>

Document the env variables

Co-authored-by: Enguerrand Decorne <[email protected]>

Pull in Irmin

Co-authored-by: Enguerrand Decorne <[email protected]>
Install Irmin deps and build Irmin

Improve the diff output

Update the permissions

Format the diffs in a readable way

Move Irmin's lockfile

Fix diff creation

Debug why ocamlopt isn't in the PATH

Create more data

Reduce dif context

Build test/irmin-pack as well

Make sure Irmin deps are solved from its lock file

Use opam-monorepo to pull Irmin's dependencies instead of opam

Debugging and first irmin build cache implementation

More debugging and first merl-an cache implementation

Try both irmin and merl-an cache

Clean up the PR comment and stdout msgs

Last polishing of the diff output

Avoid triggering the workflow when unnecessary

Clean up commented code and debug steps

Make create_diff script more readable

Clean up and format the yml-file
Copy link

This PR changes the response of some of the ocamlmerlin queries, that were run and analyzed by the Merlin Fuzzy CI. The change is not considered a regression, the analysis of this PR has been approved in its following state:

  • URL to download the generated data sets and their diffs between PR base branch and merge branch (at the moment of approval): foooo.com
  • 256-sha of full responses diff: 123456789

@pitag-ha pitag-ha force-pushed the master branch 2 times, most recently from 74f80e2 to 857f17a Compare December 20, 2023 11:39
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.

2 participants