Skip to content

Actions: metaborg/spoofax-pie

Build and publish documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
89 workflow runs
89 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Override Tiger dependencies
Build and publish documentation #579: Commit 7c46d64 pushed by Virtlink
October 6, 2023 21:59 36s develop
October 6, 2023 21:59 36s
Add missing Statix property primitives
Build and publish documentation #578: Commit 0d9c72d pushed by AZWN
October 4, 2023 15:22 46s develop
October 4, 2023 15:22 46s
Add missing compileLanguage dependency
Build and publish documentation #577: Commit 691785d pushed by AZWN
September 22, 2023 13:26 36s develop
September 22, 2023 13:26 36s
Improve documentation.
Build and publish documentation #576: Commit ed4101c pushed by AZWN
September 19, 2023 11:23 39s develop
September 19, 2023 11:23 39s
Use spoofax2 2.6.0
Build and publish documentation #575: Commit 82641b2 pushed by AZWN
September 19, 2023 11:22 42s develop
September 19, 2023 11:22 42s
Improve documentation.
Build and publish documentation #574: Commit ed4101c pushed by Virtlink
September 13, 2023 23:16 32s develop
September 13, 2023 23:16 32s
Remove SPT dependeny on ctree
Build and publish documentation #573: Commit b478a01 pushed by Virtlink
September 13, 2023 11:44 37s develop
September 13, 2023 11:44 37s
Remove sdf3-ext-statix dependency on ctree
Build and publish documentation #572: Commit 65a00c2 pushed by Virtlink
September 13, 2023 11:44 41s develop
September 13, 2023 11:44 41s
Remove SPT dependeny on ctree
Build and publish documentation #571: Commit b478a01 pushed by Virtlink
September 6, 2023 08:16 51s develop
September 6, 2023 08:16 51s
Remove sdf3-ext-statix dependency on ctree
Build and publish documentation #570: Commit 65a00c2 pushed by Virtlink
September 5, 2023 15:33 43s develop
September 5, 2023 15:33 43s
Use lang.template.trans instead of ctree
Build and publish documentation #569: Commit 3f4c204 pushed by Virtlink
September 5, 2023 13:44 55s develop
September 5, 2023 13:44 55s
Disable rv32im temporarily
Build and publish documentation #568: Commit b8b1ade pushed by Virtlink
September 5, 2023 10:03 44s develop
September 5, 2023 10:03 44s
Try disable RV32IM project to see if it fixes the build
Build and publish documentation #567: Commit 1e42bc5 pushed by Virtlink
September 5, 2023 09:12 37s develop
September 5, 2023 09:12 37s
Make processResources depend on compileLanguage
Build and publish documentation #566: Commit 2001f80 pushed by Virtlink
September 4, 2023 16:08 55s develop
September 4, 2023 16:08 55s