Skip to content

Commit

Permalink
Add a placeholder workflow to gather new competitive benchmarks
Browse files Browse the repository at this point in the history
  • Loading branch information
countvajhula committed Jan 16, 2024
1 parent d627647 commit d754695
Showing 1 changed file with 43 additions and 0 deletions.
43 changes: 43 additions & 0 deletions .github/workflows/competitive-benchmarks.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
name: competitive-benchmarks

on:
push:
branches:
- main # TODO: change to gather-new-benchmark-data
paths:
- 'qi-sdk/profile/**'
- 'qi-lib/**'
- '.github/workflows/competitive-benchmarks.yml'

defaults:
run:
shell: bash

jobs:
deploy-docs:
runs-on: ubuntu-latest
name: Build and deploy backup docs
steps:
- name: Checkout
uses: actions/checkout@master
- name: Install Racket
uses: Bogdanp/[email protected]
with:
architecture: 'x64'
distribution: 'full'
variant: 'CS'
version: 'stable'
- name: Install Package and its Dependencies
run: make install
- name: Install SDK
run: make install-sdk # TODO: should first add dependency on new benchmarks suite in info.rkt
- name: Run benchmark
shell: 'bash --noprofile --norc -eo pipefail {0}'
run: make new-benchmarks # TODO: add this new target
- name: Push to GitHub Pages
uses: JamesIves/[email protected]
with:
folder: competitive-benchmarks/qi
target-folder: competitive-benchmarks
branch: gh-pages
clean: true

0 comments on commit d754695

Please sign in to comment.