Skip to content

Actions: cvc5/cvc5

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14,131 workflow runs
14,131 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upload Docs Upload Docs #23203: completed by ajreynol
January 21, 2025 17:06 1m 47s
January 21, 2025 17:06 1m 47s
Upload Docs Upload Docs #23202: completed by ajreynol
January 21, 2025 17:04 1m 56s
January 21, 2025 17:04 1m 56s
Add more cases of EVALUATE for string operators in Eunoia CI #33344: Pull request #11548 opened by ajreynol
January 21, 2025 16:40 24m 7s ajreynol:strEvalEo-0121
ajreynol:strEvalEo-0121
January 21, 2025 16:40 24m 7s
Upload Docs Upload Docs #23201: completed by ajreynol
January 21, 2025 16:22 2s
January 21, 2025 16:22 2s
Upload Docs Upload Docs #23200: completed by ajreynol
January 21, 2025 16:22 3s
January 21, 2025 16:22 3s
Add macro rule for capture avoidance in beta redexes and its elaboration CI #33343: Pull request #11513 synchronize by ajreynol
January 21, 2025 16:22 44m 3s ajreynol:lambdaAppElimShadow
ajreynol:lambdaAppElimShadow
January 21, 2025 16:22 44m 3s
Add macro rule for capture avoidance in beta redexes and its elaboration CI #33342: Pull request #11513 synchronize by ajreynol
January 21, 2025 16:21 38s ajreynol:lambdaAppElimShadow
ajreynol:lambdaAppElimShadow
January 21, 2025 16:21 38s
Add macro rule for capture avoidance in beta redexes and its elaboration CI #33341: Pull request #11513 synchronize by ajreynol
January 21, 2025 16:20 1m 23s ajreynol:lambdaAppElimShadow
ajreynol:lambdaAppElimShadow
January 21, 2025 16:20 1m 23s
Upload Docs Upload Docs #23199: completed by daniel-larraz
January 21, 2025 16:14 1m 47s
January 21, 2025 16:14 1m 47s
Upload Docs Upload Docs #23198: completed by ajreynol
January 21, 2025 16:02 1m 50s
January 21, 2025 16:02 1m 50s
Upload Docs Upload Docs #23197: completed by ajreynol
January 21, 2025 15:44 1m 45s
January 21, 2025 15:44 1m 45s
ci: Use GHA-native Linux arm64 runners CI #33340: Pull request #11546 synchronize by daniel-larraz
January 21, 2025 15:43 30m 42s daniel-larraz:ci-linux-arm64
daniel-larraz:ci-linux-arm64
January 21, 2025 15:43 30m 42s
Upload Docs Upload Docs #23196: completed by ajreynol
January 21, 2025 15:35 2s
January 21, 2025 15:35 2s
Simplify the behavior of the arithmetic entail utility in strings CI #33339: Pull request #11538 synchronize by ajreynol
January 21, 2025 15:34 27m 41s ajreynol:strRewriterSimplify
ajreynol:strRewriterSimplify
January 21, 2025 15:34 27m 41s
Simplify the behavior of the arithmetic entail utility in strings CI #33338: Pull request #11538 synchronize by ajreynol
January 21, 2025 15:23 11m 13s ajreynol:strRewriterSimplify
ajreynol:strRewriterSimplify
January 21, 2025 15:23 11m 13s
Add Eunoia definition of QUANT_DT_SPLIT CI #33337: Pull request #11547 opened by ajreynol
January 21, 2025 15:21 22m 43s ajreynol:quantDtSplitEo
ajreynol:quantDtSplitEo
January 21, 2025 15:21 22m 43s
Upload Docs Upload Docs #23195: completed by github-merge-queue bot
January 21, 2025 14:58 1m 45s
January 21, 2025 14:58 1m 45s
Upload Docs Upload Docs #23194: completed by daniel-larraz
January 21, 2025 14:53 3s
January 21, 2025 14:53 3s
ci: Use GHA-native Linux arm64 runners CI #33336: Pull request #11546 opened by daniel-larraz
January 21, 2025 14:38 14m 57s daniel-larraz:ci-linux-arm64
daniel-larraz:ci-linux-arm64
January 21, 2025 14:38 14m 57s
More updates to safe options (#11539) CI #33335: Commit de69dae pushed by github-merge-queue bot
January 21, 2025 14:26 32m 25s main
main
January 21, 2025 14:26 32m 25s
Upload Docs Upload Docs #23193: completed by github-merge-queue bot
January 21, 2025 14:26 1m 57s
January 21, 2025 14:26 1m 57s
Upload Docs Upload Docs #23192: completed by ciaran-matthew-dunne
January 21, 2025 14:12 1m 58s
January 21, 2025 14:12 1m 58s
Upload Docs Upload Docs #23191: completed by ajreynol
January 21, 2025 14:06 1m 46s
January 21, 2025 14:06 1m 46s
Upload Docs Upload Docs #23190: completed by ajreynol
January 21, 2025 14:00 1m 47s
January 21, 2025 14:00 1m 47s
More updates to safe options (#11539) CI #33334: Commit de69dae pushed by github-merge-queue bot
January 21, 2025 13:50 36m 8s gh-readonly-queue/main/pr-11539-9acaebc501d3a7fa554d1cc63e885a3ddd38c262
gh-readonly-queue/main/pr-11539-9acaebc501d3a7fa554d1cc63e885a3ddd38c262
January 21, 2025 13:50 36m 8s