Skip to content

Actions: B-Lang-org/bsc

CI

Actions

Loading...

Show workflow options

Create status badge

66 workflow runs
66 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Add CI for new ubuntu-24.04 beta VM
CI #65: Pull request #700 synchronize by quark17
May 25, 2024 03:15 2h 22m 47s quark17:add-ubuntu-24.04
May 25, 2024 03:15 2h 22m 47s
Add CI for new ubuntu-24.04 beta VM
CI #64: Pull request #700 opened by quark17
May 25, 2024 00:01 3h 8m 2s quark17:add-ubuntu-24.04
May 25, 2024 00:01 3h 8m 2s
May 15, 2024 14:56 Action required
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