Skip to content

Actions: noir-lang/noir

deny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6,845 workflow runs
6,845 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

deny
deny #7227: Merge group checks requested
January 7, 2025 14:11 1m 0s
January 7, 2025 14:11 1m 0s
deny
deny #7225: Merge group checks requested
January 7, 2025 13:49 1m 2s
January 7, 2025 13:49 1m 2s
deny
deny #7223: Merge group checks requested
January 7, 2025 13:27 1m 0s
January 7, 2025 13:27 1m 0s
deny
deny #7222: Merge group checks requested
January 7, 2025 10:44 1m 1s
January 7, 2025 10:44 1m 1s
deny
deny #7219: Merge group checks requested
January 6, 2025 23:33 54s
January 6, 2025 23:33 54s
deny
deny #7218: Merge group checks requested
January 6, 2025 21:30 55s
January 6, 2025 21:30 55s
deny
deny #7215: Merge group checks requested
January 6, 2025 20:26 1m 3s
January 6, 2025 20:26 1m 3s
deny
deny #7214: Merge group checks requested
January 6, 2025 20:12 1m 2s
January 6, 2025 20:12 1m 2s
feat: Fuzzer for noir programs
deny #7213: Pull request #6770 synchronize by Rumata888
January 6, 2025 19:10 1m 2s is/fuzzer
January 6, 2025 19:10 1m 2s
January 6, 2025 19:04 55s
deny
deny #7211: Merge group checks requested
January 6, 2025 18:55 56s
January 6, 2025 18:55 56s
deny
deny #7210: Merge group checks requested
January 6, 2025 18:14 59s
January 6, 2025 18:14 59s
feat: --pedantic-solving flag
deny #7208: Pull request #6716 synchronize by michaeljklein
January 6, 2025 17:58 55s michaeljklein/pedantic-flag
January 6, 2025 17:58 55s
feat: --pedantic-solving flag
deny #7205: Pull request #6716 synchronize by michaeljklein
January 6, 2025 17:25 1m 3s michaeljklein/pedantic-flag
January 6, 2025 17:25 1m 3s
deny
deny #7204: Merge group checks requested
January 6, 2025 17:24 1m 3s
January 6, 2025 17:24 1m 3s
feat: acir_formal_proofs
deny #7203: Pull request #6947 synchronize by jewelofchaos9
January 6, 2025 17:12 Action required jewelofchaos9:master
January 6, 2025 17:12 Action required