Skip to content

Actions: ST0MP-EE5/OpenGauss

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 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
FormalQualBench Verified8 FormalQualBench Verified8 #9: Manually run by ST0MP-EE5
6h 7m 50s codex/opengauss-formalqualbench-cleanup
codex/opengauss-formalqualbench-cleanup
6h 7m 50s
FormalQualBench Verified8 FormalQualBench Verified8 #8: Manually run by ST0MP-EE5
1h 1m 37s codex/opengauss-formalqualbench-cleanup
codex/opengauss-formalqualbench-cleanup
1h 1m 37s
FormalQualBench Verified8 FormalQualBench Verified8 #7: Manually run by ST0MP-EE5
3h 56m 55s codex/opengauss-formalqualbench-cleanup
codex/opengauss-formalqualbench-cleanup
3h 56m 55s
FormalQualBench Verified8 FormalQualBench Verified8 #6: Manually run by ST0MP-EE5
13m 5s codex/opengauss-formalqualbench-cleanup
codex/opengauss-formalqualbench-cleanup
13m 5s
FormalQualBench Verified8 FormalQualBench Verified8 #5: Manually run by ST0MP-EE5
6m 10s codex/opengauss-formalqualbench-cleanup
codex/opengauss-formalqualbench-cleanup
6m 10s
FormalQualBench Verified8 FormalQualBench Verified8 #4: Manually run by ST0MP-EE5
4h 16m 9s main
main
4h 16m 9s
bench: support pinned benchmark commit checkout Tests #4: Commit bf4b503 pushed by ST0MP-EE5
48s main
main
48s
bench: support pinned benchmark commit checkout Publish Shared Template #4: Commit bf4b503 pushed by ST0MP-EE5
7s main
main
7s
FormalQualBench Verified8 FormalQualBench Verified8 #3: Manually run by ST0MP-EE5
26s main
main
26s
bench: pin FormalQualBench comparator toolchain Publish Shared Template #3: Commit 1e62b98 pushed by ST0MP-EE5
9s main
main
9s
bench: pin FormalQualBench comparator toolchain Tests #3: Commit 1e62b98 pushed by ST0MP-EE5
46s main
main
46s
FormalQualBench Verified8 FormalQualBench Verified8 #2: Manually run by ST0MP-EE5
1h 39m 50s main
main
1h 39m 50s
bench: run verified8 with high reasoning Tests #2: Commit 8a32e8f pushed by ST0MP-EE5
46s main
main
46s
bench: run verified8 with high reasoning Publish Shared Template #2: Commit 8a32e8f pushed by ST0MP-EE5
10s main
main
10s
FormalQualBench Verified8 FormalQualBench Verified8 #1: Manually run by ST0MP-EE5
2m 42s main
main
2m 42s
feat: add native OpenGauss Lean workflow Publish Shared Template #1: Commit 742d746 pushed by ST0MP-EE5
7s main
main
7s
feat: add native OpenGauss Lean workflow Tests #1: Commit 742d746 pushed by ST0MP-EE5
41s main
main
41s
feat: add native OpenGauss Lean workflow Deploy Site #1: Commit 742d746 pushed by ST0MP-EE5
15s main
main
15s