ConceptProd/ConceptPortal-public
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptPortal.git synced 2025-06-26 13:00:39 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity
a382686701
ConceptPortal-public/rsconcept
History
Ivan a382686701
Some checks are pending
Backend CI / build (3.12) (push) Waiting to run
Details
Frontend CI / build (22.x) (push) Waiting to run
Details
M: Add substitution propagation for Inline synthesis
2024-08-13 23:54:16 +03:00
..
backend M: Add substitution propagation for Inline synthesis 2024-08-13 23:54:16 +03:00
frontend Update dependencies 2024-08-13 23:45:02 +03:00