Skip to content

Actions: testsmt/yinyang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 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
Fix silent segfault from deep copy.deepcopy() recursion (#64) ci #241: Commit 32463aa pushed by wintered
14m 36s master
master
14m 36s
Fix six bugs in Typechecker.py: infinite recursion, tautologies, ci #240: Commit fe8c08d pushed by wintered
16m 36s master
master
16m 36s
Fix segfault-detection mock incompatible with Python 3.11+ (CI) ci #239: Commit b7854db pushed by wintered
16m 9s master
master
16m 9s
Fix flake8 checkstyle violations blocking CI ci #238: Commit a259f61 pushed by wintered
1m 10s master
master
1m 10s
Fix CI pipeline: dead GH-hosted runner and broken CVC4 download links ci #237: Commit 50aa946 pushed by wintered
29s master
master
29s
Fix Array sort parsing and select/store typechecking (#60) ci #236: Commit 3492cc7 pushed by wintered
11m 35s master
master
11m 35s
Fix nullary regex constants printed as function applications (#31) ci #235: Commit f688a60 pushed by wintered
17m 2s master
master
17m 2s
Fix false typechecker error when a quantified/let variable shadows a … ci #234: Commit 53d18d2 pushed by wintered
31m 13s master
master
31m 13s
Merge pull request #68 from NixoN2/fix-keep-mutants-and-preserve-headers ci #233: Commit e5f1c13 pushed by wintered
40m 46s v0.3.1
v0.3.1
40m 46s
Merge pull request #68 from NixoN2/fix-keep-mutants-and-preserve-headers ci #232: Commit e5f1c13 pushed by wintered
1d 0h 0m 2s master
master
1d 0h 0m 2s
Fix keep-mutants flag and preserve header comments in mutants ci #231: Pull request #68 synchronize by wintered
1d 0h 0m 2s NixoN2:fix-keep-mutants-and-preserve-headers
NixoN2:fix-keep-mutants-and-preserve-headers
1d 0h 0m 2s
Fix keep-mutants flag and preserve header comments in mutants ci #230: Pull request #68 opened by NixoN2
1d 0h 0m 2s NixoN2:fix-keep-mutants-and-preserve-headers
NixoN2:fix-keep-mutants-and-preserve-headers
1d 0h 0m 2s
Merge pull request #67 from NixoN2/add-random-seed-option ci #229: Commit 32264e1 pushed by wintered
1d 0h 0m 3s master
master
1d 0h 0m 3s
Merge pull request #65 from brutalsavage/patch-1 ci #228: Commit 3235514 pushed by wintered
1d 0h 0m 1s master
master
1d 0h 0m 1s