Skip to content

Actions: B-Lang-org/bsc

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

GitHub CI: Handle macOS VMs that don't have ghcup
CI #988: Commit 54d32da pushed by quark17
December 24, 2023 02:42 3h 21m 30s main
December 24, 2023 02:42 3h 21m 30s
GitHub CI: Handle macOS VMs that don't have ghcup
CI #987: Pull request #653 opened by quark17
December 22, 2023 23:15 3h 41m 1s quark17:ghcup-macos-13
December 22, 2023 23:15 3h 41m 1s
Fix BSV parsing of naked expressions
CI #986: Commit 96080b5 pushed by quark17
December 21, 2023 20:25 47s main
December 21, 2023 20:25 47s
GitHub CI: Turn off fail-fast for all matrix jobs
CI #985: Commit 4680b41 pushed by quark17
December 21, 2023 10:36 43s main
December 21, 2023 10:36 43s
Fix BSV parsing of naked expressions
CI #984: Pull request #652 opened by quark17
December 21, 2023 10:01 1h 42m 14s quark17:issue-646
December 21, 2023 10:01 1h 42m 14s
GitHub CI: Turn off fail-fast for all matrix jobs
CI #983: Pull request #651 opened by quark17
December 21, 2023 09:45 1h 42m 13s quark17:fail-fast-false
December 21, 2023 09:45 1h 42m 13s
CI: Workaround a PATH/ghc issue on macOS 11 VM
CI #981: Pull request #642 opened by quark17
November 8, 2023 21:46 2h 32m 31s quark17:macos11-ghc-workaround
November 8, 2023 21:46 2h 32m 31s
README.md: add package information about gentoo (#640)
CI #980: Commit 63b2cc2 pushed by quark17
November 4, 2023 22:46 3h 24m 55s main
November 4, 2023 22:46 3h 24m 55s
Fix type: s/typdef/typedef/
CI #977: Commit bbbaadb pushed by quark17
November 2, 2023 21:29 2h 30m 38s main
November 2, 2023 21:29 2h 30m 38s
Update the URL for Icarus Verilog
CI #976: Commit 84f8124 pushed by quark17
October 31, 2023 05:04 4h 30m 24s main
October 31, 2023 05:04 4h 30m 24s
Update the URL for Icarus Verilog
CI #975: Pull request #638 opened by quark17
October 31, 2023 05:01 2h 29m 20s quark17:fix-verilator-url
October 31, 2023 05:01 2h 29m 20s
Update testsuite after proviso changes in FixedPoint
CI #973: Commit 10e1952 pushed by quark17
October 24, 2023 21:03 2h 37m 32s main
October 24, 2023 21:03 2h 37m 32s
Improve provisos on FixedPoint function epsilon
CI #971: Commit 48cb127 pushed by quark17
October 24, 2023 02:38 2h 26m 9s main
October 24, 2023 02:38 2h 26m 9s
Fixes to typecheck of struct update/literal/pattern
CI #970: Commit 9a4e8ff pushed by quark17
October 20, 2023 03:38 2h 29m 59s main
October 20, 2023 03:38 2h 29m 59s
Fix the desugaring of struct update
CI #969: Pull request #630 synchronize by quark17
October 20, 2023 00:55 2h 40m 52s quark17:tcheck-cstructupd
October 20, 2023 00:55 2h 40m 52s
Fix the desugaring of struct update
CI #968: Pull request #630 synchronize by quark17
October 19, 2023 23:08 1h 55m 30s quark17:tcheck-cstructupd
October 19, 2023 23:08 1h 55m 30s
Fix the desugaring of struct update
CI #967: Pull request #630 opened by quark17
October 19, 2023 08:51 4h 27m 59s quark17:tcheck-cstructupd
October 19, 2023 08:51 4h 27m 59s
Add missing features to the {-# properties foo = {...} #-} syntax in …
CI #966: Commit 71eec9b pushed by quark17
October 17, 2023 21:08 3h 3m 41s main
October 17, 2023 21:08 3h 3m 41s
Update BSC to compile with GHC 9.8.1
CI #963: Commit da4b93f pushed by quark17
October 13, 2023 21:42 3h 30m 0s main
October 13, 2023 21:42 3h 30m 0s
Support some clock and reset pragmas in BH/Classic (#624)
CI #962: Commit af603ae pushed by quark17
October 13, 2023 21:38 3h 48m 38s main
October 13, 2023 21:38 3h 48m 38s
Add support for some clock and reset pragmas to Classic
CI #961: Pull request #624 synchronize by nanavati
October 12, 2023 20:32 4h 50m 49s MatX-inc:classic-pragmas
October 12, 2023 20:32 4h 50m 49s