Skip to content

Actions: GrammaticalFramework/gf-core

Build with stack and cabal

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update robots.txt
Build with stack and cabal #340: Commit aa061af pushed by krangelov
November 26, 2024 11:15 13m 18s master
November 26, 2024 11:15 13m 18s
WIP: Attempt at fixing python CI script
Build with stack and cabal #339: Pull request #171 opened by anka-213
November 1, 2024 11:18 8m 11s anka-213:fix-python-ci
November 1, 2024 11:18 8m 11s
Merge pull request #169 from GrammaticalFramework/dependabot/github_a…
Build with stack and cabal #338: Commit 934afc9 pushed by inariksit
November 1, 2024 09:29 12m 49s master
November 1, 2024 09:29 12m 49s
be consistent in the use of quotes
Build with stack and cabal #330: Commit 2a654c0 pushed by inariksit
April 29, 2024 12:44 12m 41s master
April 29, 2024 12:44 12m 41s
Clarify description for vt
Build with stack and cabal #329: Commit b855a09 pushed by inariksit
April 29, 2024 12:42 11m 28s master
April 29, 2024 12:42 11m 28s
Apply gt to all arguments when piped
Build with stack and cabal #328: Commit 2f31bba pushed by inariksit
March 15, 2024 11:45 9m 30s master
March 15, 2024 11:45 9m 30s
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
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
visualize_dependencies (vd) now creates latex in landscape mode to sh…
Build with stack and cabal #324: Commit c218227 pushed by aarneranta
December 14, 2023 10:56 10m 25s master
December 14, 2023 10:56 10m 25s
Merge pull request #166 from GrammaticalFramework/fix-python-ci
Build with stack and cabal #323: Commit e11017a pushed by inariksit
November 17, 2023 13:36 9m 5s master
November 17, 2023 13:36 9m 5s
Fix CI for "Build & Publish Python Package": use python 3.10 instead of latest
Build with stack and cabal #322: Pull request #166 opened by inariksit
November 17, 2023 13:12 10m 2s fix-python-ci
November 17, 2023 13:12 10m 2s
Merge pull request #164 from BeFunctional/tp_pgf_support_ghc_94
Build with stack and cabal #321: Commit 9204884 pushed by inariksit
November 17, 2023 13:02 12m 39s master
November 17, 2023 13:02 12m 39s
Add a nix flake
Build with stack and cabal #320: Pull request #165 opened by o1lo01ol1o
November 16, 2023 20:35 9m 34s BeFunctional:tp_nix_flake
November 16, 2023 20:35 9m 34s
Support GHC 9.4 for the PGF library
Build with stack and cabal #319: Pull request #164 opened by o1lo01ol1o
November 15, 2023 18:59 9m 46s BeFunctional:tp_pgf_support_ghc_94
November 15, 2023 18:59 9m 46s
Experiment with normalizing defs during type checking
Build with stack and cabal #318: Pull request #162 opened by anka-213
September 30, 2023 20:18 8m 7s anka-213:normalize-during-tc
September 30, 2023 20:18 8m 7s
Merge pull request #161 from anka-213/indent-errors
Build with stack and cabal #317: Commit 7d9015e pushed by inariksit
September 25, 2023 15:29 13m 8s master
September 25, 2023 15:29 13m 8s
Indent each line of error messages
Build with stack and cabal #316: Pull request #161 synchronize by anka-213
September 25, 2023 10:55 12m 13s anka-213:indent-errors
September 25, 2023 10:55 12m 13s
Indent each line of error messages
Build with stack and cabal #315: Pull request #161 synchronize by anka-213
September 25, 2023 10:49 9m 34s anka-213:indent-errors
September 25, 2023 10:49 9m 34s