Skip to content

Actions: csound/manual

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 #131: by github-pages bot
May 18, 2024 20:19 26s
May 18, 2024 20:19 26s
Update outx.xml
manual_build #763: Commit 0edf665 pushed by tjingboem
May 18, 2024 20:04 15m 16s 7.0
7.0
May 18, 2024 20:04 15m 16s
pages build and deployment
pages-build-deployment #130: by github-pages bot
May 18, 2024 13:59 25s
May 18, 2024 13:59 25s
Merge pull request #726 from tjingboem/7.0
manual_build #762: Commit a70503d pushed by tjingboem
May 18, 2024 13:43 15m 54s 7.0
7.0
May 18, 2024 13:43 15m 54s
pages build and deployment
pages-build-deployment #129: by github-pages bot
May 18, 2024 08:44 27s
May 18, 2024 08:44 27s
Merge pull request #725 from henlo-birb/patch-1
manual_build #761: Commit 06edec8 pushed by tjingboem
May 18, 2024 08:29 15m 22s 7.0
7.0
May 18, 2024 08:29 15m 22s
pages build and deployment
pages-build-deployment #128: by github-pages bot
May 15, 2024 18:06 29s
May 15, 2024 18:06 29s
Merge pull request #723 from tjingboem/7.0
manual_build #760: Commit 731cb78 pushed by tjingboem
May 15, 2024 17:50 16m 6s 7.0
7.0
May 15, 2024 17:50 16m 6s
pages build and deployment
pages-build-deployment #127: by github-pages bot
May 14, 2024 16:01 39s
May 14, 2024 16:01 39s
Merge pull request #720 from tjingboem/7.0
manual_build #759: Commit a680f2a pushed by tjingboem
May 14, 2024 15:46 15m 10s 7.0
7.0
May 14, 2024 15:46 15m 10s
pages build and deployment
pages-build-deployment #126: by github-pages bot
May 14, 2024 09:20 27s
May 14, 2024 09:20 27s
Merge pull request #719 from tjingboem/7.0
manual_build #758: Commit e170c8f pushed by tjingboem
May 14, 2024 09:05 15m 9s 7.0
7.0
May 14, 2024 09:05 15m 9s
pages build and deployment
pages-build-deployment #125: by github-pages bot
May 13, 2024 12:59 37s
May 13, 2024 12:59 37s
Merge pull request #716 from tjingboem/7.0
manual_build #757: Commit 441cb15 pushed by tjingboem
May 13, 2024 12:44 14m 51s 7.0
7.0
May 13, 2024 12:44 14m 51s
pages build and deployment
pages-build-deployment #124: by github-pages bot
May 12, 2024 13:52 27s
May 12, 2024 13:52 27s
Merge pull request #715 from tjingboem/7.0
manual_build #756: Commit dd4f6ff pushed by tjingboem
May 12, 2024 13:36 15m 44s 7.0
7.0
May 12, 2024 13:36 15m 44s
pages build and deployment
pages-build-deployment #123: by github-pages bot
May 11, 2024 10:14 26s
May 11, 2024 10:14 26s
Merge pull request #714 from tjingboem/7.0
manual_build #755: Commit b91b20c pushed by tjingboem
May 11, 2024 09:58 15m 37s 7.0
7.0
May 11, 2024 09:58 15m 37s
pages build and deployment
pages-build-deployment #122: by github-pages bot
May 9, 2024 11:14 35s
May 9, 2024 11:14 35s
Minor fixes
manual_build #754: Commit 116f5a2 pushed by fggp
May 9, 2024 10:59 14m 34s 7.0
7.0
May 9, 2024 10:59 14m 34s
pages build and deployment
pages-build-deployment #121: by github-pages bot
May 9, 2024 09:21 25s
May 9, 2024 09:21 25s
Merge pull request #712 from tjingboem/7.0
manual_build #753: Commit ef6d90f pushed by tjingboem
May 9, 2024 09:07 14m 30s 7.0
7.0
May 9, 2024 09:07 14m 30s
pages build and deployment
pages-build-deployment #120: by github-pages bot
May 7, 2024 18:16 28s
May 7, 2024 18:16 28s
Merge pull request #711 from tjingboem/7.0
manual_build #752: Commit bdb2d5d pushed by tjingboem
May 7, 2024 18:01 15m 0s 7.0
7.0
May 7, 2024 18:01 15m 0s
pages build and deployment
pages-build-deployment #119: by github-pages bot
May 7, 2024 12:28 31s
May 7, 2024 12:28 31s