Skip to content

馃敟 Hotfix: Fix links to references in the document for a proper CI build - #46

Merged
ZamDimon merged 1 commit into
mainfrom
fix/references
Aug 25, 2026
Merged

馃敟 Hotfix: Fix links to references in the document for a proper CI build#46
ZamDimon merged 1 commit into
mainfrom
fix/references

Conversation

@ZamDimon

Copy link
Copy Markdown
Collaborator

Objective

Since cryptobib references an external repository, the CI build does not pull it and as a result, references get broken in the CI-built document. Since the document does not rely on too many references (especially the new ones), we decided to fixate the current latest cryptobib files in the refs folder.

Changed

  • Moved cryptobib files to refs folder.
  • Renamed bibliography.bib file to add.bib and moved it to refs folder as well.

@ZamDimon ZamDimon self-assigned this Aug 25, 2026
@ZamDimon ZamDimon added the polishing Tiny fixes and polishes label Aug 25, 2026
@ZamDimon
ZamDimon merged commit 9d4dd15 into main Aug 25, 2026
1 check passed
@ZamDimon
ZamDimon deleted the fix/references branch August 25, 2026 10:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

polishing Tiny fixes and polishes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants