Skip to content

Actions: BasisResearch/verus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
190 workflow runs
190 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
nightly-verita nightly-verita #8: Scheduled
11s main
main
11s
coverage coverage #8: Scheduled
11s main
main
11s
S2: retain specialised queries and match batch error reporting basis-build #55: Pull request #15 synchronize by kiranandcode
8m 10s s2/resident-error-reporting
s2/resident-error-reporting
8m 10s
S2: retain specialised queries and match batch error reporting rolling-release #58: Pull request #15 synchronize by kiranandcode
9m 2s s2/resident-error-reporting
s2/resident-error-reporting
9m 2s
S2: retain specialised queries and match batch error reporting ci #45: Pull request #15 synchronize by kiranandcode
47m 50s s2/resident-error-reporting
s2/resident-error-reporting
47m 50s
S2: retain specialised queries and match batch error reporting rolling-release #57: Pull request #15 synchronize by kiranandcode
18m 22s s2/resident-error-reporting
s2/resident-error-reporting
18m 22s
S2: retain specialised queries and match batch error reporting basis-build #54: Pull request #15 synchronize by kiranandcode
17m 53s s2/resident-error-reporting
s2/resident-error-reporting
17m 53s
S2: retain specialised queries and match batch error reporting ci #44: Pull request #15 synchronize by kiranandcode
23m 6s s2/resident-error-reporting
s2/resident-error-reporting
23m 6s
S2: preserve custom SMT options in resident sessions rolling-release #56: Pull request #16 opened by kiranandcode
15m 7s s2/resident-smt-options
s2/resident-smt-options
15m 7s
S2: preserve custom SMT options in resident sessions basis-build #53: Pull request #16 opened by kiranandcode
16m 21s s2/resident-smt-options
s2/resident-smt-options
16m 21s
S2: preserve custom SMT options in resident sessions ci #43: Pull request #16 opened by kiranandcode
39m 29s s2/resident-smt-options
s2/resident-smt-options
39m 29s
S2: retain specialised queries and match batch error reporting basis-build #52: Pull request #15 opened by kiranandcode
7m 14s s2/resident-error-reporting
s2/resident-error-reporting
7m 14s
S2: retain specialised queries and match batch error reporting rolling-release #55: Pull request #15 opened by kiranandcode
8m 29s s2/resident-error-reporting
s2/resident-error-reporting
8m 29s
S2: retain specialised queries and match batch error reporting ci #42: Pull request #15 opened by kiranandcode
19m 2s s2/resident-error-reporting
s2/resident-error-reporting
19m 2s
S2: serve retained cvc5 buckets after compilation (#14) basis-build #51: Commit 6c5e6d6 pushed by yiyunliu
9m 31s main
main
9m 31s
S2: serve retained cvc5 buckets after compilation (#14) rolling-release #54: Commit 6c5e6d6 pushed by yiyunliu
9m 20s main
main
9m 20s
S2: serve retained cvc5 buckets after compilation (#14) pages #14: Commit 6c5e6d6 pushed by yiyunliu
1s main
main
1s
S2: serve retained cvc5 buckets after compilation rolling-release #53: Pull request #14 synchronize by kiranandcode
8m 51s s2/resident-queries
s2/resident-queries
8m 51s
S2: serve retained cvc5 buckets after compilation basis-build #50: Pull request #14 synchronize by kiranandcode
8m 40s s2/resident-queries
s2/resident-queries
8m 40s
S2: serve retained cvc5 buckets after compilation ci #41: Pull request #14 synchronize by kiranandcode
47m 32s s2/resident-queries
s2/resident-queries
47m 32s
S2: serve retained cvc5 buckets after compilation basis-build #49: Pull request #14 synchronize by kiranandcode
8m 6s s2/resident-queries
s2/resident-queries
8m 6s
S2: serve retained cvc5 buckets after compilation rolling-release #52: Pull request #14 synchronize by kiranandcode
7m 25s s2/resident-queries
s2/resident-queries
7m 25s
S2: serve retained cvc5 buckets after compilation ci #40: Pull request #14 synchronize by kiranandcode
18m 54s s2/resident-queries
s2/resident-queries
18m 54s
S2: serve retained cvc5 buckets after compilation rolling-release #51: Pull request #14 synchronize by kiranandcode
8m 2s s2/resident-queries
s2/resident-queries
8m 2s
S2: serve retained cvc5 buckets after compilation basis-build #48: Pull request #14 synchronize by kiranandcode
8m 51s s2/resident-queries
s2/resident-queries
8m 51s