Skip to content

Actions: ICME-Lab/jolt-atlas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,176 workflow runs
1,176 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
PR #265 CodeQL #515: by Forpee
40s refs/pull/265/head
refs/pull/265/head
40s
Running Copilot Code Review Copilot #14: by Copilot AI
5m 7s feat/dory
feat/dory
5m 7s
feat: dory Build and Test Jolt-Atlas #551: Pull request #265 opened by Forpee
18m 18s feat/dory
feat/dory
18m 18s
PR #265 CodeQL #514: by Forpee
43s refs/pull/265/head
refs/pull/265/head
43s
Fix BGE-small export compatibility Build and Test Jolt-Atlas #550: Pull request #263 synchronize by Praz314159
13m 22s Praz314159:fix/bge-export-compat
Praz314159:fix/bge-export-compat
13m 22s
feat: Add saturation to prover (#256) Build and Test Jolt-Atlas #549: Commit 80a718e pushed by Forpee
13m 11s main
main
13m 11s
Push on main CodeQL #513: by Forpee
46s main
main
46s
Running Copilot Code Review Copilot #13: by Copilot AI
5m 14s main
main
5m 14s
Running Copilot Code Review Copilot #12: by Copilot AI
2m 31s main
main
2m 31s
feat: Add saturation to prover Build and Test Jolt-Atlas #548: Pull request #256 synchronize by Forpee
13m 36s feat/saturation
feat/saturation
13m 36s
PR #256 CodeQL #512: by Forpee
39s refs/pull/256/head
refs/pull/256/head
39s
Scheduled CodeQL #511: by github-advanced-security AI
53s main
main
53s
Fix BGE-small export compatibility Build and Test Jolt-Atlas #547: Pull request #263 synchronize by Praz314159
10m 12s Praz314159:fix/bge-export-compat
Praz314159:fix/bge-export-compat
10m 12s
Fix BGE-small export compatibility Build and Test Jolt-Atlas #546: Pull request #263 synchronize by Praz314159
10m 17s Praz314159:fix/bge-export-compat
Praz314159:fix/bge-export-compat
10m 17s
fix(tracer): drop the consumed exponent input in Pow lowering — un-breaks Pow(x,3) proving Build and Test Jolt-Atlas #545: Pull request #262 opened by pdezk
8m 11s pdezk:fix/pow3-cube-prove-panic
pdezk:fix/pow3-cube-prove-panic
8m 11s
perf(softmax): scale-aware SatDiff range check — shrink from 32 bits to log₂(scale)+4 Build and Test Jolt-Atlas #544: Pull request #258 opened by pdezk
10m 19s pdezk:pr-a5
pdezk:pr-a5
10m 19s
feat: Add saturation to prover Build and Test Jolt-Atlas #543: Pull request #256 synchronize by Forpee
1h 23m 7s feat/saturation
feat/saturation
1h 23m 7s
PR #256 CodeQL #510: by Forpee
44s refs/pull/256/head
refs/pull/256/head
44s
feat: Add saturation to prover Build and Test Jolt-Atlas #542: Pull request #256 synchronize by Forpee
1h 11m 42s feat/saturation
feat/saturation
1h 11m 42s
PR #256 CodeQL #509: by Forpee
44s refs/pull/256/head
refs/pull/256/head
44s
feat: Add saturation to prover Build and Test Jolt-Atlas #541: Pull request #256 synchronize by Forpee
57m 4s feat/saturation
feat/saturation
57m 4s
PR #256 CodeQL #508: by Forpee
38s refs/pull/256/head
refs/pull/256/head
38s
Running Copilot Code Review Copilot #11: by Copilot AI
6m 14s feat/saturation
feat/saturation
6m 14s
feat: Add saturation to prover Build and Test Jolt-Atlas #540: Pull request #256 synchronize by Forpee
16m 20s feat/saturation
feat/saturation
16m 20s
PR #256 CodeQL #507: by Forpee
37s refs/pull/256/head
refs/pull/256/head
37s