Skip to content

Actions: B-Lang-org/bsc

Actions

CI

Actions

Loading...

Show workflow options

Create status badge

ci.yml
77 workflow runs
77 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Fix the type of continuousAssert in the Library Guide CI #52: Pull request #686 opened by quark17
April 5, 2024 07:39 3h 31m 11s quark17:doc-continuousAssert
quark17:doc-continuousAssert
April 5, 2024 07:39 3h 31m 11s
update link and tag to latest release CI #51: Commit 4d95340 pushed by kenta2
March 22, 2024 19:58 19m 13s main
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
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
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
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
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
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
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
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
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
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
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
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
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
quark17:reinstate-toooba-ci
February 25, 2024 08:43 2h 57m 32s
Fix Bluetcl use of GHC macros, for older GHC CI #37: Commit d79e6e8 pushed by quark17
February 24, 2024 21:33 2h 15m 49s main
main
February 24, 2024 21:33 2h 15m 49s
Fix Bluetcl use of GHC macros, for older GHC CI #36: Pull request #675 opened by quark17
February 24, 2024 11:01 2h 23m 51s quark17:fix-bluetcl-ghcversion
quark17:fix-bluetcl-ghcversion
February 24, 2024 11:01 2h 23m 51s
GitHub CI: Shorten the timeout for jobs CI #35: Commit d6b6ceb pushed by quark17
February 19, 2024 21:44 2h 31m 19s main
main
February 19, 2024 21:44 2h 31m 19s
GitHub CI: Disable Toooba test for macos-13 CI #34: Pull request #674 synchronize by quark17
February 19, 2024 03:07 2h 34m 22s quark17:disable-toooba-macos-13
quark17:disable-toooba-macos-13
February 19, 2024 03:07 2h 34m 22s
GitHub CI: Disable Toooba test for macos-13 CI #33: Pull request #674 opened by quark17
February 18, 2024 21:42 5h 25m 30s quark17:disable-toooba-macos-13
quark17:disable-toooba-macos-13
February 18, 2024 21:42 5h 25m 30s
Add release notes for 2024.01 CI #32: Pull request #667 synchronize by quark17
February 17, 2024 21:21 1m 39s quark17:releasenotes
quark17:releasenotes
February 17, 2024 21:21 1m 39s
Update example of how data constructors are translated CI #31: Commit 15463f5 pushed by quark17
February 17, 2024 21:20 3h 23m 11s main
main
February 17, 2024 21:20 3h 23m 11s
Adding documentation for generics CI #30: Pull request #672 synchronize by quark17
February 17, 2024 02:59 3h 21m 50s krame505:generics-docs
krame505:generics-docs
February 17, 2024 02:59 3h 21m 50s
Adding documentation for generics CI #29: Pull request #672 synchronize by quark17
February 17, 2024 01:45 2h 27m 39s krame505:generics-docs
krame505:generics-docs
February 17, 2024 01:45 2h 27m 39s
Adding documentation for generics CI #28: Pull request #672 synchronize by quark17
February 16, 2024 23:05 2h 41m 6s krame505:generics-docs
krame505:generics-docs
February 16, 2024 23:05 2h 41m 6s