Skip to content

Actions: B-Lang-org/bsc

All workflows

Actions

Loading...

Showing runs from all workflows
192 workflow runs
192 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Add braces to some if-stmts in generated Bluesim C++
CI #62: Commit c481d7f pushed by quark17
April 9, 2024 21:21 4h 33m 21s main
April 9, 2024 21:21 4h 33m 21s
Testsuite: Add "which_mach" and use in div-by-zero tests
CI #59: Commit 388a61e pushed by quark17
April 7, 2024 08:38 5h 9m 9s main
April 7, 2024 08:38 5h 9m 9s
GitHub CI: Add macos-14
CI #58: Pull request #690 synchronize by quark17
April 7, 2024 02:19 5h 28m 31s quark17:add-macos14
April 7, 2024 02:19 5h 28m 31s
GitHub CI: Update GHC latest and HLS versions
CI #57: Commit 91a4e20 pushed by quark17
April 6, 2024 20:09 4h 52m 56s main
April 6, 2024 20:09 4h 52m 56s
GitHub CI: Update GHC latest and HLS versions
CI #56: Pull request #689 opened by quark17
April 6, 2024 09:36 7h 23m 55s quark17:ghc-latest-9.8.2
April 6, 2024 09:36 7h 23m 55s
Libraries Guide: Fix type of continuousAssert
CI #55: Commit 3e8425d pushed by quark17
April 6, 2024 04:18 9h 16m 21s main
April 6, 2024 04:18 9h 16m 21s
GitHub CI: Add 60 min to the timeout for macOS jobs
CI #54: Commit a4a73e8 pushed by quark17
April 6, 2024 04:18 7h 47m 22s main
April 6, 2024 04:18 7h 47m 22s
update link and tag to latest release
CI #51: Commit 4d95340 pushed by kenta2
March 22, 2024 19:58 19m 13s main
March 22, 2024 19:58 19m 13s
Add release notes for 2024.01
CI #50: Commit ae2a2fc pushed by kenta2
March 8, 2024 23:29 7h 35m 7s 2024.01
March 8, 2024 23:29 7h 35m 7s
Add release notes for 2024.01
CI #49: Commit ae2a2fc pushed by quark17
March 8, 2024 23:23 7h 0m 27s main
March 8, 2024 23:23 7h 0m 27s
Add release notes for 2024.01
CI #48: Pull request #667 synchronize by quark17
March 8, 2024 23:22 3h 34m 36s quark17:releasenotes
March 8, 2024 23:22 3h 34m 36s
Update test for Bluespec Inc bug 1490
CI #47: Commit dfc7568 pushed by kenta2
March 8, 2024 21:01 2h 38m 12s 2024.01
March 8, 2024 21:01 2h 38m 12s
Update test for Bluespec Inc bug 1490
CI #46: Commit dfc7568 pushed by quark17
March 4, 2024 01:41 2h 24m 5s main
March 4, 2024 01:41 2h 24m 5s
Update test for Bluespec Inc bug 1490
CI #45: Pull request #681 opened by quark17
March 3, 2024 23:08 2h 21m 33s quark17:update-b1490
March 3, 2024 23:08 2h 21m 33s
Add release notes for 2024.01
CI #44: Pull request #667 synchronize by quark17
March 3, 2024 09:30 4h 43m 18s quark17:releasenotes
March 3, 2024 09:30 4h 43m 18s
Typecheck: Do more substitution on reduced preds
CI #43: Commit 2694b42 pushed by quark17
March 3, 2024 09:21 3h 9m 38s main
March 3, 2024 09:21 3h 9m 38s
Typecheck: Do more substitution on reduced preds
CI #42: Pull request #680 opened by quark17
March 2, 2024 03:25 2h 32m 10s quark17:apsub-satmany
March 2, 2024 03:25 2h 32m 10s
GitHub CI: Cleanup the Toooba test jobs
CI #41: Commit e8aeb85 pushed by quark17
February 25, 2024 21:09 2h 41m 20s main
February 25, 2024 21:09 2h 41m 20s
GitHub CI: Reinstate Toooba test for macos-13
CI #40: Pull request #676 synchronize by quark17
February 25, 2024 10:28 3h 38m 19s quark17:reinstate-toooba-ci
February 25, 2024 10:28 3h 38m 19s
GitHub CI: Reinstate Toooba test for macos-13
CI #39: Pull request #676 synchronize by quark17
February 25, 2024 08:57 1h 31m 11s quark17:reinstate-toooba-ci
February 25, 2024 08:57 1h 31m 11s
GitHub CI: Reinstate Toooba test for macos-13
CI #38: Pull request #676 opened by quark17
February 25, 2024 08:43 2h 57m 32s quark17:reinstate-toooba-ci
February 25, 2024 08:43 2h 57m 32s