Skip to content

Actions: zksecurity/noname

Deploy Book & Docs to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
97 workflow runs
97 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bug-fix: correct type matching in if-else expression (#264)
Deploy Book & Docs to GitHub Pages #223: Commit cd26e9a pushed by katat
January 22, 2025 23:56 6m 43s main
January 22, 2025 23:56 6m 43s
support pub attribute (#263)
Deploy Book & Docs to GitHub Pages #222: Commit bb87a88 pushed by katat
January 22, 2025 23:54 6m 41s main
January 22, 2025 23:54 6m 41s
fix: invalid folded mutable constant value (#250)
Deploy Book & Docs to GitHub Pages #221: Commit 4596f2b pushed by katat
January 22, 2025 23:53 6m 55s main
January 22, 2025 23:53 6m 55s
fix: instead of folding expr for constant values, we keep the expr as…
Deploy Book & Docs to GitHub Pages #220: Commit a9a83b8 pushed by katat
January 21, 2025 10:45 6m 43s main
January 21, 2025 10:45 6m 43s
support subtraction operation in array symbolic value (#251)
Deploy Book & Docs to GitHub Pages #219: Commit 1f4844c pushed by katat
January 21, 2025 02:10 6m 50s main
January 21, 2025 02:10 6m 50s
Adds tuple type (#261)
Deploy Book & Docs to GitHub Pages #218: Commit 1bcd765 pushed by katat
January 17, 2025 12:56 7m 11s main
January 17, 2025 12:56 7m 11s
Add Builtin trait and refactor all builtin functions to use it (#244)
Deploy Book & Docs to GitHub Pages #217: Commit 2d76977 pushed by katat
January 14, 2025 12:43 6m 52s main
January 14, 2025 12:43 6m 52s
Merge pull request #247 from bufferhe4d/generic-asserteq
Deploy Book & Docs to GitHub Pages #216: Commit 99c3935 pushed by mimoo
January 8, 2025 22:57 6m 50s main
January 8, 2025 22:57 6m 50s
Merge pull request #259 from 0xnullifier/log-string
Deploy Book & Docs to GitHub Pages #215: Commit c275ef4 pushed by katat
January 8, 2025 11:56 6m 48s main
January 8, 2025 11:56 6m 48s
Merge pull request #246 from lopeetall/upgrade-ark-4
Deploy Book & Docs to GitHub Pages #214: Commit 6f8db33 pushed by mimoo
December 17, 2024 20:55 7m 0s main
December 17, 2024 20:55 7m 0s
Merge pull request #238 from varunthakore/generic-log
Deploy Book & Docs to GitHub Pages #213: Commit 8188bf6 pushed by katat
December 16, 2024 10:48 6m 51s main
December 16, 2024 10:48 6m 51s
Merge pull request #243 from zksecurity/fix/check-prime-bit
Deploy Book & Docs to GitHub Pages #212: Commit 1b515e8 pushed by mimoo
December 15, 2024 19:30 6m 58s main
December 15, 2024 19:30 6m 58s
Merge pull request #245 from Dimitrolito/fix/typos
Deploy Book & Docs to GitHub Pages #211: Commit e0e9e55 pushed by mimoo
December 12, 2024 00:16 6m 57s main
December 12, 2024 00:16 6m 57s
Merge pull request #231 from bufferhe4d/log-type-skip-228
Deploy Book & Docs to GitHub Pages #210: Commit c21739d pushed by katat
December 10, 2024 10:41 6m 45s main
December 10, 2024 10:41 6m 45s
Merge pull request #239 from zedar/fix/better_error_when_keyword_as_i…
Deploy Book & Docs to GitHub Pages #209: Commit 321b047 pushed by mimoo
December 10, 2024 02:09 6m 50s main
December 10, 2024 02:09 6m 50s
Merge pull request #235 from zksecurity/feat/disable-safety-check-option
Deploy Book & Docs to GitHub Pages #208: Commit 5c048f4 pushed by katat
December 4, 2024 12:09 6m 50s main
December 4, 2024 12:09 6m 50s
Merge pull request #237 from zksecurity/mimoo/cont
Deploy Book & Docs to GitHub Pages #207: Commit 6a859b2 pushed by katat
November 25, 2024 11:17 6m 50s main
November 25, 2024 11:17 6m 50s
Merge pull request #225 from bufferhe4d/plusequal
Deploy Book & Docs to GitHub Pages #206: Commit b17ea20 pushed by katat
November 13, 2024 08:41 6m 43s main
November 13, 2024 08:41 6m 43s
Merge pull request #220 from zksecurity/feat/ir2
Deploy Book & Docs to GitHub Pages #205: Commit 8c0ca9d pushed by mimoo
November 13, 2024 03:42 6m 57s main
November 13, 2024 03:42 6m 57s
Merge pull request #230 from zksecurity/mimoo/server2
Deploy Book & Docs to GitHub Pages #204: Commit 6904fe8 pushed by katat
November 11, 2024 02:23 4m 14s main
November 11, 2024 02:23 4m 14s
Merge pull request #226 from zksecurity/mimoo/debug
Deploy Book & Docs to GitHub Pages #203: Commit cd7b06d pushed by mimoo
November 10, 2024 10:50 4m 14s main
November 10, 2024 10:50 4m 14s
Merge pull request #229 from zksecurity/fix/build-copy
Deploy Book & Docs to GitHub Pages #202: Commit 429f765 pushed by mimoo
November 10, 2024 10:50 4m 12s main
November 10, 2024 10:50 4m 12s
Merge pull request #222 from zksecurity/fix/test-cmd-stdlib
Deploy Book & Docs to GitHub Pages #201: Commit 3a77c86 pushed by mimoo
November 8, 2024 09:59 1m 17s main
November 8, 2024 09:59 1m 17s
Merge pull request #215 from zksecurity/mimoo/server
Deploy Book & Docs to GitHub Pages #200: Commit 2f4340e pushed by mimoo
November 5, 2024 12:21 4m 21s main
November 5, 2024 12:21 4m 21s
Merge pull request #217 from zksecurity/feat/uint-ops
Deploy Book & Docs to GitHub Pages #199: Commit d740491 pushed by katat
November 4, 2024 08:57 3m 53s main
November 4, 2024 08:57 3m 53s