Skip to content

Actions: GaloisInc/jolt

Actions

CI Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'upstream/main' into feature/CI-plot-ben… CI Benchmarks #24: Commit 5dc171e pushed by zutshi
January 29, 2025 07:39 26m 51s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 29, 2025 07:39 26m 51s
print output of time for each benchmark for debug purposes CI Benchmarks #23: Commit 56a0324 pushed by zutshi
January 29, 2025 07:36 25m 53s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 29, 2025 07:36 25m 53s
update CI workflow to trigger on feature/CI-plot-benchmarks branch CI Benchmarks #22: Commit 734cf9a pushed by zutshi
January 29, 2025 07:29 25m 40s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 29, 2025 07:29 25m 40s
exit the CI if build fails. CI Benchmarks #21: Commit b236dfe pushed by zutshi
January 29, 2025 07:02 27m 7s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 29, 2025 07:02 27m 7s
renamed memory-ops-ex -> memory-ops. The dir name is now consistent w… CI Benchmarks #20: Commit e2269c6 pushed by zutshi
January 29, 2025 06:57 28m 23s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 29, 2025 06:57 28m 23s
renamed memory-ops -> memory-ops-ex. The dir name is now consistent w… CI Benchmarks #19: Commit dec4c23 pushed by zutshi
January 29, 2025 06:55 51s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 29, 2025 06:55 51s
pinned ubuntu 24.04 CI Benchmarks #18: Commit aac39c9 pushed by zutshi
January 29, 2025 06:54 23m 15s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 29, 2025 06:54 23m 15s
run all benchmarks CI Benchmarks #17: Commit c046f44 pushed by zutshi
January 29, 2025 06:35 23m 44s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 29, 2025 06:35 23m 44s
bugfix: time is 0 CI Benchmarks #16: Commit b6d1da6 pushed by zutshi
January 28, 2025 22:39 4m 8s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 28, 2025 22:39 4m 8s
bugfix: time is 0 CI Benchmarks #15: Commit 44d9500 pushed by zutshi
January 28, 2025 22:22 2m 37s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 28, 2025 22:22 2m 37s
debug: time is 0 CI Benchmarks #14: Commit 7865536 pushed by zutshi
January 28, 2025 22:07 3m 59s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 28, 2025 22:07 3m 59s
bugfix: terminated json properly. CI Benchmarks #13: Commit 6e6e1aa pushed by zutshi
January 28, 2025 21:08 3m 58s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 28, 2025 21:08 3m 58s
Excluded build time. Included memory plotting. CI Benchmarks #12: Commit 112fea4 pushed by zutshi
January 28, 2025 20:49 4m 47s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 28, 2025 20:49 4m 47s
enabled more tests CI Benchmarks #11: Commit 86bcc30 pushed by zutshi
January 1, 2025 05:53 23m 52s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 1, 2025 05:53 23m 52s
minor: changed name CI Benchmarks #10: Commit 5aa9aee pushed by zutshi
January 1, 2025 01:56 6m 19s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 1, 2025 01:56 6m 19s
added result generation CI Benchmarks #9: Commit dbd5aaf pushed by zutshi
January 1, 2025 01:45 6m 32s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
January 1, 2025 01:45 6m 32s
added cahcing CI Benchmarks #8: Commit 7ff5096 pushed by zutshi
December 31, 2024 21:49 24m 27s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
December 31, 2024 21:49 24m 27s
added back cancel-in-progress CI Benchmarks #7: Commit 1b53646 pushed by zutshi
December 31, 2024 21:47 2m 23s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
December 31, 2024 21:47 2m 23s
removed all project files CI Benchmarks #6: Commit 3844f2e pushed by zutshi
December 31, 2024 21:42 12s gh-pages
gh-pages
December 31, 2024 21:42 12s
excluded memory intensive examples and added back benchmark-ci CI Benchmarks #5: Commit 2f5901d pushed by zutshi
December 31, 2024 21:39 9m 39s gh-pages
gh-pages
December 31, 2024 21:39 9m 39s
excluded memory intensive examples and added back benchmark-ci CI Benchmarks #4: Commit 2f5901d pushed by zutshi
December 31, 2024 20:06 25m 28s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
December 31, 2024 20:06 25m 28s
turned off cancel-in-progress to debug abdrupt terminiation CI Benchmarks #3: Commit b2468aa pushed by zutshi
December 31, 2024 19:11 8m 28s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
December 31, 2024 19:11 8m 28s
removed dead code and added initial benchmarking script CI Benchmarks #2: Commit 58dbc95 pushed by zutshi
December 31, 2024 18:58 8m 29s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
December 31, 2024 18:58 8m 29s
added ci and dummy results CI Benchmarks #1: Commit 95713d2 pushed by zutshi
December 31, 2024 18:13 8m 9s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
December 31, 2024 18:13 8m 9s