Comments (7)
Registration pull request created: JuliaRegistries/General/14044
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.1.2 -m "<description of version>" 62d6216e31fa3dd598d7c803fb8b25deab14c300
git push origin v0.1.2
Also, note the warning: This looks like a new registration that registers version 0.1.2.
Ideally, you should register an initial release with 0.0.1, 0.1.0 or 1.0.0 version numbers
This can be safely ignored. However, if you want to fix this you can do so. Call register() again after making the fix. This will update the Pull request.
from domainintegrals.jl.
@JuliaRegistrator register
from domainintegrals.jl.
Registration pull request created: JuliaRegistries/General/14392
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.1.3 -m "<description of version>" 0b23f13b9de5cb99d1f8d260630bf15d5c6a5049
git push origin v0.1.3
Also, note the warning: This looks like a new registration that registers version 0.1.3.
Ideally, you should register an initial release with 0.0.1, 0.1.0 or 1.0.0 version numbers
This can be safely ignored. However, if you want to fix this you can do so. Call register() again after making the fix. This will update the Pull request.
from domainintegrals.jl.
@JuliaRegistrator register
from domainintegrals.jl.
Registration pull request updated: JuliaRegistries/General/14392
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.1.3 -m "<description of version>" 70d0ce6d194ad1b2139db42e45b75504c0ef255d
git push origin v0.1.3
Also, note the warning: This looks like a new registration that registers version 0.1.3.
Ideally, you should register an initial release with 0.0.1, 0.1.0 or 1.0.0 version numbers
This can be safely ignored. However, if you want to fix this you can do so. Call register() again after making the fix. This will update the Pull request.
from domainintegrals.jl.
@JuliaRegistrator register
from domainintegrals.jl.
Registration pull request created: JuliaRegistries/General/15220
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.2.0 -m "<description of version>" 8fec0937dd74b32d7e4fa9080ff70ea03f2d69b0
git push origin v0.2.0
from domainintegrals.jl.
Related Issues (8)
- v0.2.1 HOT 1
- v0.2.2 HOT 1
- TagBot trigger issue HOT 20
- version 0.2.3 HOT 1
- version 0.3 series HOT 5
- Semi algebraic domains HOT 7
- Use Quadrature.jl? HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from domainintegrals.jl.