Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / Atypon-OpenSource/manuscripts-library issues and pull requests

#42 - LEAN-3828

Pull Request - State: closed - Opened by zax-assistant[bot] 7 months ago - 4 comments

#41 - LEAN-3636

Pull Request - State: closed - Opened by zax-assistant[bot] 8 months ago - 3 comments

#40 - LEAN-3307

Pull Request - State: closed - Opened by zax-assistant[bot] 8 months ago - 1 comment

#39 - LEAN-3307

Pull Request - State: closed - Opened by zax-assistant[bot] 8 months ago - 2 comments

#38 - update node version to 20.14 (lts/iron)

Pull Request - State: closed - Opened by hhusban 9 months ago - 2 comments

#37 - LEAN-3423: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] 11 months ago - 2 comments

#36 - LEAN-3377: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] 12 months ago - 1 comment

#35 - LEAN-3377: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] 12 months ago - 2 comments

#34 - LEAN-3376: import/export author-notes

Pull Request - State: closed - Opened by mbetamony 12 months ago - 2 comments

#33 - LEAN-3366: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] 12 months ago - 2 comments

#32 - LEAN-3092: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] about 1 year ago - 5 comments

#31 - LEAN-3074: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] about 1 year ago - 5 comments

#30 - LEAN-3034

Pull Request - State: closed - Opened by mnatsheh about 1 year ago - 4 comments

#29 - LEAN-2857

Pull Request - State: closed - Opened by mnatsheh about 1 year ago

#28 - LEAN-3030

Pull Request - State: closed - Opened by zax-assistant[bot] about 1 year ago - 2 comments

#27 - LEAN-2985: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] about 1 year ago - 3 comments

#26 - LEAN-3014-B: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] over 1 year ago - 3 comments

#25 - LEAN-3014: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] over 1 year ago - 5 comments

#24 - LEAN-2852: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] over 1 year ago - 36 comments

#23 - LIT-537312: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] over 1 year ago - 3 comments

#22 - Duplicate citations fix

Pull Request - State: closed - Opened by jirikaiser-atypon over 1 year ago

#21 - LEAN-2880: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] over 1 year ago - 4 comments

#20 - REFTC-90 - Finalize TC in prosemirror (LEAN-2737)

Pull Request - State: closed - Opened by asouqi over 1 year ago

#19 - LEAN-2744: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] over 1 year ago - 2 comments

#18 - LEAN-2715: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] over 1 year ago - 2 comments

#17 - Lean 2143 v2

Pull Request - State: closed - Opened by jirikaiser-atypon over 1 year ago

#16 - Test

Pull Request - State: closed - Opened by asouqi over 1 year ago - 1 comment

#15 - LEAN-2707: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] over 1 year ago - 2 comments

#14 - LIT-528106: Publishing new version of @manuscripts/library

Pull Request - State: closed - Opened by zax-assistant[bot] over 1 year ago - 5 comments

#13 - Remove examples

Pull Request - State: closed - Opened by mnatsheh over 1 year ago

#12 - Lean 2651

Pull Request - State: closed - Opened by asouqi over 1 year ago - 4 comments

#11 - LEAN-2501

Pull Request - State: closed - Opened by mbetamony over 1 year ago - 1 comment

#10 - LEAN-2500

Pull Request - State: closed - Opened by asouqi over 1 year ago

#9 - Lean 2143

Pull Request - State: closed - Opened by jirikaiser-atypon over 1 year ago - 1 comment

#8 - LEAN-2407

Pull Request - State: closed - Opened by asouqi almost 2 years ago

#7 - LEAN-2495 - update json-schema version

Pull Request - State: closed - Opened by mnatsheh almost 2 years ago

#6 - LEAN-2407

Pull Request - State: closed - Opened by asouqi almost 2 years ago

#5 - Vite support

Pull Request - State: closed - Opened by mbartenev-atypon almost 2 years ago

#4 - version update

Pull Request - State: closed - Opened by mbartenev-atypon almost 2 years ago

#3 - test

Pull Request - State: closed - Opened by mnatsheh about 2 years ago

#2 - DevDeps to normal. Husky fixed. Tests fixed.

Pull Request - State: closed - Opened by mbartenev-atypon about 2 years ago

#1 - Update dependencies

Pull Request - State: closed - Opened by mnatsheh about 2 years ago