Skip to content

Actions: quark17/bsc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
147 workflow runs
147 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Typecheck: Do more substitution on reduced preds CI #31: Commit b0e74dc pushed by quark17
March 1, 2024 05:41 2h 43m 22s apsub-satmany
apsub-satmany
March 1, 2024 05:41 2h 43m 22s
GitHub CI: Cleanup the Toooba test jobs CI #30: Commit e8aeb85 pushed by quark17
February 27, 2024 23:11 29s main
main
February 27, 2024 23:11 29s
GitHub CI: Cleanup the Toooba test jobs CI #29: Commit 5f9ff7e pushed by quark17
February 25, 2024 10:28 5h 29m 22s reinstate-toooba-ci
reinstate-toooba-ci
February 25, 2024 10:28 5h 29m 22s
GitHub CI: Cleanup the Toooba test jobs CI #28: Commit 7ab6e67 pushed by quark17
February 25, 2024 08:57 5h 14m 58s reinstate-toooba-ci
reinstate-toooba-ci
February 25, 2024 08:57 5h 14m 58s
GitHub CI: Reinstate Toooba test for macos-13 CI #27: Commit ff2315e pushed by quark17
February 25, 2024 08:32 4h 9m 21s reinstate-toooba-ci
reinstate-toooba-ci
February 25, 2024 08:32 4h 9m 21s
Fix Bluetcl use of GHC macros, for older GHC CI #26: Commit d7d83de pushed by quark17
February 24, 2024 10:56 3h 22m 26s fix-bluetcl-ghcversion
fix-bluetcl-ghcversion
February 24, 2024 10:56 3h 22m 26s
GitHub CI: Shorten the timeout for jobs CI #25: Commit d6b6ceb pushed by quark17
February 24, 2024 09:35 50s main
main
February 24, 2024 09:35 50s
GitHub CI: Shorten the timeout for jobs CI #24: Commit 7ac48b4 pushed by quark17
February 19, 2024 03:07 2h 36m 57s disable-toooba-macos-13
disable-toooba-macos-13
February 19, 2024 03:07 2h 36m 57s
GitHub CI: Disable Toooba test for macos-13 CI #23: Commit f6d5301 pushed by quark17
February 18, 2024 21:35 3h 17m 42s disable-toooba-macos-13
disable-toooba-macos-13
February 18, 2024 21:35 3h 17m 42s
Test CI #22: Commit 812a645 pushed by quark17
February 18, 2024 21:14 19m 26s disable-toooba-macos-13
disable-toooba-macos-13
February 18, 2024 21:14 19m 26s
Test CI #21: Commit 743c928 pushed by quark17
February 18, 2024 21:12 1s disable-toooba-macos-13
disable-toooba-macos-13
February 18, 2024 21:12 1s
Test CI #20: Commit bedf9d7 pushed by quark17
February 18, 2024 21:11 Startup failure disable-toooba-macos-13
disable-toooba-macos-13
February 18, 2024 21:11 Startup failure
CI: Disable Toooba test for macos-13 CI #19: Commit 6abdc34 pushed by quark17
February 18, 2024 20:07 1h 1m 18s disable-toooba-macos-13
disable-toooba-macos-13
February 18, 2024 20:07 1h 1m 18s
Update example of how data constructors are translated CI #18: Commit 15463f5 pushed by quark17
February 18, 2024 20:05 23s main
main
February 18, 2024 20:05 23s
Add merged Generics doc PR to the release notes CI #17: Commit beff82c pushed by quark17
February 17, 2024 21:21 4h 12m 13s releasenotes
releasenotes
February 17, 2024 21:21 4h 12m 13s
GitHub CI: Update action versions CI #16: Commit f9d6e9e pushed by quark17
February 6, 2024 22:31 3h 44m 17s ci-update-actions
ci-update-actions
February 6, 2024 22:31 3h 44m 17s
Generics: Derive sum type instances with a balanced binary tree of Ei… CI #15: Commit 2b83a78 pushed by quark17
February 6, 2024 22:19 41s main
main
February 6, 2024 22:19 41s
Add merged Generics PR to the release notes CI #14: Commit ae004df pushed by quark17
February 6, 2024 21:38 46m 6s releasenotes
releasenotes
February 6, 2024 21:38 46m 6s
Release Notes: Build PDF with a theme that supports extended unicode CI #13: Commit 60d283a pushed by quark17
January 27, 2024 01:41 3h 58m 38s releasenotes
releasenotes
January 27, 2024 01:41 3h 58m 38s
Release Notes: Build PDF with a theme that supports extended unicode CI #12: Commit d7e25be pushed by quark17
January 27, 2024 01:21 4h 15m 11s releasenotes
releasenotes
January 27, 2024 01:21 4h 15m 11s
Release Notes: Build PDF with a theme that supports extended unicode CI #11: Commit a62210a pushed by quark17
January 27, 2024 00:37 3h 53m 4s releasenotes
releasenotes
January 27, 2024 00:37 3h 53m 4s
Add release notes for 2024.01 CI #10: Commit ef99db8 pushed by quark17
January 23, 2024 08:36 2m 56s releasenotes
releasenotes
January 23, 2024 08:36 2m 56s