7 Commits
Author SHA1 Message Date
Uri Shaked aa8f760375 style: fix lint errors + reformat source with black 2023-09-21 22:30:52 +03:00
Uri Shaked 8df6312688 refactor: add types to git_utils 2023-09-19 19:07:34 +03:00
Uri Shaked 6034820170 fix(datasheet): use shuttle name from config
also, dynamically figure out the repo URL (instead of using an hardcoded value)
2023-07-30 09:40:16 +03:00
Uri Shaked 26785bea0e feat: support submissions from app.tinytapeout.com (#21)
* feat: copy_macros and copy_final_results commands

* feat: generate shuttle index JSON
includes information about all projects:
- repo
- commit
- mux index
- mux position (X/Y)

* feat: add --create-efabless-submission option
2023-07-21 15:52:04 +03:00
Darryl L. Miles 5b15716666 git_utils.py: headers_try_to_add_authorization_from_environment(headers: dict)
This should make the project easier to setup and use and less likely to break
(through expired user tokens).

After this commit:
 * Pickup implicit GHA os.environ $GITHUB_ACTOR and $GITHUB_TOKEN by default.
    This will provide a good enough token for read-only access to public
    repositories.
 * Allow override with custom secret GH_USERNAME and/or GH_TOKEN just as
    before in those use cases where a token with additional scopes maybe needed
    to perform administrative actions.
   The values must be defined and non-blank to be considered.
   A non-blank expires token will cause failure (as before).
 * Continue on a best-effort basis (of not using any token to access public
    repositories) instead of failing the workflow immediately.
 * Emit a warning to stderr for diagnostic purpose from GHA and local shell
    in scenarios where no token is setup.

This means it is still correct to keep the *.yaml config as-is:
  env:
    GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
    GH_USERNAME:  ${{ secrets.GH_USERNAME }}
    GH_TOKEN:     ${{ secrets.GH_TOKEN }}

Because a normal consumer of this project inside a GHA will utilise their
$GITHUB_ACTOR and $GITHUB_TOKEN values instead of acting upon blank values
for $GH_USERNAME and $GH_TOKEN.
2023-06-02 13:48:21 +01:00
Matt Venn bd524505bf fix problem with wokwi files not being fetched. Add the wokwi truthtable testing that got lost in merge 2023-05-25 14:57:16 +02:00
matt venn 28a4340240 wip 2023-03-13 18:05:44 +01:00