Skip to content

chore: update documents.toml#8

Open
wucke13 wants to merge 1 commit intomainfrom
dev/update-documents.toml
Open

chore: update documents.toml#8
wucke13 wants to merge 1 commit intomainfrom
dev/update-documents.toml

Conversation

@wucke13
Copy link
Copy Markdown
Contributor

@wucke13 wucke13 commented Oct 13, 2024

Also:

  • regenerate CI job list
  • fix CI generator script
  • make prettier ignore the flake.lock

@wucke13 wucke13 force-pushed the dev/update-documents.toml branch 2 times, most recently from 5c77056 to 2324f38 Compare October 13, 2024 22:31
Also:

- regenerate CI job list
- fix CI generator script
- make prettier ignore the flake.lock
@wucke13 wucke13 force-pushed the dev/update-documents.toml branch from 2324f38 to 4e9b5c7 Compare October 13, 2024 22:33
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