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

release: make a new release Full test #1: Commit 138b151 pushed by sorawee
March 13, 2024 22:04 2m 54s main
main
March 13, 2024 22:04 2m 54s
release: make a new release Docker Image CI #198: Commit 138b151 pushed by sorawee
March 13, 2024 22:04 3s main
main
March 13, 2024 22:04 3s
release: sync with internal Picus Docker Image CI #197: Pull request #66 synchronize by sorawee
March 11, 2024 16:59 3s sorawee:24-03-08-release-picus
sorawee:24-03-08-release-picus
March 11, 2024 16:59 3s
release: sync with internal Picus Docker Image CI #196: Pull request #66 synchronize by sorawee
March 8, 2024 15:08 3s sorawee:24-03-08-release-picus
sorawee:24-03-08-release-picus
March 8, 2024 15:08 3s
release: sync with internal Picus Docker Base Image Test #2: Pull request #66 synchronize by sorawee
March 8, 2024 15:08 1h 2m 28s sorawee:24-03-08-release-picus
sorawee:24-03-08-release-picus
March 8, 2024 15:08 1h 2m 28s
release: sync with internal Picus Docker Image CI #195: Pull request #66 opened by sorawee
March 8, 2024 09:55 4s sorawee:24-03-08-release-picus
sorawee:24-03-08-release-picus
March 8, 2024 09:55 4s
release: sync with internal Picus Docker Base Image Test #1: Pull request #66 opened by sorawee
March 8, 2024 09:55 1h 4m 28s sorawee:24-03-08-release-picus
sorawee:24-03-08-release-picus
March 8, 2024 09:55 1h 4m 28s
fix: correct the sr1cs constraints .github/workflows/changelog-validator.yml #1: Commit 18037f3 pushed by sorawee
January 31, 2024 19:59 Failure 24-01-31-correct-sr1cs-cnsts
24-01-31-correct-sr1cs-cnsts
January 31, 2024 19:59 Failure
add diffing for other Docker Image CI #194: Commit 09dd87c pushed by sorawee
October 19, 2023 15:00 7m 27s main
main
October 19, 2023 15:00 7m 27s
ci: only build Docker in the private repo Docker Image CI #193: Commit c18ff46 pushed by sorawee
October 19, 2023 14:34 8m 3s main
main
October 19, 2023 14:34 8m 3s
add diffing for other Docker Image CI #192: Pull request #63 synchronize by sorawee
October 19, 2023 14:26 8m 22s sorawee:strong-diff
sorawee:strong-diff
October 19, 2023 14:26 8m 22s
logging: more debugging info for linear lemma (#62) Docker Image CI #191: Commit 695acd8 pushed by shankarapailoor
October 19, 2023 14:21 9m 29s main
main
October 19, 2023 14:21 9m 29s
ci: only build Docker in the private repo Docker Image CI #190: Pull request #64 opened by sorawee
October 19, 2023 14:20 7m 57s sorawee:private-repo-switch
sorawee:private-repo-switch
October 19, 2023 14:20 7m 57s
add diffing for other Docker Image CI #189: Pull request #63 opened by sorawee
October 18, 2023 23:09 7m 40s sorawee:strong-diff
sorawee:strong-diff
October 18, 2023 23:09 7m 40s
logging: more debugging info for linear lemma Docker Image CI #188: Pull request #62 opened by sorawee
October 18, 2023 23:03 9m 18s sorawee:detailed-linear-lemma
sorawee:detailed-linear-lemma
October 18, 2023 23:03 9m 18s
logging: use a more detailed name (#60) Docker Image CI #187: Commit e68c42d pushed by shankarapailoor
October 17, 2023 11:40 9m 47s main
main
October 17, 2023 11:40 9m 47s
feat: add accounting logging (#61) Docker Image CI #186: Commit 3696b54 pushed by shankarapailoor
October 17, 2023 11:39 8m 39s main
main
October 17, 2023 11:39 8m 39s
feat: add accounting logging Docker Image CI #185: Pull request #61 synchronize by sorawee
October 17, 2023 10:46 7m 58s sorawee:accounting-logging
sorawee:accounting-logging
October 17, 2023 10:46 7m 58s
feat: add accounting logging Docker Image CI #184: Pull request #61 synchronize by sorawee
October 17, 2023 10:46 7m 6s sorawee:accounting-logging
sorawee:accounting-logging
October 17, 2023 10:46 7m 6s
docker: do not copy benchmarks dir (#59) Docker Image CI #183: Commit ac5abf1 pushed by shankarapailoor
October 16, 2023 14:20 8m 26s main
main
October 16, 2023 14:20 8m 26s
feat: add accounting logging Docker Image CI #182: Pull request #61 opened by sorawee
October 16, 2023 14:18 7m 44s sorawee:accounting-logging
sorawee:accounting-logging
October 16, 2023 14:18 7m 44s
logging: use a more detailed name Docker Image CI #181: Pull request #60 opened by sorawee
October 16, 2023 13:50 6m 9s sorawee:logging-name
sorawee:logging-name
October 16, 2023 13:50 6m 9s
docker: do not copy benchmarks dir Docker Image CI #180: Pull request #59 opened by sorawee
October 15, 2023 09:32 8m 16s sorawee:docker-reduce-size
sorawee:docker-reduce-size
October 15, 2023 09:32 8m 16s
Docker Base Image Docker Base Image #2: Manually run by sorawee
October 11, 2023 19:16 36m 18s main
main
October 11, 2023 19:16 36m 18s
ci: only run amd64 for now Docker Image CI #179: Commit 976a14d pushed by sorawee
October 11, 2023 19:16 9m 11s main
main
October 11, 2023 19:16 9m 11s