Skip to content

Actions: BasisResearch/verus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
688 workflow runs
688 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 #24: Scheduled
1s main
main
1s
coverage coverage #24: Scheduled
1s main
main
1s
Merge pull request #49 from BasisResearch/kg/tla-export pages #44: Commit b4c0903 pushed by kiranandcode
1s main
main
1s
Merge pull request #49 from BasisResearch/kg/tla-export rolling-release #212: Commit b4c0903 pushed by kiranandcode
7m 13s main
main
7m 13s
Merge pull request #49 from BasisResearch/kg/tla-export basis-build #209: Commit b4c0903 pushed by kiranandcode
9m 27s main
main
9m 27s
Add -V tla-export: export a Verus transition-system model to TLA+ rolling-release #211: Pull request #49 synchronize by kiranandcode
14m 14s kg/tla-export
kg/tla-export
14m 14s
Add -V tla-export: export a Verus transition-system model to TLA+ basis-build #208: Pull request #49 synchronize by kiranandcode
8m 47s kg/tla-export
kg/tla-export
8m 47s
Add -V tla-export: export a Verus transition-system model to TLA+ ci #169: Pull request #49 synchronize by kiranandcode
52m 56s kg/tla-export
kg/tla-export
52m 56s
Add -V tla-export: export a Verus transition-system model to TLA+ basis-build #207: Pull request #49 synchronize by kiranandcode
19m 39s kg/tla-export
kg/tla-export
19m 39s
Add -V tla-export: export a Verus transition-system model to TLA+ rolling-release #210: Pull request #49 synchronize by kiranandcode
12m 1s kg/tla-export
kg/tla-export
12m 1s
Add -V tla-export: export a Verus transition-system model to TLA+ ci #168: Pull request #49 synchronize by kiranandcode
51m 50s kg/tla-export
kg/tla-export
51m 50s
Add -V tla-export: export a Verus transition-system model to TLA+ rolling-release #209: Pull request #49 synchronize by kiranandcode
7m 10s kg/tla-export
kg/tla-export
7m 10s
Add -V tla-export: export a Verus transition-system model to TLA+ basis-build #206: Pull request #49 synchronize by kiranandcode
9m 0s kg/tla-export
kg/tla-export
9m 0s
Add -V tla-export: export a Verus transition-system model to TLA+ ci #167: Pull request #49 synchronize by kiranandcode
43m 39s kg/tla-export
kg/tla-export
43m 39s
Add -V tla-export: export a Verus transition-system model to TLA+ rolling-release #208: Pull request #49 synchronize by kiranandcode
8m 14s kg/tla-export
kg/tla-export
8m 14s
Add -V tla-export: export a Verus transition-system model to TLA+ basis-build #205: Pull request #49 synchronize by kiranandcode
7m 54s kg/tla-export
kg/tla-export
7m 54s
Add -V tla-export: export a Verus transition-system model to TLA+ ci #166: Pull request #49 synchronize by kiranandcode
22m 48s kg/tla-export
kg/tla-export
22m 48s
Add -V tla-export: export a Verus transition-system model to TLA+ basis-build #204: Pull request #49 synchronize by kiranandcode
8m 2s kg/tla-export
kg/tla-export
8m 2s
Add -V tla-export: export a Verus transition-system model to TLA+ rolling-release #207: Pull request #49 synchronize by kiranandcode
5m 45s kg/tla-export
kg/tla-export
5m 45s
Add -V tla-export: export a Verus transition-system model to TLA+ ci #165: Pull request #49 synchronize by kiranandcode
18m 25s kg/tla-export
kg/tla-export
18m 25s
Add -V tla-export: export a Verus transition-system model to TLA+ basis-build #203: Pull request #49 synchronize by kiranandcode
15m 23s kg/tla-export
kg/tla-export
15m 23s
Add -V tla-export: export a Verus transition-system model to TLA+ rolling-release #206: Pull request #49 synchronize by kiranandcode
11m 57s kg/tla-export
kg/tla-export
11m 57s
Add -V tla-export: export a Verus transition-system model to TLA+ ci #164: Pull request #49 synchronize by kiranandcode
16m 29s kg/tla-export
kg/tla-export
16m 29s
Add -V tla-export: export a Verus transition-system model to TLA+ rolling-release #205: Pull request #49 synchronize by kiranandcode
13m 57s kg/tla-export
kg/tla-export
13m 57s
Add -V tla-export: export a Verus transition-system model to TLA+ ci #163: Pull request #49 synchronize by kiranandcode
46m 44s kg/tla-export
kg/tla-export
46m 44s