Skip to content

Actions: B-Lang-org/bsc

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
196 workflow runs
196 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Add support for some clock and reset pragmas to Classic CI #960: Pull request #624 synchronize by nanavati
October 12, 2023 20:26 3h 40m 29s MatX-inc:classic-pragmas
MatX-inc:classic-pragmas
October 12, 2023 20:26 3h 40m 29s
Update BSC to compile with GHC 9.8.1 CI #959: Pull request #625 synchronize by quark17
October 11, 2023 20:50 3h 25m 36s quark17:ghc-9.8.1
quark17:ghc-9.8.1
October 11, 2023 20:50 3h 25m 36s
Update BSC to compile with GHC 9.8.1 CI #958: Pull request #625 opened by quark17
October 11, 2023 20:46 4m 16s quark17:ghc-9.8.1
quark17:ghc-9.8.1
October 11, 2023 20:46 4m 16s
Add support for some clock and reset pragmas to Classic CI #957: Pull request #624 opened by nanavati
October 11, 2023 00:14 3h 21m 27s MatX-inc:classic-pragmas
MatX-inc:classic-pragmas
October 11, 2023 00:14 3h 21m 27s
Fix typo "gate_input_clock" -> "gate_input_clocks" CI #956: Commit e53e4ad pushed by quark17
September 21, 2023 21:23 6h 14m 1s main
main
September 21, 2023 21:23 6h 14m 1s
Fix typo "gate_input_clock" -> "gate_input_clocks" CI #955: Pull request #615 opened by rossc719g
September 21, 2023 21:02 3h 54m 42s MatX-inc:tex_typo
MatX-inc:tex_typo
September 21, 2023 21:02 3h 54m 42s
Rework the named semaphore implementation. CI #954: Commit 527eaa0 pushed by quark17
September 8, 2023 00:23 3h 33m 12s main
main
September 8, 2023 00:23 3h 33m 12s
Rework the named semaphore implementation. CI #953: Pull request #613 opened by rossc719g
September 7, 2023 08:28 3h 33m 4s MatX-inc:main
MatX-inc:main
September 7, 2023 08:28 3h 33m 4s
Disallow ° and ´ in BH identifiers; now symbol characters CI #952: Commit ab297c0 pushed by quark17
September 4, 2023 22:00 3h 7m 34s main
main
September 4, 2023 22:00 3h 7m 34s
Disallow ° and ´ in BH identifiers CI #951: Pull request #610 opened by mieszko
September 3, 2023 21:21 2h 38m 23s mieszko:no-degree-prime
mieszko:no-degree-prime
September 3, 2023 21:21 2h 38m 23s
Bump GHC version to 9.4.7 CI #950: Commit ebe8877 pushed by quark17
September 1, 2023 23:04 21m 32s main
main
September 1, 2023 23:04 21m 32s
Use UTF-8 instead of ISO-8859-1 CI #949: Pull request #601 synchronize by quark17
September 1, 2023 10:26 3h 16m 0s mieszko:utf8
mieszko:utf8
September 1, 2023 10:26 3h 16m 0s
Use UTF-8 instead of ISO-8859-1 CI #948: Pull request #601 synchronize by quark17
August 31, 2023 22:20 2h 44m 41s mieszko:utf8
mieszko:utf8
August 31, 2023 22:20 2h 44m 41s
Use UTF-8 instead of ISO-8859-1 CI #947: Pull request #601 synchronize by quark17
August 31, 2023 20:47 3h 28m 51s mieszko:utf8
mieszko:utf8
August 31, 2023 20:47 3h 28m 51s
Use UTF-8 instead of ISO-8859-1 CI #946: Pull request #601 synchronize by mieszko
August 31, 2023 16:29 6h 18m 40s mieszko:utf8
mieszko:utf8
August 31, 2023 16:29 6h 18m 40s
Use UTF-8 instead of ISO-8859-1 CI #945: Pull request #601 synchronize by mieszko
August 31, 2023 16:20 3h 57m 29s mieszko:utf8
mieszko:utf8
August 31, 2023 16:20 3h 57m 29s
update link and badge to latest release CI #944: Commit 89fefd8 pushed by kenta2
August 29, 2023 06:09 20m 6s main
main
August 29, 2023 06:09 20m 6s
update link and badge to latest release CI #943: Pull request #609 opened by kenta2
August 28, 2023 13:33 44m 1s kenta2:main
kenta2:main
August 28, 2023 13:33 44m 1s
Add links to documentation in READMEs CI #942: Commit 324b609 pushed by quark17
August 24, 2023 09:31 4h 50m 39s main
main
August 24, 2023 09:31 4h 50m 39s
Add links to documentation in READMEs CI #941: Pull request #606 opened by quark17
August 24, 2023 09:25 3h 1m 50s quark17:update-doc
quark17:update-doc
August 24, 2023 09:25 3h 1m 50s
Bump the warning for unsupport GHC 9 minor version to greater than 9.6 CI #940: Commit 0eb551d pushed by kenta2
August 20, 2023 21:10 2h 50m 59s 2023.07
2023.07
August 20, 2023 21:10 2h 50m 59s
Bump the warning for unsupport GHC 9 minor version to greater than 9.6 CI #939: Commit 0eb551d pushed by kenta2
August 18, 2023 07:57 2h 56m 6s main
main
August 18, 2023 07:57 2h 56m 6s
Release notes for 2023.07 CI #938: Pull request #602 opened by quark17
August 17, 2023 00:47 2h 56m 45s quark17:releasenotes-2023.07
quark17:releasenotes-2023.07
August 17, 2023 00:47 2h 56m 45s
Extend STP_STUB and YICES_STUB flag CI #937: Pull request #600 synchronize by Vekhir
August 16, 2023 12:53 5h 0m 41s Vekhir:stp-sys
Vekhir:stp-sys
August 16, 2023 12:53 5h 0m 41s
Extend STP_STUB and YICES_STUB flag CI #936: Pull request #600 synchronize by Vekhir
August 16, 2023 12:27 2h 32m 24s Vekhir:stp-sys
Vekhir:stp-sys
August 16, 2023 12:27 2h 32m 24s