Skip to content

Repository navigation

Actions: BasisResearch/verus

Actions

rolling-release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rolling-release.yml
320 workflow runs
320 workflow runs

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
Allow --verify-function more than once rolling-release #320: Pull request #68 synchronize by kiranandcode
18m 32s kg/repeat-verify-function
kg/repeat-verify-function
18m 32s
Guard partial TLA reads and model total collections with finite carriers rolling-release #319: Pull request #67 synchronize by kiranandcode
16m 0s kg/export-partial
kg/export-partial
16m 0s
Export unsigned bit operations and enumerate partial Init domains rolling-release #318: Pull request #63 synchronize by kiranandcode
7m 50s kg/export-nrkernel
kg/export-nrkernel
7m 50s
Allow --verify-function more than once rolling-release #317: Pull request #68 synchronize by kiranandcode
8m 15s kg/repeat-verify-function
kg/repeat-verify-function
8m 15s
Allow --verify-function more than once rolling-release #316: Pull request #68 synchronize by kiranandcode
20m 6s kg/repeat-verify-function
kg/repeat-verify-function
20m 6s
Merge pull request #69 from BasisResearch/kg/resident-expand-errors-v2 rolling-release #315: Commit 3fa79fd pushed by kiranandcode
11m 26s main
main
11m 26s
TLA exporter: resolve concrete trait dispatch and expose typed function holes rolling-release #314: Pull request #65 synchronize by kiranandcode
8m 50s kg/export-traits
kg/export-traits
8m 50s
Resident: follow a failed check up as the batch run does (expand-errors, recommends) rolling-release #313: Pull request #69 synchronize by kiranandcode
16m 44s kg/resident-expand-errors-v2
kg/resident-expand-errors-v2
16m 44s
Allow --verify-function more than once rolling-release #312: Pull request #68 synchronize by kiranandcode
13m 20s kg/repeat-verify-function
kg/repeat-verify-function
13m 20s
Export closure-valued records and bounded choice rolling-release #311: Pull request #64 synchronize by kiranandcode
17m 18s kg/export-closures
kg/export-closures
17m 18s
Export closure-valued records and bounded choice rolling-release #310: Pull request #64 synchronize by kiranandcode
28m 12s kg/export-closures
kg/export-closures
28m 12s
Guard partial TLA reads and model total collections with finite carriers rolling-release #309: Pull request #67 synchronize by kiranandcode
8m 43s kg/export-partial
kg/export-partial
8m 43s
Merge pull request #62 from BasisResearch/kg/trace-spec-arm rolling-release #308: Commit b27f750 pushed by kiranandcode
59m 28s main
main
59m 28s
Resident: follow a failed check up as the batch run does (expand-errors, recommends) rolling-release #307: Pull request #69 opened by kiranandcode
1h 16m 22s kg/resident-expand-errors-v2
kg/resident-expand-errors-v2
1h 16m 22s
TLA exporter: resolve concrete trait dispatch and expose typed function holes rolling-release #306: Pull request #65 synchronize by kiranandcode
34m 1s kg/export-traits
kg/export-traits
34m 1s
tla-export: the trace spec selects the logged step's arm rolling-release #305: Pull request #62 synchronize by kiranandcode
58m 52s kg/trace-spec-arm
kg/trace-spec-arm
58m 52s
Allow --verify-function more than once rolling-release #304: Pull request #68 synchronize by kiranandcode
24m 32s kg/repeat-verify-function
kg/repeat-verify-function
24m 32s
Export closure-valued records and bounded choice rolling-release #303: Pull request #64 synchronize by kiranandcode
19m 0s kg/export-closures
kg/export-closures
19m 0s
Guard partial TLA reads and model total collections with finite carriers rolling-release #302: Pull request #67 synchronize by kiranandcode
51m 55s kg/export-partial
kg/export-partial
51m 55s
Export closure-valued records and bounded choice rolling-release #301: Pull request #64 synchronize by kiranandcode
19m 52s kg/export-closures
kg/export-closures
19m 52s
TLA exporter: resolve concrete trait dispatch and expose typed function holes rolling-release #300: Pull request #65 synchronize by kiranandcode
26m 57s kg/export-traits
kg/export-traits
26m 57s
Allow --verify-function more than once rolling-release #299: Pull request #68 synchronize by kiranandcode
10m 11s kg/repeat-verify-function
kg/repeat-verify-function
10m 11s
tla-export: the trace spec selects the logged step's arm rolling-release #298: Pull request #62 synchronize by kiranandcode
17m 57s kg/trace-spec-arm
kg/trace-spec-arm
17m 57s
TLA exporter: resolve concrete trait dispatch and expose typed function holes rolling-release #297: Pull request #65 synchronize by kiranandcode
10m 30s kg/export-traits
kg/export-traits
10m 30s
Export closure-valued records and bounded choice rolling-release #296: Pull request #64 synchronize by kiranandcode
7m 38s kg/export-closures
kg/export-closures
7m 38s