Skip to content

Actions: csound/manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
278 workflow runs
278 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #193: by github-pages bot
October 26, 2024 11:56 28s
October 26, 2024 11:56 28s
Minor fixes manual_build #826: Commit c1dd5fa pushed by fggp
October 26, 2024 11:40 15m 8s 7.0
7.0
October 26, 2024 11:40 15m 8s
pages build and deployment pages-build-deployment #192: by github-pages bot
October 21, 2024 11:12 35s
October 21, 2024 11:12 35s
Merge pull request #763 from tjingboem/7.0 manual_build #825: Commit d4b8078 pushed by tjingboem
October 21, 2024 10:57 15m 22s 7.0
7.0
October 21, 2024 10:57 15m 22s
pages build and deployment pages-build-deployment #191: by github-pages bot
September 19, 2024 11:25 30s
September 19, 2024 11:25 30s
Merge pull request #761 from tjingboem/7.0 manual_build #824: Commit d467392 pushed by tjingboem
September 19, 2024 11:11 13m 14s 7.0
7.0
September 19, 2024 11:11 13m 14s
pages build and deployment pages-build-deployment #190: by github-pages bot
September 18, 2024 10:54 28s
September 18, 2024 10:54 28s
Merge pull request #760 from tjingboem/7.0 manual_build #823: Commit 92bc127 pushed by tjingboem
September 18, 2024 10:39 15m 23s 7.0
7.0
September 18, 2024 10:39 15m 23s
pages build and deployment pages-build-deployment #189: by github-pages bot
September 13, 2024 11:54 38s
September 13, 2024 11:54 38s
removed cscore page manual_build #822: Commit 4366ea8 pushed by vlazzarini
September 13, 2024 11:39 14m 39s 7.0
7.0
September 13, 2024 11:39 14m 39s
pages build and deployment pages-build-deployment #188: by github-pages bot
September 13, 2024 11:10 30s
September 13, 2024 11:10 30s
chn_array documented manual_build #821: Commit 63bbd3b pushed by vlazzarini
September 13, 2024 10:55 14m 39s 7.0
7.0
September 13, 2024 10:55 14m 39s
pages build and deployment pages-build-deployment #187: by github-pages bot
September 9, 2024 08:16 28s
September 9, 2024 08:16 28s
Merge branch '7.0' of https://github.com/csound/manual into 7.0 manual_build #820: Commit a212a53 pushed by vlazzarini
September 9, 2024 08:02 14m 21s 7.0
7.0
September 9, 2024 08:02 14m 21s
pages build and deployment pages-build-deployment #186: by github-pages bot
September 8, 2024 17:14 29s
September 8, 2024 17:14 29s
Minor fix manual_build #819: Commit 263398a pushed by fggp
September 8, 2024 17:00 13m 40s 7.0
7.0
September 8, 2024 17:00 13m 40s
pages build and deployment pages-build-deployment #185: by github-pages bot
September 8, 2024 11:40 28s
September 8, 2024 11:40 28s
Merge branch '7.0' of https://github.com/csound/manual into 7.0 manual_build #818: Commit 853234c pushed by vlazzarini
September 8, 2024 11:27 13m 36s 7.0
7.0
September 8, 2024 11:27 13m 36s
pages build and deployment pages-build-deployment #184: by github-pages bot
September 6, 2024 06:47 33s
September 6, 2024 06:47 33s
Minor fix manual_build #817: Commit 2fcc3b1 pushed by fggp
September 6, 2024 06:33 14m 14s 7.0
7.0
September 6, 2024 06:33 14m 14s
pages build and deployment pages-build-deployment #183: by github-pages bot
September 5, 2024 17:47 28s
September 5, 2024 17:47 28s
Merge pull request #759 from tjingboem/7.0 manual_build #816: Commit 74634b1 pushed by tjingboem
September 5, 2024 17:33 14m 9s 7.0
7.0
September 5, 2024 17:33 14m 9s
pages build and deployment pages-build-deployment #182: by github-pages bot
September 5, 2024 17:08 27s
September 5, 2024 17:08 27s
Merge branch '7.0' of https://github.com/csound/manual into 7.0 manual_build #815: Commit e9451f3 pushed by vlazzarini
September 5, 2024 16:53 15m 1s 7.0
7.0
September 5, 2024 16:53 15m 1s
pages build and deployment pages-build-deployment #181: by github-pages bot
September 4, 2024 08:54 39s
September 4, 2024 08:54 39s