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

Fuzzy ci last wrap ups #10

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

Fuzzy ci last wrap ups #10

wants to merge 14 commits into from

Conversation

pitag-ha
Copy link
Owner

@pitag-ha pitag-ha commented Jan 8, 2024

No description provided.

pitag-ha and others added 11 commits December 20, 2023 12:43
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
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]>
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
With this, the Fuzzy CI workflow does not do anything that requires
permissions. Permissions are not granted when the workflow is triggered
by a PR from a fork.
Co-authored-by: Ulysse <[email protected]>
Copy link

github-actions bot commented Jan 8, 2024

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:

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