Skip to content

Actions: goose-lang/goose

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
90 workflow runs
90 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Avoid more Coq keywords in recordgen CI #287: Commit f3287ae pushed by upamanyus
January 23, 2025 16:55 25s new-global-funcs
new-global-funcs
January 23, 2025 16:55 25s
Experiment with recordgen covering all transitive dependencies CI #286: Commit 36fd491 pushed by upamanyus
January 22, 2025 19:32 24s new-global-funcs
new-global-funcs
January 22, 2025 19:32 24s
Regoose CI #285: Commit e74ae53 pushed by upamanyus
January 22, 2025 01:01 20s new-global-funcs
new-global-funcs
January 22, 2025 01:01 20s
Support packages with Name distinct from the PkgPath; don't generate CI #284: Commit bdb3e33 pushed by upamanyus
January 22, 2025 01:00 32s new-global-funcs
new-global-funcs
January 22, 2025 01:00 32s
Minor fixes CI #283: Commit 08b3fe7 pushed by upamanyus
January 21, 2025 21:30 23s new-global-funcs
new-global-funcs
January 21, 2025 21:30 23s
use new mailbot CI #282: Commit 2d7da9f pushed by upamanyus
January 21, 2025 20:51 23s new-global-funcs
new-global-funcs
January 21, 2025 20:51 23s
Add namegen tool to generate: CI #281: Commit 5a82785 pushed by upamanyus
January 21, 2025 20:49 28s new-global-funcs
new-global-funcs
January 21, 2025 20:49 28s
Don't use marshal anymore, because it has generic functions CI #280: Commit 843927c pushed by upamanyus
January 21, 2025 19:05 22s new-global-funcs
new-global-funcs
January 21, 2025 19:05 22s
Mutual/interface recursion is no longer a negative test; check for CI #279: Commit ca2d5db pushed by upamanyus
January 20, 2025 22:00 45s new-global-funcs
new-global-funcs
January 20, 2025 22:00 45s
Remove generic function support; note how to add better support for it CI #278: Commit 943257b pushed by upamanyus
January 20, 2025 20:47 41s new-global-funcs
new-global-funcs
January 20, 2025 20:47 41s
Get rid of axioms that aren't needed anymore; little fixes in goose CI #277: Commit e619e94 pushed by upamanyus
January 17, 2025 21:57 35s new-global-funcs
new-global-funcs
January 17, 2025 21:57 35s
Add support for some missing builtin stuff CI #276: Commit fd18471 pushed by upamanyus
January 16, 2025 19:00 48s new-global-funcs
new-global-funcs
January 16, 2025 19:00 48s
Support multiple type specs per type decl CI #275: Commit 3dfd7f9 pushed by upamanyus
January 16, 2025 18:26 36s new-global-funcs
new-global-funcs
January 16, 2025 18:26 36s
Support conversion between (unnamed) pointer types CI #274: Commit 54c4962 pushed by upamanyus
January 16, 2025 18:19 50s new-global-funcs
new-global-funcs
January 16, 2025 18:19 50s
Don't emit decls for global vars anymore (since they're referred to b… CI #273: Commit 98f4cf8 pushed by upamanyus
January 16, 2025 18:05 36s new-global-funcs
new-global-funcs
January 16, 2025 18:05 36s
Fix recordgen CI #272: Commit 3071888 pushed by upamanyus
January 15, 2025 20:50 34s new-global-funcs
new-global-funcs
January 15, 2025 20:50 34s
Use GooseLang string values as arguments for func_call and method_call CI #271: Commit 5684576 pushed by upamanyus
January 15, 2025 20:49 42s new-global-funcs
new-global-funcs
January 15, 2025 20:49 42s
Generate per-package association list for global vars, functions, and… CI #270: Commit a7ca1b1 pushed by upamanyus
January 14, 2025 21:31 41s new-global-funcs
new-global-funcs
January 14, 2025 21:31 41s
Checkpoint translation for global funcs CI #269: Commit 3f4c969 pushed by upamanyus
January 14, 2025 04:47 35s new-global-funcs
new-global-funcs
January 14, 2025 04:47 35s
Update gold CI #268: Commit 47e877b pushed by upamanyus
December 20, 2024 17:55 33s new
new
December 20, 2024 17:55 33s
Add global vars and init function to axiomgen CI #267: Commit 61bdfc8 pushed by upamanyus
December 18, 2024 02:04 52s new
new
December 18, 2024 02:04 52s
Add global vars and init function to axiomgen CI #266: Commit 61bdfc8 pushed by upamanyus
December 18, 2024 00:48 33s new-globals
new-globals
December 18, 2024 00:48 33s
Update gold CI #265: Commit bafd1b5 pushed by upamanyus
December 18, 2024 00:16 28s new-globals
new-globals
December 18, 2024 00:16 28s
Update gold CI #264: Commit 4c38dab pushed by upamanyus
December 17, 2024 23:30 44s new-globals
new-globals
December 17, 2024 23:30 44s
Use package_init in translation CI #263: Commit 349a583 pushed by upamanyus
December 17, 2024 19:59 51s new-globals
new-globals
December 17, 2024 19:59 51s