Skip to content

Actions: o1-labs/snarky

Actions

Check build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update LICENSE Check build #474: Pull request #863 opened by maximevtush
January 28, 2025 13:31 Action required maximevtush:patch-1
maximevtush:patch-1
January 28, 2025 13:31 Action required
Generalize over field variable type Check build #472: Pull request #861 synchronize by mrmr1993
January 7, 2025 14:21 14m 32s feature/generalize-cvar
feature/generalize-cvar
January 7, 2025 14:21 14m 32s
Generalize over field variable type Check build #471: Pull request #861 opened by mrmr1993
January 7, 2025 14:20 15m 8s feature/generalize-cvar
feature/generalize-cvar
January 7, 2025 14:20 15m 8s
CI: bump up images Check build #470: Pull request #860 synchronize by dannywillems
January 7, 2025 14:05 12m 35s dw/bump-up-ci-docs
dw/bump-up-ci-docs
January 7, 2025 14:05 12m 35s
Why use https:// instead of git@?** Check build #469: Pull request #855 synchronize by dannywillems
January 7, 2025 13:39 15m 6s sky-coderay:patch-1
sky-coderay:patch-1
January 7, 2025 13:39 15m 6s
CI: bump up images Check build #468: Pull request #860 synchronize by mrmr1993
January 7, 2025 13:29 11m 43s dw/bump-up-ci-docs
dw/bump-up-ci-docs
January 7, 2025 13:29 11m 43s
Abstract over the specific Constraint.t type used by the backing constraint system Check build #467: Pull request #859 synchronize by dannywillems
January 7, 2025 13:23 12m 14s feature/generalized-constraint
feature/generalized-constraint
January 7, 2025 13:23 12m 14s
Update README.md Check build #466: Pull request #857 synchronize by dannywillems
January 7, 2025 10:52 14m 41s HubertIGL:master
HubertIGL:master
January 7, 2025 10:52 14m 41s
CI: bump up images Check build #465: Pull request #860 synchronize by dannywillems
January 7, 2025 10:52 14m 40s dw/bump-up-ci-docs
dw/bump-up-ci-docs
January 7, 2025 10:52 14m 40s
CI: bump up images Check build #464: Pull request #860 synchronize by dannywillems
January 7, 2025 10:51 16m 19s dw/bump-up-ci-docs
dw/bump-up-ci-docs
January 7, 2025 10:51 16m 19s
CI: bump up images Check build #463: Pull request #860 opened by dannywillems
January 7, 2025 10:50 13m 33s dw/bump-up-ci-docs
dw/bump-up-ci-docs
January 7, 2025 10:50 13m 33s
Abstract over the specific Constraint.t type used by the backing constraint system Check build #462: Pull request #859 opened by mrmr1993
January 6, 2025 13:21 15m 15s feature/generalized-constraint
feature/generalized-constraint
January 6, 2025 13:21 15m 15s
Abstract over Run_state, include it in the snarky backend Check build #461: Pull request #858 opened by mrmr1993
January 6, 2025 13:16 15m 1s feature/abstract-run-state
feature/abstract-run-state
January 6, 2025 13:16 15m 1s
Update README.md Check build #460: Pull request #857 opened by HubertIGL
December 24, 2024 19:27 14m 47s HubertIGL:master
HubertIGL:master
December 24, 2024 19:27 14m 47s
Remove type parameters from Typ.t Check build #459: Pull request #856 opened by mrmr1993
December 16, 2024 20:02 17m 11s feature/abstract-over-cvar
feature/abstract-over-cvar
December 16, 2024 20:02 17m 11s
Fix typos Check build #457: Pull request #835 synchronize by dannywillems
December 16, 2024 14:32 19m 45s GoodDaisy:master
GoodDaisy:master
December 16, 2024 14:32 19m 45s
TYPO README.md Check build #456: Pull request #846 synchronize by dannywillems
December 16, 2024 14:30 13m 23s sky-coderay:master
sky-coderay:master
December 16, 2024 14:30 13m 23s
Remove polymorphism from As_prover.t, hoist Typ.t Check build #453: Pull request #854 synchronize by dannywillems
December 16, 2024 14:16 11m 21s feature/lift-typ
feature/lift-typ
December 16, 2024 14:16 11m 21s
Remove polymorphism from As_prover.t, hoist Typ.t Check build #451: Pull request #854 opened by mrmr1993
December 16, 2024 13:10 14m 47s feature/lift-typ
feature/lift-typ
December 16, 2024 13:10 14m 47s
Pull Request: Fix Grammar and Spelling Issues Check build #450: Pull request #849 synchronize by dannywillems
December 16, 2024 13:01 12m 17s donatik27:master
donatik27:master
December 16, 2024 13:01 12m 17s
[trivial] Remove polymorphism from field in Checked_intf Check build #449: Pull request #853 synchronize by mrmr1993
December 16, 2024 12:38 14m 33s feature/remove-polymorphism
feature/remove-polymorphism
December 16, 2024 12:38 14m 33s
Pull Request: Fix Grammar and Spelling Issues Check build #448: Pull request #849 synchronize by dannywillems
December 16, 2024 12:13 13m 54s donatik27:master
donatik27:master
December 16, 2024 12:13 13m 54s
Cosmetics/Refactoring Check build #447: Pull request #833 synchronize by dannywillems
December 16, 2024 11:39 15m 18s volhovm/refactoring-15-01-2024
volhovm/refactoring-15-01-2024
December 16, 2024 11:39 15m 18s
Pull Request: Fix Grammar and Spelling Issues Check build #446: Pull request #849 synchronize by dannywillems
December 16, 2024 11:37 13m 17s donatik27:master
donatik27:master
December 16, 2024 11:37 13m 17s
removing references to broken links Check build #445: Pull request #844 synchronize by dannywillems
December 16, 2024 10:32 16m 44s sai/remove-broken-links
sai/remove-broken-links
December 16, 2024 10:32 16m 44s