search

leanprover-community / lean-liquid

💧 Liquid Tensor Experiment
176 stars 15 forks source link

Upload oleans for non-master branches too #102

Closed bentoner closed 2 years ago

bentoner commented 2 years ago

I've pushed these changes to the bump_may_19 branch too.

bentoner commented 2 years ago

These changes are already on master via the bump_may_19 branch. Sorry - didn't realize merge was in progress and I was therefore skipping review.