Skip to content

Actions: GaloisInc/jolt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #21: by github-pages bot
February 4, 2025 22:26 37s gh-pages
gh-pages
February 4, 2025 22:26 37s
Merge pull request #2 from GaloisInc/feature/CI-plot-benchmarks Deploy mdBook to GCS #3: Commit 9cc12ee pushed by jprider63
February 4, 2025 21:58 1m 27s main
main
February 4, 2025 21:58 1m 27s
Merge pull request #2 from GaloisInc/feature/CI-plot-benchmarks CI Benchmarks #25: Commit 9cc12ee pushed by jprider63
February 4, 2025 21:58 28m 27s main
main
February 4, 2025 21:58 28m 27s
Merge pull request #2 from GaloisInc/feature/CI-plot-benchmarks Build and Test Jolt #6: Commit 9cc12ee pushed by jprider63
February 4, 2025 21:58 6m 23s main
main
February 4, 2025 21:58 6m 23s
Trigger benchmark CI on updates to main Build and Test Jolt #5: Pull request #2 opened by jprider63
February 4, 2025 21:58 6m 52s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
February 4, 2025 21:58 6m 52s
Merge pull request #1 from GaloisInc/feature/CI-plot-benchmarks Deploy mdBook to GCS #2: Commit 19c7cb0 pushed by jprider63
February 4, 2025 20:15 1m 34s main
main
February 4, 2025 20:15 1m 34s
Merge pull request #1 from GaloisInc/feature/CI-plot-benchmarks Build and Test Jolt #4: Commit 19c7cb0 pushed by jprider63
February 4, 2025 20:15 6m 47s main
main
February 4, 2025 20:15 6m 47s
Test plot benchmarks Build and Test Jolt #3: Pull request #1 synchronize by jprider63
February 4, 2025 20:06 7m 22s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
February 4, 2025 20:06 7m 22s
Test plot benchmarks Build and Test Jolt #2: Pull request #1 opened by jprider63
February 4, 2025 20:02 4m 30s feature/CI-plot-benchmarks
feature/CI-plot-benchmarks
February 4, 2025 20:02 4m 30s
fix: optimize opening proof gpu usage (#569) Deploy mdBook to GCS #1: Commit e3f9e7f pushed by jprider63
February 4, 2025 20:01 1m 40s main
main
February 4, 2025 20:01 1m 40s
fix: optimize opening proof gpu usage (#569) Build and Test Jolt #1: Commit e3f9e7f pushed by jprider63
February 4, 2025 20:01 9m 39s main
main
February 4, 2025 20:01 9m 39s
pages build and deployment pages-build-deployment #20: by github-pages bot
January 29, 2025 08:05 37s gh-pages
gh-pages
January 29, 2025 08:05 37s
pages build and deployment pages-build-deployment #19: by github-pages bot
January 29, 2025 08:02 36s gh-pages
gh-pages
January 29, 2025 08:02 36s
pages build and deployment pages-build-deployment #18: by github-pages bot
January 29, 2025 07:54 36s gh-pages
gh-pages
January 29, 2025 07:54 36s
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
pages build and deployment pages-build-deployment #17: by zutshi
January 29, 2025 07:37 35s gh-pages
gh-pages
January 29, 2025 07:37 35s
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
pages build and deployment pages-build-deployment #16: by github-pages bot
January 29, 2025 07:28 36s gh-pages
gh-pages
January 29, 2025 07:28 36s
pages build and deployment pages-build-deployment #15: by github-pages bot
January 29, 2025 07:25 35s gh-pages
gh-pages
January 29, 2025 07:25 35s
pages build and deployment pages-build-deployment #14: by github-pages bot
January 29, 2025 07:17 40s gh-pages
gh-pages
January 29, 2025 07:17 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
pages build and deployment pages-build-deployment #13: by github-pages bot
January 29, 2025 06:59 35s gh-pages
gh-pages
January 29, 2025 06:59 35s
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
pages build and deployment pages-build-deployment #12: by github-pages bot
January 29, 2025 06:56 40s gh-pages
gh-pages
January 29, 2025 06:56 40s