Skip to content

Actions: krame505/bsc

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update CPrintType to use new generic features CI #97: Commit c286639 pushed by quark17
4h 50m 12s lucas/generics-con-args
lucas/generics-con-args
4h 50m 12s
Update CPrintType to use new generic features CI #96: Commit 9aceb66 pushed by quark17
6h 14m 47s lucas/generics-con-args
lucas/generics-con-args
6h 14m 47s
Update CPrintType to use new generic features CI #95: Commit aa20a96 pushed by quark17
5h 47m 42s lucas/generics-con-args
lucas/generics-con-args
5h 47m 42s
Merge branch 'main' into lucas/generics-con-args CI #94: Commit 8f6b7b9 pushed by quark17
4h 32m 58s lucas/generics-con-args
lucas/generics-con-args
4h 32m 58s
Update CPrintType to use new generic features CI #93: Commit aa20a96 pushed by quark17
2h 58m 23s lucas/generics-con-args
lucas/generics-con-args
2h 58m 23s
Fix error in NFData CDefn instance from rebasing CI #92: Commit 3e91a87 pushed by krame505
3h 12m 10s genwrap
genwrap
3h 12m 10s
Update CPrintType to use new generic features CI #91: Commit 4dd6b96 pushed by krame505
7h 10m 2s lucas/generics-con-args
lucas/generics-con-args
7h 10m 2s
Update documentation with new generic constructor kind support CI #90: Commit 1ff69be pushed by krame505
6h 26m 53s lucas/generics-con-args
lucas/generics-con-args
6h 26m 53s
Add Generic representations of # -> * and * -> * args. CI #89: Commit bfedfc2 pushed by krame505
2h 24m 57s generic_num_and_star_con_args
generic_num_and_star_con_args
2h 24m 57s
Avoid stringHead of an empty string CI #88: Commit 77f9433 pushed by krame505
18h 42m 32s genwrap
genwrap
18h 42m 32s
Add util to unwrap a Port value CI #87: Commit 9381a58 pushed by krame505
17h 16m 26s genwrap
genwrap
17h 16m 26s
Add util to unwrap a Port value CI #86: Commit 3059dae pushed by krame505
3h 57m 22s genwrap
genwrap
3h 57m 22s
mkProxy -> mkTypeProxyExpr CI #85: Commit f6bdfb0 pushed by krame505
16h 10m 58s genwrap
genwrap
16h 10m 58s
Remove outdated comment CI #84: Commit 5fe0639 pushed by krame505
14h 44m 14s genwrap
genwrap
14h 44m 14s
Remove unused fsConcat CI #83: Commit d4cd1a7 pushed by krame505
12h 25m 56s genwrap
genwrap
12h 25m 56s
Avoid treating (a, ()) as a tuple of size 1 CI #82: Commit 1910d53 pushed by krame505
10h 56m 24s genwrap
genwrap
10h 56m 24s
Add missing newline CI #81: Commit 4314326 pushed by krame505
4h 24m 24s genwrap
genwrap
4h 24m 24s
Make mkList take a Position argument CI #80: Commit 5c926b8 pushed by krame505
3h 19m 20s genwrap
genwrap
3h 19m 20s
Include nolinline pragma in pPrint of Cforeign CI #79: Commit 62e2902 pushed by krame505
6h 53m 4s genwrap
genwrap
6h 53m 4s
Better position for error when wrong number of ports are returned by … CI #78: Commit 507d588 pushed by krame505
5h 56m 47s genwrap
genwrap
5h 56m 47s
Add lookupAll to libraries ref guide CI #77: Commit d7f680f pushed by krame505
10h 37m 17s lookupAll
lookupAll
10h 37m 17s
Add lookupAll to libraries_ref_guide CI #76: Commit 173a791 pushed by krame505
11h 0m 46s lucas/lookupAll
lucas/lookupAll
11h 0m 46s
Clean up exports CI #75: Commit dd28d3c pushed by krame505
11h 26m 27s genwrap
genwrap
11h 26m 27s
Clean up exports CI #74: Commit 236fa1a pushed by krame505
7h 57m 46s genwrap
genwrap
7h 57m 46s
Add lookupAll utility CI #73: Commit 11c0295 pushed by krame505
7h 59m 16s lookupAll
lookupAll
7h 59m 16s