Skip to content

Actions: GrammaticalFramework/gf-core

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
152 workflow runs
152 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fetch languages on demand to reduce database references
Build majestic runtime #908: Commit 1fd0e9d pushed by krangelov
March 14, 2024 19:06 7m 12s majestic
March 14, 2024 19:06 7m 12s
properly skip unknown languages in pgf_write_pgf
Build majestic runtime #907: Commit a8c5a4f pushed by krangelov
March 14, 2024 17:09 7m 31s majestic
March 14, 2024 17:09 7m 31s
HOAS in the type checker
Build majestic runtime #906: Commit 280e11c pushed by krangelov
March 10, 2024 18:32 6m 13s majestic
March 10, 2024 18:32 6m 13s
detect keywords in the lookahead
Build majestic runtime #905: Commit 518e571 pushed by krangelov
March 8, 2024 08:27 7m 7s majestic
March 8, 2024 08:27 7m 7s
Merge branch 'matheussbernardo-majestic' into majestic
Build majestic runtime #904: Commit 5a2e1a8 pushed by krangelov
March 6, 2024 18:32 6m 44s majestic
March 6, 2024 18:32 6m 44s
first draft of a typechecker
Build majestic runtime #903: Commit 5426b42 pushed by krangelov
March 6, 2024 08:08 7m 23s majestic
March 6, 2024 08:08 7m 23s
Updated compilation instructions
Build majestic runtime #902: Commit 14a9a8d pushed by krangelov
March 4, 2024 08:12 8m 13s majestic
March 4, 2024 08:12 8m 13s
defined STG_UNUSED for macOS
Build majestic runtime #901: Commit 76f7579 pushed by krangelov
March 2, 2024 19:36 7m 54s majestic
March 2, 2024 19:36 7m 54s
showExpr and linearize now refresh the printed variables if needed
Build with stack and cabal #326: Commit 7e70750 pushed by aarneranta
March 1, 2024 08:17 9m 38s master
March 1, 2024 08:17 9m 38s
showExpr and linearize now refresh the printed variables if needed
Build & Publish Python Package #417: Commit 7e70750 pushed by aarneranta
March 1, 2024 08:17 10m 59s master
March 1, 2024 08:17 10m 59s
A pgf doesn't always have a file location
Build majestic runtime #900: Commit 83d5c88 pushed by krangelov
February 8, 2024 15:40 13m 52s majestic
February 8, 2024 15:40 13m 52s
create lin/lincat can now fetch the definitions from the source grammar
Build majestic runtime #899: Commit 3b4f12e pushed by krangelov
February 8, 2024 14:14 8m 36s majestic
February 8, 2024 14:14 8m 36s
fix the parsing for source commands
Build majestic runtime #898: Commit ab30f1f pushed by krangelov
February 8, 2024 12:39 11m 15s majestic
February 8, 2024 12:39 11m 15s
The type signatures in Predef are no longer hard coded
Build majestic runtime #897: Commit 9fd1c5d pushed by krangelov
February 6, 2024 07:37 8m 21s majestic
February 6, 2024 07:37 8m 21s
export the force function
Build majestic runtime #896: Commit e74661c pushed by krangelov
January 31, 2024 07:21 7m 45s majestic
January 31, 2024 07:21 7m 45s
now we can load PGF files as precompiled modules
Build majestic runtime #895: Commit c94d0f3 pushed by krangelov
January 30, 2024 12:03 7m 23s majestic
January 30, 2024 12:03 7m 23s
Add a nix flake
Build & Publish Python Package #416: Pull request #165 synchronize by o1lo01ol1o
January 24, 2024 12:31 9m 49s BeFunctional:tp_nix_flake
January 24, 2024 12:31 9m 49s
Add a nix flake
Build with stack and cabal #325: Pull request #165 synchronize by o1lo01ol1o
January 24, 2024 12:31 11m 0s BeFunctional:tp_nix_flake
January 24, 2024 12:31 11m 0s
an FFI for GF
Build majestic runtime #894: Commit 021e271 pushed by krangelov
January 23, 2024 16:34 9m 16s majestic
January 23, 2024 16:34 9m 16s
update after the changes in http-slim
Build majestic runtime #893: Commit c72fb9b pushed by krangelov
January 22, 2024 16:31 7m 40s majestic
January 22, 2024 16:31 7m 40s
reintroduce the compiler API
Build majestic runtime #892: Commit a82095d pushed by krangelov
January 18, 2024 19:58 7m 43s majestic
January 18, 2024 19:58 7m 43s
bump the version number since the update in the C runtime
Build majestic runtime #891: Commit 282c6fc pushed by krangelov
January 18, 2024 11:31 8m 15s majestic
January 18, 2024 11:31 8m 15s
potentially speed up the database expansion on Windows and macOS
Build majestic runtime #890: Commit 577ea67 pushed by krangelov
January 18, 2024 11:20 8m 27s majestic
January 18, 2024 11:20 8m 27s
update
Build majestic runtime #889: Commit 5e664b6 pushed by krangelov
January 17, 2024 13:45 7m 19s majestic
January 17, 2024 13:45 7m 19s
support ghc 9.4
Build majestic runtime #888: Commit 413e92e pushed by krangelov
January 17, 2024 12:59 7m 45s majestic
January 17, 2024 12:59 7m 45s