Skip to content

Actions: RedPRL/cooltt

All workflows

Actions

Loading...

Showing runs from all workflows
27 workflow runs
27 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

pages build and deployment
pages-build-deployment #43: by github-pages bot
October 21, 2023 17:39 32s
October 21, 2023 17:39 32s
style: remove the last List.rev
Build, test, and doc update #2273: Commit b39bf29 pushed by favonia
October 21, 2023 17:26 15m 28s main
October 21, 2023 17:26 15m 28s
pages build and deployment
pages-build-deployment #42: by github-pages bot
October 3, 2023 02:25 28s
October 3, 2023 02:25 28s
docs(CONTRIBUTORS): actually use Markdown
Build, test, and doc update #2272: Commit a5eaf4d pushed by favonia
October 3, 2023 02:12 15m 21s main
October 3, 2023 02:12 15m 21s
docs(CONTRIBUTORS): add Solomon Bothwell (#405)
Build, test, and doc update #2271: Commit 45c02d3 pushed by favonia
September 25, 2023 15:46 7m 1s main
September 25, 2023 15:46 7m 1s
docs(CONTRIBUTORS): add Solomon Bothwell
Build, test, and doc update #2270: Pull request #405 opened by favonia
September 25, 2023 12:14 7m 23s add-contributor
September 25, 2023 12:14 7m 23s
pages build and deployment
pages-build-deployment #41: by github-pages bot
September 20, 2023 09:49 33s
September 20, 2023 09:49 33s
πŸ› 🚫 Add #debug (#396)
Build, test, and doc update #2269: Commit a4c1043 pushed by favonia
September 4, 2023 22:53 12m 28s main
September 4, 2023 22:53 12m 28s
Bump actions/checkout from 3 to 4 (#404)
Build, test, and doc update #2268: Commit 18a00e1 pushed by favonia
September 4, 2023 22:53 4m 54s main
September 4, 2023 22:53 4m 54s
Fixes flake.nix (#403)
Build, test, and doc update #2267: Commit ce1ba90 pushed by favonia
September 4, 2023 22:51 6m 8s main
September 4, 2023 22:51 6m 8s
Bump actions/checkout from 3 to 4
Build, test, and doc update #2266: Pull request #404 opened by dependabot bot
September 4, 2023 19:15 9m 0s dependabot/github_actions/actions/checkout-4
September 4, 2023 19:15 9m 0s
Fixes flake.nix
Build, test, and doc update #2265: Pull request #403 synchronize by solomon-b
September 4, 2023 17:00 6m 15s solomon-b:infra/flake-update
September 4, 2023 17:00 6m 15s
Fixes flake.nix
Build, test, and doc update #2264: Pull request #403 synchronize by solomon-b
September 4, 2023 07:37 5m 3s solomon-b:infra/flake-update
September 4, 2023 07:37 5m 3s
Fixes flake.nix
Build, test, and doc update #2263: Pull request #403 synchronize by solomon-b
August 30, 2023 18:32 5m 50s solomon-b:infra/flake-update
August 30, 2023 18:32 5m 50s
build: use bwd 2.2
Build, test, and doc update #2260: Commit 081eae8 pushed by favonia
August 30, 2023 03:33 5m 51s main
August 30, 2023 03:33 5m 51s
pages build and deployment
pages-build-deployment #40: by github-pages bot
August 30, 2023 03:13 31s
August 30, 2023 03:13 31s
build: upgrade kado
Build, test, and doc update #2259: Commit 5cf02b5 pushed by favonia
August 30, 2023 03:06 7m 7s main
August 30, 2023 03:06 7m 7s
pages build and deployment
pages-build-deployment #39: by github-pages bot
August 29, 2023 23:34 32s
August 29, 2023 23:34 32s
πŸ“” Fix README
Build, test, and doc update #2258: Commit 9614ff4 pushed by favonia
August 29, 2023 23:29 10m 43s main
August 29, 2023 23:29 10m 43s
πŸ‘Ή Worship Yuujinchou 5.0
Build, test, and doc update #2257: Commit a5893cf pushed by favonia
August 29, 2023 23:25 8m 49s main
August 29, 2023 23:25 8m 49s
pages build and deployment
pages-build-deployment #38: by github-pages bot
June 30, 2023 02:20 30s
June 30, 2023 02:20 30s
πŸ”­ Telescope Refactor (#402)
Build, test, and doc update #2256: Commit 4e48456 pushed by TOTBWF
June 30, 2023 02:13 7m 42s main
June 30, 2023 02:13 7m 42s
πŸ”­ Telescope Refactor
Build, test, and doc update #2255: Pull request #402 synchronize by TOTBWF
June 21, 2023 14:23 4m 4s signature-refactor
June 21, 2023 14:23 4m 4s
πŸ”­ Telescope Refactor
Build, test, and doc update #2254: Pull request #402 opened by TOTBWF
June 16, 2023 11:34 7m 49s signature-refactor
June 16, 2023 11:34 7m 49s
pages build and deployment
pages-build-deployment #37: by github-pages bot
March 27, 2023 03:39 31s
March 27, 2023 03:39 31s