Skip to content

Actions: metaborg/spoofax-pie

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
123 workflow runs
123 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #162: by github-pages bot
May 8, 2024 13:55 27s
May 8, 2024 13:55 27s
Typo in readme Build and publish documentation #610: Commit d5bb2c2 pushed by Apanatshka
May 8, 2024 13:55 30s develop
develop
May 8, 2024 13:55 30s
pages build and deployment pages-build-deployment #161: by github-pages bot
May 8, 2024 13:53 24s
May 8, 2024 13:53 24s
Add extra note calling attention to devenv release of spoofax 2 artif… Build and publish documentation #609: Commit c9561ad pushed by Apanatshka
May 8, 2024 13:53 27s develop
develop
May 8, 2024 13:53 27s
pages build and deployment pages-build-deployment #160: by github-pages bot
May 8, 2024 13:49 30s
May 8, 2024 13:49 30s
We no longer use separate spoofax3 branches Build and publish documentation #608: Commit 6a3821e pushed by Apanatshka
May 8, 2024 13:49 32s develop
develop
May 8, 2024 13:49 32s
pages build and deployment pages-build-deployment #159: by github-pages bot
May 8, 2024 12:19 36s
May 8, 2024 12:19 36s
Also support Develocity plugin Build and publish documentation #607: Commit a66d7fc pushed by Virtlink
May 8, 2024 12:18 41s develop
develop
May 8, 2024 12:18 41s
pages build and deployment pages-build-deployment #158: by github-pages bot
May 7, 2024 13:32 22s
May 7, 2024 13:32 22s
Update copyright year Build and publish documentation #606: Commit 73ec285 pushed by Virtlink
May 7, 2024 13:32 28s develop
develop
May 7, 2024 13:32 28s
pages build and deployment pages-build-deployment #157: by github-pages bot
May 7, 2024 13:31 31s
May 7, 2024 13:31 31s
Update for 0.20.0 Build and publish documentation #605: Commit 218809f pushed by Virtlink
May 7, 2024 13:30 35s develop
develop
May 7, 2024 13:30 35s
pages build and deployment pages-build-deployment #156: by github-pages bot
April 18, 2024 14:46 58s
April 18, 2024 14:46 58s
Add jsglr.shared as a devenv dependency Build and publish documentation #604: Commit 4256ee6 pushed by Virtlink
April 18, 2024 14:45 1m 6s develop
develop
April 18, 2024 14:45 1m 6s
pages build and deployment pages-build-deployment #155: by github-pages bot
April 17, 2024 21:12 25s
April 17, 2024 21:12 25s
Fix task dependencies Build and publish documentation #603: Commit 1e7203f pushed by Virtlink
April 17, 2024 21:12 38s develop
develop
April 17, 2024 21:12 38s
pages build and deployment pages-build-deployment #154: by github-pages bot
April 17, 2024 20:23 24s
April 17, 2024 20:23 24s
Baseline 2.5.20 Build and publish documentation #602: Commit 7baa88f pushed by Virtlink
April 17, 2024 20:22 27s develop
develop
April 17, 2024 20:22 27s
pages build and deployment pages-build-deployment #153: by github-pages bot
April 16, 2024 16:54 22s
April 16, 2024 16:54 22s
Fixing task dependencies Build and publish documentation #601: Commit 228a913 pushed by Virtlink
April 16, 2024 16:53 37s develop
develop
April 16, 2024 16:53 37s
pages build and deployment pages-build-deployment #152: by github-pages bot
April 16, 2024 11:35 25s
April 16, 2024 11:35 25s
Allow duplicates Build and publish documentation #600: Commit 4de8129 pushed by Virtlink
April 16, 2024 11:34 31s develop
develop
April 16, 2024 11:34 31s
pages build and deployment pages-build-deployment #151: by github-pages bot
March 6, 2024 16:09 28s
March 6, 2024 16:09 28s
pages build and deployment pages-build-deployment #150: by github-pages bot
March 6, 2024 16:09 25s
March 6, 2024 16:09 25s
Remove 0.19.5 from docs, that release never built successfully on the… Build and publish documentation #599: Commit fb682a2 pushed by Apanatshka
March 6, 2024 16:08 38s master
master
March 6, 2024 16:08 38s