Skip to content

Actions: powdr-labs/halo2

Actions

Beta lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lints-beta.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make VerifyFailure::emit public Beta lints #4: Commit fb80875 pushed by georgwiese
March 1, 2024 11:20 4m 25s make-emit-public-v0.3.0
make-emit-public-v0.3.0
March 1, 2024 11:20 4m 25s
Make VerifyFailure::emit public Beta lints #3: Commit 8e14bb9 pushed by georgwiese
March 1, 2024 11:17 55s make-emit-public
make-emit-public
March 1, 2024 11:17 55s
Make VerifyFailure::emit public Beta lints #2: Commit 0bbcb9a pushed by georgwiese
March 1, 2024 11:12 4m 8s make-emit-public
make-emit-public
March 1, 2024 11:12 4m 8s
refactor: move some types from common to backend (post-split)(plonk-0… Beta lints #1: Commit 1650a0b pushed by georgwiese
March 1, 2024 10:35 59s main
main
March 1, 2024 10:35 59s