Skip to content

Commit

Permalink
ci: remove extraction of data out of build html files
Browse files Browse the repository at this point in the history
  • Loading branch information
rishadbaniya committed Oct 6, 2024
1 parent 9710585 commit 422d6eb
Showing 1 changed file with 1 addition and 11 deletions.
12 changes: 1 addition & 11 deletions .github/workflows/CompileTimeDelta.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,6 @@ jobs:
env:
CARGO_TERM_COLOR: always

# regarding the caching of build files, for now i've decided we are building fresh
steps:
- name: Checkout main repo
uses: actions/checkout@v4
Expand All @@ -29,23 +28,14 @@ jobs:
- name: Create required directories & copy raw timing file (with the timestamp in it's name) to target repository's timings/raw_html directory
run: |
mkdir -p compile-timings/timings/raw_html
mkdir -p compile-timings/timings/build_metadatas/
mkdir -p compile-timings/timings/build_units/
mv debate-map/target/cargo-timings/cargo-timing-* compile-timings/timings/raw_html
- name: Extract compile timing information from any new raw build timing html file that's not in tracker.json and add them to build_metadatas & build_units
working-directory: compile-timings
run: |
NEW_BUILD_HTML_FILE=$(ls -t timings/raw_html/ | head -n1)
cd compile_timing_extractor
cargo run -- --input-file ../timings/raw_html/$NEW_BUILD_HTML_FILE --tracker-file ../timings/tracker.json --metadata-dir ../timings/build_metadatas --units-data-dir ../timings/build_units
- name: Commit and push changes
working-directory: compile-timings
run: |
git config user.name "compile-timings[bot]"
git config user.email [email protected]
git add timings
NEW_BUILD_HTML_FILE=$(ls -t timings/raw_html/ | head -n1)
git commit -m "ci: add build timing html file $NEW_BUILD_HTML_FILE and it's extracted json files"
git commit -m "ci: add build timing html file $NEW_BUILD_HTML_FILE"
git push

0 comments on commit 422d6eb

Please sign in to comment.