Skip to content

Actions: krame505/bsc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
171 workflow runs
171 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
Scope pooled ground dictionaries to the runTI, fixing ISyntaxCheck.fi… CI #239: Commit ff0151d pushed by krame505
9h 2m 10s fix/dict-pool-scope
fix/dict-pool-scope
9h 2m 10s
Disable closed-dictionary pool deposits to fix ISyntaxCheck.findT ICE CI #238: Commit 32ca87f pushed by krame505
5h 32m 0s fix/dict-pool-scope
fix/dict-pool-scope
5h 32m 0s
Update SplitVector test after rebasing CI #237: Commit 75dd4b5 pushed by quark17
7h 23m 54s split-tuple-ports
split-tuple-ports
7h 23m 54s
Update test expectations after rebase onto input-ports-tuples-v2 CI #236: Commit 735d1f4 pushed by quark17
6h 57m 11s split-tuple-ports
split-tuple-ports
6h 57m 11s
Prelude: declare the TupleSize proviso that checkPortNames relies on CI #235: Commit 467034b pushed by quark17
5h 58m 34s split-tuple-ports
split-tuple-ports
5h 58m 34s
Fix a superfluous import CI #234: Commit ea4047b pushed by krame505
3h 2m 40s fix-warnings
fix-warnings
3h 2m 40s
Address PR #916 review: Let WithCtx test, pin Unbound_NoCtx output CI #233: Commit cb26c3e pushed by krame505
2h 22m 1s expand-type-funs-tiExpl
expand-type-funs-tiExpl
2h 22m 1s
Prelude: declare the TupleSize proviso that checkPortNames relies on CI #232: Commit 96d31f0 pushed by nanavati
2h 34m 57s split-tuple-ports
split-tuple-ports
2h 34m 57s
Address PR #916 review: expand type-function expansion tests CI #231: Commit a7a9de3 pushed by krame505
2h 52m 9s expand-type-funs-tiExpl
expand-type-funs-tiExpl
2h 52m 9s
Update test expectations after rebase onto input-ports-tuples-v2 CI #230: Commit d363382 pushed by krame505
1h 44m 5s split-tuple-ports
split-tuple-ports
1h 44m 5s
Revert accidental change to debug expression CI #229: Commit b929556 pushed by krame505
4h 5m 11s lucas/atf-decompose-fix
lucas/atf-decompose-fix
4h 5m 11s
Update test expectations after rebase onto input-ports-tuples-v2 CI #228: Commit 6454fd4 pushed by krame505
3h 35m 1s split-tuple-ports
split-tuple-ports
3h 35m 1s
Update test expectations after rebase onto input-ports-tuples-v2 CI #227: Commit 21235f8 pushed by krame505
1h 54m 49s split-tuple-ports
split-tuple-ports
1h 54m 49s
Update test expectations after rebase onto input-ports-tuples-v2 CI #226: Commit 58b243a pushed by krame505
2h 14m 31s split-tuple-ports
split-tuple-ports
2h 14m 31s
Fix off-by-one in SMT disjointness conversion of split-tuple method r… CI #225: Commit 190e798 pushed by krame505
3h 28m 58s split-tuple-ports
split-tuple-ports
3h 28m 58s
Make PrimPair a struct instead of an interface CI #224: Commit 0ddc74f pushed by krame505
2h 57m 20s split-tuple-ports
split-tuple-ports
2h 57m 20s
Add tests for the Foldable, Foldable1, and Traversable classes CI #223: Commit 7d380d4 pushed by krame505
3h 59m 53s foldable-traversable
foldable-traversable
3h 59m 53s
Add tests for Vector and ListN Applicative/Functor instances CI #222: Commit 6c81871 pushed by krame505
3h 46m 15s applicative-vector
applicative-vector
3h 46m 15s
Make PrimPair a struct instead of an interface CI #221: Commit 1a808aa pushed by krame505
2h 18m 32s split-tuple-ports
split-tuple-ports
2h 18m 32s
Add default SplitPorts instances for tuples CI #220: Commit f37e937 pushed by krame505
3h 21m 31s split-tuple-ports
split-tuple-ports
3h 21m 31s
Add regression test for ATF pair-Add-decomposition assert CI #219: Commit 3c9b205 pushed by krame505
3h 26m 5s lucas/atf-decompose-fix
lucas/atf-decompose-fix
3h 26m 5s
Fix post-inference IAp assert for ATF-bearing class instances CI #218: Commit 3ea6002 pushed by krame505
2h 51m 38s lucas/atf-decompose-fix
lucas/atf-decompose-fix
2h 51m 38s
Refactor handling of input port splitting to avoid flattening all inp… CI #217: Commit 68dd6e0 pushed by krame505
2h 29m 21s input-ports-tuples
input-ports-tuples
2h 29m 21s
Add type-level PrintType utility CI #216: Commit 44f8cb2 pushed by krame505
2h 31m 37s print-type
print-type
2h 31m 37s
Add length and null to Foldable CI #215: Commit ef760cc pushed by krame505
4h 1m 33s foldable-traversable
foldable-traversable
4h 1m 33s