PR

80 workflow runs

Preserve the SANY binding of SUBSET against \ and \union.
completed successfully:
PR#82:Pull request#140synchronizebylemmy
mku-gh892
Nov 5, 202615m 0s
Preserve the SANY binding of SUBSET against \ and \union.
failed:
PR#81:Pull request#140synchronizebylemmy
mku-gh892
Nov 5, 202614m 43s
Preserve the SANY binding of SUBSET against \ and \union.
failed:
PR#80:Pull request#140openedbylemmy
mku-gh892
Nov 4, 202616m 31s
Read the arrays of a shared function or record only of a snapshot.
completed successfully:
PR#79:Pull request#139openedbylemmy
mku-gh1445
Oct 24, 20261m 13s
Make IOUtils exec operators opt-in
failed:
PR#78:Pull request#138openedbyNoneSilva
nonesilva-contributions:make-ioutils-exec-opt-in
Oct 14, 20261h 36m 10s
Add a CBOR module that reads and writes TLA+ values
completed successfully:
PR#77:Pull request#136synchronizebyyounes-io
younes-io:cbor
Oct 13, 202615m 32s
Add a CBOR module that reads and writes TLA+ values
completed successfully:
PR#76:Pull request#136synchronizebyyounes-io
younes-io:cbor
Oct 13, 202615m 47s
Add a CBOR module that reads and writes TLA+ values
completed successfully:
PR#75:Pull request#136synchronizebyyounes-io
younes-io:cbor
Oct 10, 202615m 13s
Add a CBOR module that reads and writes TLA+ values
failed:
PR#74:Pull request#136synchronizebyyounes-io
younes-io:cbor
Oct 9, 202630d 1h 4m 52s
Add a CBOR module that reads and writes TLA+ values
completed successfully:
PR#73:Pull request#136synchronizebyyounes-io
younes-io:cbor
Oct 9, 202613m 46s
Add a CBOR module that reads and writes TLA+ values
failed:
PR#72:Pull request#136synchronizebyyounes-io
younes-io:cbor
Oct 8, 202630d 1h 2m 52s
Add a CBOR module that reads and writes TLA+ values
completed successfully:
PR#71:Pull request#136openedbyyounes-io
younes-io:cbor
Oct 7, 202613m 7s
Make the AntiFunction override total on non-injective functions
failed:
PR#70:Pull request#135synchronizebylemmy
mku-antifunction
Oct 3, 202613m 11s
Make the AntiFunction override total on non-injective functions
failed:
PR#69:Pull request#135openedbylemmy
mku-antifunction
Oct 3, 202613m 16s
Make the IsInjective override accept records and lazy functions
failed:
PR#68:Pull request#134openedbylemmy
mku-isinjective
Oct 3, 202610m 18s
Add pure tests for more operators with Java module overrides
failed:
PR#67:Pull request#133synchronizebylemmy
mku-pureTests
Oct 3, 202611m 53s
Add pure tests for more operators with Java module overrides
failed:
PR#66:Pull request#133openedbylemmy
mku-pureTests
Oct 3, 202617m 22s
Add tests for SequencesExt SelectInSubSeq and SelectLastInSubSeq
failed:
PR#65:Pull request#132synchronizebylemmy
sequencesext-selectinsubseq-pure-tests
Oct 3, 202614m 32s
Add tests for SequencesExt SelectInSubSeq and SelectLastInSubSeq
failed:
PR#64:Pull request#132openedbylemmy
sequencesext-selectinsubseq-pure-tests
Oct 3, 202610m 26s
Delegate kSubset semantics to KSubsetValue
completed successfully:
PR#63:Pull request#130synchronizebylemmy
mku-ksubset
Sep 12, 202619m 52s
Delegate kSubset semantics to KSubsetValue
failed:
PR#62:Pull request#130synchronizebylemmy
mku-ksubset
Sep 12, 202622m 3s
Delegate kSubset semantics to KSubsetValue
failed:
PR#61:Pull request#130synchronizebylemmy
mku-ksubset
Sep 12, 202619m 33s
Delegate kSubset semantics to KSubsetValue
failed:
PR#60:Pull request#130synchronizebylemmy
mku-ksubset
Sep 11, 202623m 2s
Delegate kSubset semantics to KSubsetValue
failed:
PR#59:Pull request#130synchronizebylemmy
mku-ksubset
Sep 11, 202616m 25s
Delegate kSubset semantics to KSubsetValue
cancelled:
PR#58:Pull request#130openedbylemmy
mku-ksubset
Sep 11, 20264m 27s