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
#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