super2's People
Forkers
robertylewissuper2's Issues
Build failure on automatic dependency update on `lean-3.18.4`
This is an automated message from the leanprover-contrib repository.
Your project's lean-3.18.4 branch has failed to build with recent updates to mathlib and/or its other dependencies.
This is often due to changes in mathlib, but could also happen due to changes in other dependencies or your own changes to your branch. If it is due to mathlib, the conflicting changes occur in this range.
The failure occurred using Lean version 3.18.4.
Automatic upgrade has failed
Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.
If your project currently builds, this is probably because of changes made in its dependencies:
- mathlib: changes
You can see the errors by running:
leanproject up
leanproject build
Build failure on automatic dependency update on `lean-3.19.0`
This is an automated message from the leanprover-contrib repository.
Your project's lean-3.19.0 branch has failed to build with recent updates to mathlib and/or its other dependencies.
The failure occurred using Lean version 3.19.0.
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.