Skip to content

Actions: shingarov/MachineArithmetic

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
903 workflow runs
903 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test Test #1494: Scheduled
December 9, 2024 06:01 1m 39s pure-z3
pure-z3
December 9, 2024 06:01 1m 39s
Test Test #1493: Scheduled
December 2, 2024 06:01 1m 34s pure-z3
pure-z3
December 2, 2024 06:01 1m 34s
Test Test #1492: Scheduled
November 25, 2024 06:01 1m 34s pure-z3
pure-z3
November 25, 2024 06:01 1m 34s
[PreSmalltalks] Revert introduction of useless String>>syms Test #1491: Commit 8333092 pushed by shingarov
November 21, 2024 13:03 1m 37s pure-z3
pure-z3
November 21, 2024 13:03 1m 37s
[PreSmalltalks] Revert introduction of useless String>>syms Test #1490: Pull request #398 synchronize by shingarov
November 21, 2024 13:01 1m 35s remove-syms
remove-syms
November 21, 2024 13:01 1m 35s
[PreSmalltalks] Revert introduction of useless String>>syms Test #1489: Pull request #398 opened by shingarov
November 21, 2024 12:54 43s remove-syms
remove-syms
November 21, 2024 12:54 43s
Test "void is terminal" at Sprite level Test #1488: Commit 16b2c0b pushed by shingarov
November 18, 2024 15:03 1m 40s pure-z3
pure-z3
November 18, 2024 15:03 1m 40s
Test "void is terminal" at Sprite level Test #1487: Pull request #396 opened by shingarov
November 18, 2024 15:01 1m 43s void-tests
void-tests
November 18, 2024 15:01 1m 43s
Create Z3Datatypes from SpriteLang Data Test #1486: Commit fa79ee8 pushed by shingarov
November 18, 2024 14:06 1m 50s pure-z3
pure-z3
November 18, 2024 14:06 1m 50s
Create Z3Datatypes from SpriteLang Data Test #1485: Pull request #395 opened by shingarov
November 18, 2024 14:04 1m 43s sprite-z3datatypes
sprite-z3datatypes
November 18, 2024 14:04 1m 43s
Refactor Prog>>vcgen Test #1484: Commit 3a09c53 pushed by shingarov
November 18, 2024 12:15 1m 40s pure-z3
pure-z3
November 18, 2024 12:15 1m 40s
Refactor Prog>>vcgen Test #1483: Pull request #394 opened by shingarov
November 18, 2024 12:11 1m 34s refactor-vcgen
refactor-vcgen
November 18, 2024 12:11 1m 34s
[cosmetic] Link #shouldBeImplemented in #tcInvs and its skipped test Test #1482: Commit 423bc25 pushed by shingarov
November 18, 2024 09:57 1m 39s pure-z3
pure-z3
November 18, 2024 09:57 1m 39s
Get rid of global CGState Test #1481: Commit 4de443d pushed by shingarov
November 18, 2024 09:54 1m 44s pure-z3
pure-z3
November 18, 2024 09:54 1m 44s
Get rid of global CGState Test #1480: Pull request #392 opened by shingarov
November 18, 2024 09:07 1m 36s cg-monad
cg-monad
November 18, 2024 09:07 1m 36s
Test Test #1479: Scheduled
November 18, 2024 06:01 1m 41s pure-z3
pure-z3
November 18, 2024 06:01 1m 41s
Datatype tests: add FQPosTest>>testEqConstr1 Test #1478: Commit f23a204 pushed by shingarov
November 17, 2024 11:06 1m 40s pure-z3
pure-z3
November 17, 2024 11:06 1m 40s
Implement F.DataDecl on top of Z3 Datatypes Test #1477: Pull request #340 synchronize by shingarov
November 17, 2024 11:01 1m 42s FxData
FxData
November 17, 2024 11:01 1m 42s
Implement F.DataDecl on top of Z3 Datatypes Test #1476: Pull request #340 synchronize by shingarov
November 17, 2024 10:58 1m 42s FxData
FxData
November 17, 2024 10:58 1m 42s
[PreSmalltalks] Remove IndexedSet Test #1475: Commit 586596a pushed by shingarov
November 17, 2024 10:49 1m 33s pure-z3
pure-z3
November 17, 2024 10:49 1m 33s
[PreSmalltalks] Remove IndexedSet Test #1474: Pull request #391 opened by shingarov
November 17, 2024 10:47 1m 39s remove-indexedset
remove-indexedset
November 17, 2024 10:47 1m 39s
Fix parsing FQ tags Test #1473: Commit 169a7ec pushed by shingarov
November 17, 2024 10:44 1m 30s pure-z3
pure-z3
November 17, 2024 10:44 1m 30s
Fix parsing FQ tags Test #1472: Pull request #390 opened by shingarov
November 17, 2024 10:42 1m 32s fq-tags
fq-tags
November 17, 2024 10:42 1m 32s
Add testEqConstr0 Test #1471: Commit 1de36bc pushed by shingarov
November 17, 2024 10:41 1m 40s pure-z3
pure-z3
November 17, 2024 10:41 1m 40s
Second major overhaul of Hindley–Milner Test #1470: Pull request #381 synchronize by shingarov
November 17, 2024 10:39 1m 41s hm2
hm2
November 17, 2024 10:39 1m 41s