Skip to content

Actions: B-Lang-org/bsc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
224 workflow runs
224 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add isStaticValue to the Prelude CI #134: Commit 5b0c58f pushed by quark17
November 7, 2024 21:54 7h 26m 29s main
main
November 7, 2024 21:54 7h 26m 29s
Add a type class for showing values at elaboration time CI #133: Commit 83c821b pushed by quark17
November 7, 2024 21:53 5h 12m 27s main
main
November 7, 2024 21:53 5h 12m 27s
Add a type class for showing values at elaboration time CI #132: Pull request #724 synchronize by quark17
November 7, 2024 21:51 3h 32m 56s krame505:sshow
krame505:sshow
November 7, 2024 21:51 3h 32m 56s
Add a type class for showing values at elaboration time CI #131: Pull request #724 synchronize by krame505
November 6, 2024 21:53 2h 55m 4s krame505:sshow
krame505:sshow
November 6, 2024 21:53 2h 55m 4s
Allow improveIf of con/undet when only one constructor CI #130: Pull request #748 opened by quark17
November 6, 2024 02:39 2h 51m 51s quark17:issue-742
quark17:issue-742
November 6, 2024 02:39 2h 51m 51s
Add isStaticValue to the Prelude CI #129: Pull request #747 opened by mieszko
November 3, 2024 13:19 2h 20m 35s mieszko:is-static-value
mieszko:is-static-value
November 3, 2024 13:19 2h 20m 35s
Merge pull request #745 from mieszko/export-unsafe-bypass-wire CI #128: Commit f365d35 pushed by mieszko
November 2, 2024 16:29 2h 42m 37s main
main
November 2, 2024 16:29 2h 42m 37s
Export mkUnsafeBypassWire CI #127: Pull request #745 synchronize by mieszko
November 2, 2024 00:57 5h 2m 0s mieszko:export-unsafe-bypass-wire
mieszko:export-unsafe-bypass-wire
November 2, 2024 00:57 5h 2m 0s
Testsuite: Account for macOS 15 cpp file path changes CI #126: Commit 9b157d1 pushed by quark17
November 2, 2024 00:49 3h 47m 43s main
main
November 2, 2024 00:49 3h 47m 43s
GitHub CI updates for macOS CI #125: Pull request #744 synchronize by quark17
November 1, 2024 20:33 3h 51m 28s quark17:brew-python-overwrite
quark17:brew-python-overwrite
November 1, 2024 20:33 3h 51m 28s
Export mkUnsafeBypassWire CI #124: Pull request #745 synchronize by mieszko
October 30, 2024 14:11 3h 3m 57s mieszko:export-unsafe-bypass-wire
mieszko:export-unsafe-bypass-wire
October 30, 2024 14:11 3h 3m 57s
Export mkUnsafeBypassWire CI #123: Pull request #745 opened by mieszko
October 29, 2024 04:22 2h 57m 36s mieszko:export-unsafe-bypass-wire
mieszko:export-unsafe-bypass-wire
October 29, 2024 04:22 2h 57m 36s
GitHub CI updates for macOS CI #122: Pull request #744 opened by quark17
October 25, 2024 01:03 3h 16m 48s quark17:brew-python-overwrite
quark17:brew-python-overwrite
October 25, 2024 01:03 3h 16m 48s
Add a type class for showing values at elaboration time CI #121: Pull request #724 synchronize by krame505
October 18, 2024 20:03 2h 49m 52s krame505:sshow
krame505:sshow
October 18, 2024 20:03 2h 49m 52s
Fix windows build. CI #120: Pull request #739 opened by Febbe
October 4, 2024 21:40 1h 0m 52s Febbe:win_comp
Febbe:win_comp
October 4, 2024 21:40 1h 0m 52s
update link and badge to latest release. shorten long markdown lines. CI #119: Commit 6f29814 pushed by kenta2
September 6, 2024 20:28 4h 58m 1s main
main
September 6, 2024 20:28 4h 58m 1s
update link and badge to latest release. CI #118: Pull request #736 opened by kenta2
September 6, 2024 20:26 3h 8m 51s kenta2:main
kenta2:main
September 6, 2024 20:26 3h 8m 51s
testsuite: remove some old -sat-cudd tests CI #117: Commit 41004a1 pushed by quark17
September 5, 2024 07:29 47m 4s main
main
September 5, 2024 07:29 47m 4s
GitHub CI: On macOS, install texlive instead of mactex-no-gui CI #116: Commit fa289f5 pushed by quark17
September 3, 2024 23:09 4h 0m 5s main
main
September 3, 2024 23:09 4h 0m 5s
Libraries Guide: Fix proviso on truncate CI #115: Pull request #734 synchronize by quark17
September 3, 2024 01:49 2h 52m 2s quark17:doc-libs-truncate-proviso
quark17:doc-libs-truncate-proviso
September 3, 2024 01:49 2h 52m 2s
Libraries Guide: Fix proviso on truncate CI #114: Pull request #734 opened by quark17
September 1, 2024 23:29 3h 42m 54s quark17:doc-libs-truncate-proviso
quark17:doc-libs-truncate-proviso
September 1, 2024 23:29 3h 42m 54s
Support splitting up struct method parameters into multiple input ports CI #113: Pull request #729 synchronize by krame505
August 23, 2024 23:10 3h 16m 10s krame505:genwrap
krame505:genwrap
August 23, 2024 23:10 3h 16m 10s
Support splitting up struct method parameters into multiple input ports CI #112: Pull request #729 synchronize by krame505
August 23, 2024 19:31 4h 42m 12s krame505:genwrap
krame505:genwrap
August 23, 2024 19:31 4h 42m 12s
Support splitting up struct method parameters into multiple input ports CI #111: Pull request #729 synchronize by krame505
August 23, 2024 18:48 2h 28m 3s krame505:genwrap
krame505:genwrap
August 23, 2024 18:48 2h 28m 3s
Support splitting up struct method parameters into multiple input ports CI #110: Pull request #729 synchronize by krame505
August 23, 2024 00:03 6h 45m 43s krame505:genwrap
krame505:genwrap
August 23, 2024 00:03 6h 45m 43s