Skip to content

Actions: reilabs/lampe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
733 workflow runs
733 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
fix: require the postcondition at the final state in Omni.loopDone … CI #1882: Commit 13c210e pushed by iamrecursion
1h 0m 39s main
main
1h 0m 39s
fix: require the postcondition at the final state in Omni.loopDone CI #1881: Pull request #315 synchronize by oskarth
55m 10s oskarth:fix/loopdone-postcondition
oskarth:fix/loopdone-postcondition
55m 10s
fix: require the postcondition at the final state in Omni.loopDone CI #1880: Pull request #315 opened by oskarth
1h 4m 52s oskarth:fix/loopdone-postcondition
oskarth:fix/loopdone-postcondition
1h 4m 52s
feat: Share repeated type annotations during noir_def elaboration CI #1879: Pull request #313 opened by TomAFrench
30d 0h 4m 36s noir-lang:tf/dedupe-noir-type-elab
noir-lang:tf/dedupe-noir-type-elab
30d 0h 4m 36s
feat: Extract constant array and slice literals as single data-carrying builtins CI #1878: Pull request #312 synchronize by TomAFrench
30d 0h 1m 11s noir-lang:tf/fast-array-literals
noir-lang:tf/fast-array-literals
30d 0h 1m 11s
feat: Extract constant array and slice literals as single data-carrying builtins CI #1877: Pull request #312 opened by TomAFrench
30d 0h 1m 6s noir-lang:tf/fast-array-literals
noir-lang:tf/fast-array-literals
30d 0h 1m 6s
feat: update to Noir 1.0.0-beta.25 CI #1876: Pull request #311 opened by TomAFrench
30d 0h 4m 39s noir-lang:tf/update-to-beta.25
noir-lang:tf/update-to-beta.25
30d 0h 4m 39s
Graph Update: pip in /scripts/gen #1423442705 Dependency Graph #1: by dependabot Bot
34s main
main
34s
General Cleanup of Crypto Builtins (#308) CI #1873: Commit 919a387 pushed by Eduardogbg
59m 20s main
main
59m 20s
General Cleanup of Crypto Builtins CI #1872: Pull request #308 synchronize by Eduardogbg
1h 1m 21s edu/crypto-cleanup
edu/crypto-cleanup
1h 1m 21s
General Cleanup of Crypto Builtins CI #1871: Pull request #308 synchronize by Eduardogbg
28m 27s edu/crypto-cleanup
edu/crypto-cleanup
28m 27s
General Cleanup of Crypto Builtins CI #1870: Pull request #308 synchronize by Eduardogbg
19m 57s edu/crypto-cleanup
edu/crypto-cleanup
19m 57s
General Cleanup of Crypto Builtins CI #1869: Pull request #308 opened by Eduardogbg
1h 10m 37s edu/crypto-cleanup
edu/crypto-cleanup
1h 10m 37s
Formalize Pedersen hash + commitment using BLAKE3 generators (#306) CI #1868: Commit 5ac9792 pushed by Eduardogbg
1h 32m 3s main
main
1h 32m 3s
Formalize Pedersen hash + commitment using BLAKE3 generators CI #1867: Pull request #306 synchronize by Eduardogbg
21m 16s edu/pedersen
edu/pedersen
21m 16s
Consolidate BN254 field math under the Lampe layer (#305) CI #1866: Commit d7e0529 pushed by Eduardogbg
59m 56s main
main
59m 56s
Formalize Pedersen hash + commitment using BLAKE3 generators CI #1865: Pull request #306 synchronize by Eduardogbg
1h 3m 56s edu/pedersen
edu/pedersen
1h 3m 56s
Consolidate BN254 field math under the Lampe layer CI #1864: Pull request #305 synchronize by Eduardogbg
59m 59s edu/bn254-refactor
edu/bn254-refactor
59m 59s
Bake Mathlib build cache into CI image (#307) CI #1863: Commit ffe9dca pushed by Eduardogbg
1h 3m 59s main
main
1h 3m 59s
Bake Mathlib build cache into CI image CI #1862: Pull request #307 synchronize by Eduardogbg
24m 54s edu/ci-mathlib-image
edu/ci-mathlib-image
24m 54s
Bake Mathlib build cache into CI image CI #1861: Pull request #307 synchronize by Eduardogbg
4h 1m 25s edu/ci-mathlib-image
edu/ci-mathlib-image
4h 1m 25s
Bake Mathlib build cache into CI image CI #1860: Pull request #307 synchronize by Eduardogbg
11m 46s edu/ci-mathlib-image
edu/ci-mathlib-image
11m 46s
Bake Mathlib build cache into CI image CI #1859: Pull request #307 synchronize by Eduardogbg
4h 40m 50s edu/ci-mathlib-image
edu/ci-mathlib-image
4h 40m 50s
Bake Mathlib build cache into CI image CI #1858: Pull request #307 synchronize by Eduardogbg
4h 56m 28s edu/ci-mathlib-image
edu/ci-mathlib-image
4h 56m 28s
Bake Mathlib build cache into CI image CI #1857: Pull request #307 synchronize by Eduardogbg
12m 56s edu/ci-mathlib-image
edu/ci-mathlib-image
12m 56s