Skip to content

Actions: B-Lang-org/bsc

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a BuildList utility CI #97: Pull request #723 synchronize by quark17
August 13, 2024 01:14 2m 44s krame505:buildlist
krame505:buildlist
August 13, 2024 01:14 2m 44s
Add a BuildList utility CI #96: Pull request #723 synchronize by quark17
August 12, 2024 23:32 1h 44m 2s krame505:buildlist
krame505:buildlist
August 12, 2024 23:32 1h 44m 2s
1. update for emacs bsv-mode load fail for `which-func-modes default … CI #95: Commit ad57f50 pushed by kenta2
August 11, 2024 10:18 2h 34m 14s main
main
August 11, 2024 10:18 2h 34m 14s
GitHub CI: Update GHC to 9.6.6 for releases CI #94: Commit 06e51cc pushed by quark17
August 10, 2024 22:20 4h 5m 45s main
main
August 10, 2024 22:20 4h 5m 45s
GitHub CI: Update GHC to 9.6.6 for releases CI #93: Pull request #728 opened by quark17
August 9, 2024 23:41 20m 51s quark17:update-ghc-9.6.6
quark17:update-ghc-9.6.6
August 9, 2024 23:41 20m 51s
Implement type-level string append function CI #92: Pull request #726 opened by krame505
August 1, 2024 18:56 3h 28m 40s krame505:str-type-append
krame505:str-type-append
August 1, 2024 18:56 3h 28m 40s
Add a type class for showing values at elaboration time CI #91: Pull request #724 opened by krame505
July 23, 2024 17:04 3h 52m 29s krame505:sshow
krame505:sshow
July 23, 2024 17:04 3h 52m 29s
Add a BuildList utility CI #90: Pull request #723 synchronize by krame505
July 22, 2024 19:01 6h 17m 25s krame505:buildlist
krame505:buildlist
July 22, 2024 19:01 6h 17m 25s
Add a BuildList utility CI #89: Pull request #723 opened by krame505
July 22, 2024 18:58 4h 28m 47s krame505:buildlist
krame505:buildlist
July 22, 2024 18:58 4h 28m 47s
comp: remove most imports of Data.Generics CI #88: Pull request #722 opened by thoughtpolice
July 21, 2024 14:09 3h 39m 25s thoughtpolice:aseipp/push-lklrqmosptzm
thoughtpolice:aseipp/push-lklrqmosptzm
July 21, 2024 14:09 3h 39m 25s
bsc: remove use of old-time CI #87: Pull request #721 synchronize by thoughtpolice
July 21, 2024 00:05 9h 16m 58s thoughtpolice:aseipp/push-lvrvtzvuyqxy
thoughtpolice:aseipp/push-lvrvtzvuyqxy
July 21, 2024 00:05 9h 16m 58s
bsc: remove use of old-time CI #86: Pull request #721 opened by thoughtpolice
July 21, 2024 00:05 8h 7m 19s thoughtpolice:aseipp/push-lvrvtzvuyqxy
thoughtpolice:aseipp/push-lvrvtzvuyqxy
July 21, 2024 00:05 8h 7m 19s
src: move some code under comp/ CI #85: Pull request #720 synchronize by thoughtpolice
July 20, 2024 23:50 5h 56m 17s thoughtpolice:aseipp/push-ytnssmlzoqlr
thoughtpolice:aseipp/push-ytnssmlzoqlr
July 20, 2024 23:50 5h 56m 17s
src: move some code under comp/ CI #84: Pull request #720 synchronize by thoughtpolice
July 20, 2024 23:17 3h 3m 4s thoughtpolice:aseipp/push-ytnssmlzoqlr
thoughtpolice:aseipp/push-ytnssmlzoqlr
July 20, 2024 23:17 3h 3m 4s
src: move some code under comp/ CI #83: Pull request #720 opened by thoughtpolice
July 20, 2024 17:38 25m 26s thoughtpolice:aseipp/push-ytnssmlzoqlr
thoughtpolice:aseipp/push-ytnssmlzoqlr
July 20, 2024 17:38 25m 26s
chore(comp): remove -v95 flag CI #82: Pull request #719 opened by thoughtpolice
July 18, 2024 23:35 6h 40m 20s thoughtpolice:aseipp/push-zxooupvqzruy
thoughtpolice:aseipp/push-zxooupvqzruy
July 18, 2024 23:35 6h 40m 20s
testsuite: remove some old -sat-cudd tests CI #81: Pull request #718 opened by thoughtpolice
July 18, 2024 19:40 7h 54m 23s thoughtpolice:aseipp/push-ukoswkronzru
thoughtpolice:aseipp/push-ukoswkronzru
July 18, 2024 19:40 7h 54m 23s
bsc: remove stp support CI #80: Pull request #717 synchronize by thoughtpolice
July 18, 2024 19:40 5h 40m 52s thoughtpolice:aseipp/push-olywqlxpszux
thoughtpolice:aseipp/push-olywqlxpszux
July 18, 2024 19:40 5h 40m 52s
bsc: remove stp support CI #79: Pull request #717 opened by thoughtpolice
July 18, 2024 18:43 3h 40m 2s thoughtpolice:aseipp/push-olywqlxpszux
thoughtpolice:aseipp/push-olywqlxpszux
July 18, 2024 18:43 3h 40m 2s
Fix a typo in BH_lang.tex CI #78: Commit 9a97f9d pushed by quark17
June 9, 2024 01:46 3h 6m 40s main
main
June 9, 2024 01:46 3h 6m 40s
Fix a typo in BH_lang.tex CI #77: Pull request #708 opened by rossc719g
May 31, 2024 21:48 3h 6m 10s MatX-inc:typofix
MatX-inc:typofix
May 31, 2024 21:48 3h 6m 10s
Fix a typo in BH_lang.tex CI #76: Pull request #707 opened by rossc719g
May 31, 2024 21:28 49m 58s MatX-inc:typofix
MatX-inc:typofix
May 31, 2024 21:28 49m 58s
Fix a typo in BH_lang.tex CI #75: Pull request #706 opened by rossc719g
May 31, 2024 21:27 50m 55s MatX-inc:main
MatX-inc:main
May 31, 2024 21:27 50m 55s
GitHub CI: Update GHC versions for release and testing CI #74: Commit 4cbd4f5 pushed by quark17
May 31, 2024 12:57 2h 45m 15s main
main
May 31, 2024 12:57 2h 45m 15s
Update GHC versions in GitHub CI CI #73: Pull request #705 opened by quark17
May 30, 2024 01:37 1h 26m 2s quark17:update-ci-ghc
quark17:update-ci-ghc
May 30, 2024 01:37 1h 26m 2s