Skip to content

Actions: o1-labs/snarky

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removed duplicate ci #492: Pull request #862 opened by Dahka2321
January 8, 2025 18:13 Action required Dahka2321:master
Dahka2321:master
January 8, 2025 18:13 Action required
Generalize over field variable type ci #491: Pull request #861 synchronize by mrmr1993
January 7, 2025 14:21 10m 4s feature/generalize-cvar
feature/generalize-cvar
January 7, 2025 14:21 10m 4s
Generalize over field variable type ci #490: Pull request #861 opened by mrmr1993
January 7, 2025 14:20 10m 3s feature/generalize-cvar
feature/generalize-cvar
January 7, 2025 14:20 10m 3s
CI: bump up images ci #489: Pull request #860 synchronize by dannywillems
January 7, 2025 14:05 9m 48s dw/bump-up-ci-docs
dw/bump-up-ci-docs
January 7, 2025 14:05 9m 48s
Why use https:// instead of git@?** ci #488: Pull request #855 synchronize by dannywillems
January 7, 2025 13:39 9m 54s sky-coderay:patch-1
sky-coderay:patch-1
January 7, 2025 13:39 9m 54s
CI: bump up images ci #487: Pull request #860 synchronize by mrmr1993
January 7, 2025 13:29 10m 12s dw/bump-up-ci-docs
dw/bump-up-ci-docs
January 7, 2025 13:29 10m 12s
Abstract over the specific Constraint.t type used by the backing constraint system ci #486: Pull request #859 synchronize by dannywillems
January 7, 2025 13:23 2h 40m 59s feature/generalized-constraint
feature/generalized-constraint
January 7, 2025 13:23 2h 40m 59s
Update README.md ci #485: Pull request #857 synchronize by dannywillems
January 7, 2025 10:52 9m 55s HubertIGL:master
HubertIGL:master
January 7, 2025 10:52 9m 55s
CI: bump up images ci #484: Pull request #860 synchronize by dannywillems
January 7, 2025 10:52 9m 43s dw/bump-up-ci-docs
dw/bump-up-ci-docs
January 7, 2025 10:52 9m 43s
CI: bump up images ci #483: Pull request #860 synchronize by dannywillems
January 7, 2025 10:51 10m 8s dw/bump-up-ci-docs
dw/bump-up-ci-docs
January 7, 2025 10:51 10m 8s
CI: bump up images ci #482: Pull request #860 opened by dannywillems
January 7, 2025 10:50 9m 51s dw/bump-up-ci-docs
dw/bump-up-ci-docs
January 7, 2025 10:50 9m 51s
Abstract over the specific Constraint.t type used by the backing constraint system ci #481: Pull request #859 opened by mrmr1993
January 6, 2025 13:21 9m 55s feature/generalized-constraint
feature/generalized-constraint
January 6, 2025 13:21 9m 55s
Abstract over Run_state, include it in the snarky backend ci #480: Pull request #858 opened by mrmr1993
January 6, 2025 13:16 9m 42s feature/abstract-run-state
feature/abstract-run-state
January 6, 2025 13:16 9m 42s
Update README.md ci #479: Pull request #857 opened by HubertIGL
December 24, 2024 19:27 10m 9s HubertIGL:master
HubertIGL:master
December 24, 2024 19:27 10m 9s
Remove type parameters from Typ.t ci #478: Pull request #856 opened by mrmr1993
December 16, 2024 20:02 9m 45s feature/abstract-over-cvar
feature/abstract-over-cvar
December 16, 2024 20:02 9m 45s
Fix typos ci #476: Pull request #835 synchronize by dannywillems
December 16, 2024 14:32 10m 21s GoodDaisy:master
GoodDaisy:master
December 16, 2024 14:32 10m 21s
TYPO README.md ci #475: Pull request #846 synchronize by dannywillems
December 16, 2024 14:30 10m 39s sky-coderay:master
sky-coderay:master
December 16, 2024 14:30 10m 39s
Remove polymorphism from As_prover.t, hoist Typ.t ci #472: Pull request #854 synchronize by dannywillems
December 16, 2024 14:16 9m 52s feature/lift-typ
feature/lift-typ
December 16, 2024 14:16 9m 52s
Remove polymorphism from As_prover.t, hoist Typ.t ci #470: Pull request #854 opened by mrmr1993
December 16, 2024 13:10 9m 37s feature/lift-typ
feature/lift-typ
December 16, 2024 13:10 9m 37s
Pull Request: Fix Grammar and Spelling Issues ci #469: Pull request #849 synchronize by dannywillems
December 16, 2024 13:01 10m 13s donatik27:master
donatik27:master
December 16, 2024 13:01 10m 13s
[trivial] Remove polymorphism from field in Checked_intf ci #468: Pull request #853 synchronize by mrmr1993
December 16, 2024 12:38 9m 52s feature/remove-polymorphism
feature/remove-polymorphism
December 16, 2024 12:38 9m 52s
Pull Request: Fix Grammar and Spelling Issues ci #467: Pull request #849 synchronize by dannywillems
December 16, 2024 12:13 9m 54s donatik27:master
donatik27:master
December 16, 2024 12:13 9m 54s
Cosmetics/Refactoring ci #466: Pull request #833 synchronize by dannywillems
December 16, 2024 11:39 10m 3s volhovm/refactoring-15-01-2024
volhovm/refactoring-15-01-2024
December 16, 2024 11:39 10m 3s
Pull Request: Fix Grammar and Spelling Issues ci #465: Pull request #849 synchronize by dannywillems
December 16, 2024 11:37 10m 15s donatik27:master
donatik27:master
December 16, 2024 11:37 10m 15s
removing references to broken links ci #464: Pull request #844 synchronize by dannywillems
December 16, 2024 10:32 9m 30s sai/remove-broken-links
sai/remove-broken-links
December 16, 2024 10:32 9m 30s