mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-23 10:12:21 +03:00
now its just mac release list failing
This commit is contained in:
parent
e9ffacda41
commit
eaa4151f16
2
.gitattributes
vendored
2
.gitattributes
vendored
@ -1,4 +1,4 @@
|
||||
# Force certain filse to be LF
|
||||
# Force certain files to be LF
|
||||
*.leo text eol=lf
|
||||
*.out text eol=lf
|
||||
*.rs text eol=lf
|
||||
|
@ -226,16 +226,6 @@ impl Namespace for CompileNamespace {
|
||||
.unwrap_or_else(|_| "Error converting ast to string.".to_string()),
|
||||
);
|
||||
|
||||
if test.name == "string_transformation" {
|
||||
println!(
|
||||
"{}",
|
||||
Ast::from_json_file("/tmp/output/initial_ast.json".into())
|
||||
.unwrap_or_else(|_| Ast::new(Program::new("Error reading initial theorem.".to_string())))
|
||||
.to_json_string()
|
||||
.unwrap_or_else(|_| "Error converting ast to string.".to_string()),
|
||||
);
|
||||
}
|
||||
|
||||
if std::fs::read_dir("/tmp/output").is_ok() {
|
||||
std::fs::remove_dir_all(std::path::Path::new("/tmp/output")).expect("Error failed to clean up output dir.");
|
||||
}
|
||||
|
@ -15,7 +15,7 @@
|
||||
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
|
||||
|
||||
use crate::{commands::Command, config::Config, context::Context, updater::Updater};
|
||||
use leo_errors::{CliError, Result};
|
||||
use leo_errors::Result;
|
||||
|
||||
use structopt::StructOpt;
|
||||
use tracing::span::Span;
|
||||
@ -61,7 +61,7 @@ impl Command for Update {
|
||||
fn apply(self, _: Context, _: Self::Input) -> Result<Self::Output> {
|
||||
// If --list is passed, list all available versions and return.
|
||||
if self.list {
|
||||
return Ok(Updater::show_available_releases().map_err(CliError::could_not_fetch_versions)?);
|
||||
return Updater::show_available_releases();
|
||||
}
|
||||
|
||||
// Handles enabling and disabling automatic updates in the config file.
|
||||
|
@ -36,7 +36,7 @@ impl Updater {
|
||||
.build()
|
||||
.map_err(CliError::self_update_error)?
|
||||
.fetch()
|
||||
.map_err(CliError::self_update_error)?;
|
||||
.map_err(CliError::could_not_fetch_versions)?;
|
||||
|
||||
let mut output = "\nList of available versions\n".to_string();
|
||||
for release in releases {
|
||||
|
Loading…
Reference in New Issue
Block a user