Skip to content
This repository has been archived by the owner on Sep 11, 2023. It is now read-only.

Actions: BirkhoffG/ReLax

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
245 workflow runs
245 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Add an option to disable jit in benchmark.py
Docs #116: Commit 1a6d199 pushed by BirkhoffG
June 2, 2023 15:51 8m 11s master
June 2, 2023 15:51 8m 11s
pages build and deployment
pages-build-deployment #146: by github-pages bot
June 2, 2023 14:30 32s
June 2, 2023 14:30 32s
Update results
CI #455: Commit ef47ae0 pushed by BirkhoffG
June 2, 2023 14:24 6m 59s master
June 2, 2023 14:24 6m 59s
Update results
Docs #115: Commit ef47ae0 pushed by BirkhoffG
June 2, 2023 14:24 6m 10s master
June 2, 2023 14:24 6m 10s
pages build and deployment
pages-build-deployment #145: by github-pages bot
June 2, 2023 13:14 31s
June 2, 2023 13:14 31s
Merge pull request #187 from BirkhoffG/benchmark-script
Docs #114: Commit 5d16fa5 pushed by BirkhoffG
June 2, 2023 13:07 7m 9s master
June 2, 2023 13:07 7m 9s
Merge pull request #187 from BirkhoffG/benchmark-script
CI #454: Commit 5d16fa5 pushed by BirkhoffG
June 2, 2023 13:07 9m 11s master
June 2, 2023 13:07 9m 11s
rename benchmark_large_dataset.py
CI #453: Pull request #187 opened by BirkhoffG
June 2, 2023 13:07 9m 55s benchmark-script
June 2, 2023 13:07 9m 55s
pages build and deployment
pages-build-deployment #144: by github-pages bot
June 2, 2023 07:05 41s
June 2, 2023 07:05 41s
Update results
CI #452: Commit 85b4523 pushed by BirkhoffG
June 2, 2023 06:59 9m 14s master
June 2, 2023 06:59 9m 14s
Update results
Docs #113: Commit 85b4523 pushed by BirkhoffG
June 2, 2023 06:59 6m 36s master
June 2, 2023 06:59 6m 36s
pages build and deployment
pages-build-deployment #143: by github-pages bot
June 2, 2023 05:44 31s
June 2, 2023 05:44 31s
Update DiverseCF
CI #451: Commit 8eac90a pushed by BirkhoffG
June 2, 2023 05:37 8m 46s master
June 2, 2023 05:37 8m 46s
Update DiverseCF
Docs #112: Commit 8eac90a pushed by BirkhoffG
June 2, 2023 05:37 6m 32s master
June 2, 2023 05:37 6m 32s
pages build and deployment
pages-build-deployment #142: by github-pages bot
June 1, 2023 02:58 34s
June 1, 2023 02:58 34s
pages build and deployment
pages-build-deployment #141: by github-pages bot
June 1, 2023 02:56 37s
June 1, 2023 02:56 37s
pages build and deployment
pages-build-deployment #140: by github-pages bot
June 1, 2023 02:55 33s
June 1, 2023 02:55 33s
clean up scripts
CI #450: Commit f571cc9 pushed by BirkhoffG
June 1, 2023 02:52 7m 24s master
June 1, 2023 02:52 7m 24s
clean up scripts
Docs #111: Commit f571cc9 pushed by BirkhoffG
June 1, 2023 02:52 6m 32s master
June 1, 2023 02:52 6m 32s
Merge pull request #181 from Grahams-Uncle/master
CI #449: Commit 83b70fd pushed by BirkhoffG
June 1, 2023 02:49 7m 51s master
June 1, 2023 02:49 7m 51s
Merge pull request #181 from Grahams-Uncle/master
Docs #110: Commit 83b70fd pushed by BirkhoffG
June 1, 2023 02:49 6m 22s master
June 1, 2023 02:49 6m 22s
Merge pull request #185 from Grahams-Uncle/forktable
Docs #109: Commit ed1d6de pushed by BirkhoffG
June 1, 2023 02:47 7m 38s master
June 1, 2023 02:47 7m 38s
Merge pull request #185 from Grahams-Uncle/forktable
CI #448: Commit ed1d6de pushed by BirkhoffG
June 1, 2023 02:47 7m 44s master
June 1, 2023 02:47 7m 44s