Skip to content

Actions: Veridise/Picus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
199 workflow runs
199 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: parallelize tests on GHA (#42) Docker Image CI #129: Commit aa3ca12 pushed by shankarapailoor
September 28, 2023 02:05 8m 20s main
main
September 28, 2023 02:05 8m 20s
ci: parallelize tests on GHA Docker Image CI #128: Pull request #42 opened by sorawee
September 28, 2023 01:58 7m 11s sorawee:parallelize-tests
sorawee:parallelize-tests
September 28, 2023 01:58 7m 11s
Make cvc5 default Docker Image CI #127: Commit d56518c pushed by sorawee
September 28, 2023 01:54 23m 10s main
main
September 28, 2023 01:54 23m 10s
Make --weak the default (#40) Docker Image CI #126: Commit 8432a9b pushed by shankarapailoor
September 28, 2023 01:22 22m 21s main
main
September 28, 2023 01:22 22m 21s
Make cvc5 default Docker Image CI #125: Pull request #41 opened by sorawee
September 28, 2023 01:13 22m 19s sorawee:cvc5-default
sorawee:cvc5-default
September 28, 2023 01:13 22m 19s
Make --weak the default Docker Image CI #124: Pull request #40 opened by sorawee
September 28, 2023 00:59 23m 3s sorawee:weak-default
sorawee:weak-default
September 28, 2023 00:59 23m 3s
ci: additionally check that Picus terminates properly Docker Image CI #123: Commit 0da4653 pushed by sorawee
September 26, 2023 00:35 22m 16s main
main
September 26, 2023 00:35 22m 16s
ci: additionally check that Picus terminates properly Docker Image CI #122: Pull request #39 synchronize by sorawee
September 25, 2023 23:59 20m 56s sorawee:ensure-termination
sorawee:ensure-termination
September 25, 2023 23:59 20m 56s
ci: additionally check that Picus terminates properly Docker Image CI #121: Pull request #39 synchronize by sorawee
September 25, 2023 23:55 21m 24s sorawee:ensure-termination
sorawee:ensure-termination
September 25, 2023 23:55 21m 24s
chore: adjust behavior of no verbose Docker Image CI #120: Commit eb2e8cd pushed by sorawee
September 25, 2023 23:53 22m 40s main
main
September 25, 2023 23:53 22m 40s
fix: only remove tmpdir when tmpdir actually is created (#38) Docker Image CI #119: Commit c612a21 pushed by shankarapailoor
September 25, 2023 23:53 22m 13s main
main
September 25, 2023 23:53 22m 13s
ci: additionally check that Picus terminates properly Docker Image CI #118: Pull request #39 opened by sorawee
September 25, 2023 23:45 21m 9s sorawee:ensure-termination
sorawee:ensure-termination
September 25, 2023 23:45 21m 9s
fix: only remove tmpdir when tmpdir actually is created Docker Image CI #117: Pull request #38 opened by sorawee
September 25, 2023 17:26 21m 39s sorawee:fix-tmpdir-not-exist
sorawee:fix-tmpdir-not-exist
September 25, 2023 17:26 21m 39s
chore: adjust behavior of no verbose Docker Image CI #116: Pull request #37 synchronize by sorawee
September 25, 2023 17:25 22m 55s sorawee:no-verbose-output
sorawee:no-verbose-output
September 25, 2023 17:25 22m 55s
chore: adjust behavior of no verbose Docker Image CI #115: Pull request #37 opened by sorawee
September 25, 2023 17:16 23m 5s sorawee:no-verbose-output
sorawee:no-verbose-output
September 25, 2023 17:16 23m 5s
feat: support patching properly (#36) Docker Image CI #114: Commit 2bf2874 pushed by shankarapailoor
September 25, 2023 16:59 22m 42s main
main
September 25, 2023 16:59 22m 42s
feat: support patching properly Docker Image CI #113: Pull request #36 synchronize by sorawee
September 22, 2023 23:26 21m 12s sorawee:add-patching
sorawee:add-patching
September 22, 2023 23:26 21m 12s
feat: support patching properly Docker Image CI #112: Pull request #36 opened by sorawee
September 22, 2023 21:59 22m 14s sorawee:add-patching
sorawee:add-patching
September 22, 2023 21:59 22m 14s
chore: put files under picus subdirectory (#35) Docker Image CI #111: Commit 8a71edc pushed by shankarapailoor
September 21, 2023 18:09 23m 1s main
main
September 21, 2023 18:09 23m 1s
chore: put files under picus subdirectory Docker Image CI #110: Pull request #35 opened by sorawee
September 21, 2023 04:26 21m 48s sorawee:clean-top-level
sorawee:clean-top-level
September 21, 2023 04:26 21m 48s
Use temporary directory more effectively (#34) Docker Image CI #109: Commit daa20d1 pushed by shankarapailoor
September 21, 2023 04:12 24m 25s main
main
September 21, 2023 04:12 24m 25s
Use temporary directory more effectively Docker Image CI #108: Pull request #34 synchronize by sorawee
September 16, 2023 21:26 21m 32s sorawee:tmp
sorawee:tmp
September 16, 2023 21:26 21m 32s
Use temporary directory more effectively Docker Image CI #107: Pull request #34 synchronize by sorawee
September 16, 2023 21:08 7m 24s sorawee:tmp
sorawee:tmp
September 16, 2023 21:08 7m 24s
Use temporary directory more effectively Docker Image CI #106: Pull request #34 opened by sorawee
September 16, 2023 21:05 3m 5s sorawee:tmp
sorawee:tmp
September 16, 2023 21:05 3m 5s
feat: support optimization level for circom compilation Docker Image CI #105: Commit 0af4b4d pushed by sorawee
September 15, 2023 19:40 22m 27s main
main
September 15, 2023 19:40 22m 27s