In Powdr
I look at what files are changed
so let’s start with, what is YML?
YAML (YAML Ain’t Markup Language) is a human-readable data serialization format commonly used for configuration files and data exchange between programming languages.
What is the .github Folder and workflow Directory?
The .github folder is a special directory in a GitHub repository that is used to store configuration files related to GitHub-specific features. The workflow directory within .github is where you define automated processes that are run by GitHub Actions.
GitHub Actions is an automation tool integrated into GitHub that allows developers to automate tasks like building, testing, and deploying their code. In the context of deployment on Github server.
the parameter: MAX_DEGREE_LOG is changed. seems define the maximum degree for a machine?
What is a trait?
I found the definition of machine, it is a trait, so, what is a trait again?
In Rust, a trait is a way to define shared behavior across multiple types.
A trait defines a set of methods that the types implementing that trait must provide.
example: