Skip to content

Actions: goose-lang/goose

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update gold CI #320: Commit 0cb2acd pushed by upamanyus
February 12, 2025 17:52 28s new
new
February 12, 2025 17:52 28s
Dfrac in struct splitting CI #319: Commit c8a7760 pushed by upamanyus
February 12, 2025 16:23 43s new
new
February 12, 2025 16:23 43s
Generate admitted struct field split instances CI #318: Commit 62ee508 pushed by upamanyus
February 11, 2025 04:16 23s new
new
February 11, 2025 04:16 23s
Regoose CI #317: Commit 4ad3f4e pushed by upamanyus
February 7, 2025 19:24 30s new
new
February 7, 2025 19:24 30s
Better handle deps in toCoqType CI #316: Commit 279902f pushed by upamanyus
February 7, 2025 18:08 24s new
new
February 7, 2025 18:08 24s
Bug fixes CI #315: Commit 100fa11 pushed by upamanyus
February 7, 2025 03:19 48s new
new
February 7, 2025 03:19 48s
Bug fixes CI #314: Commit 100fa11 pushed by upamanyus
February 7, 2025 02:01 19s new-global-funcs
new-global-funcs
February 7, 2025 02:01 19s
Update gold CI #313: Commit 9ec403f pushed by upamanyus
February 7, 2025 00:57 21s new-global-funcs
new-global-funcs
February 7, 2025 00:57 21s
Export import packages to sometimes handle Go dependencies that don't CI #312: Commit fc308fc pushed by upamanyus
February 6, 2025 19:01 16s new-global-funcs
new-global-funcs
February 6, 2025 19:01 16s
Handle unaryOp with untyped integer CI #311: Commit f533dad pushed by upamanyus
February 6, 2025 18:49 27s new-global-funcs
new-global-funcs
February 6, 2025 18:49 27s
Fix proofgen to handle imports, axioms, trusted decls, non-structs CI #310: Commit 04017e2 pushed by upamanyus
February 6, 2025 18:28 1m 4s new-global-funcs
new-global-funcs
February 6, 2025 18:28 1m 4s
proofgen translates imports according to the configured filter CI #309: Commit b5fad37 pushed by upamanyus
February 6, 2025 17:16 19s new-global-funcs
new-global-funcs
February 6, 2025 17:16 19s
Update gold CI #308: Commit eeec6e2 pushed by upamanyus
February 6, 2025 17:07 41s new-global-funcs
new-global-funcs
February 6, 2025 17:07 41s
Fix for range stuff (including support for chan and predeclared vars) CI #307: Commit 3757e10 pushed by upamanyus
February 6, 2025 16:48 43s new-global-funcs
new-global-funcs
February 6, 2025 16:48 43s
Add some (failing) for range tests CI #306: Commit b6517ed pushed by upamanyus
February 5, 2025 21:09 37s new-global-funcs
new-global-funcs
February 5, 2025 21:09 37s
Support named returns in function literals CI #305: Commit 6a4d239 pushed by upamanyus
February 5, 2025 20:50 39s new-global-funcs
new-global-funcs
February 5, 2025 20:50 39s
Support named returns CI #304: Commit 25aa6c5 pushed by upamanyus
February 5, 2025 20:31 41s new-global-funcs
new-global-funcs
February 5, 2025 20:31 41s
Handle renamed imports CI #303: Commit c8c5ec3 pushed by upamanyus
February 5, 2025 19:56 48s new-global-funcs
new-global-funcs
February 5, 2025 19:56 48s
Add failing examples (inspired from etcd client) that require more su… CI #302: Commit 0f90e80 pushed by upamanyus
February 5, 2025 19:43 1m 10s new-global-funcs
new-global-funcs
February 5, 2025 19:43 1m 10s
Run proofgen even if a package has trusted definitions CI #301: Commit 0945180 pushed by upamanyus
February 5, 2025 19:03 31s new-global-funcs
new-global-funcs
February 5, 2025 19:03 31s
Don't generate wp_func/method_call instances for skipped definitions CI #300: Commit 8e8e253 pushed by upamanyus
February 3, 2025 23:24 21s new-global-funcs
new-global-funcs
February 3, 2025 23:24 21s
Bug fixes CI #299: Commit a3dd991 pushed by upamanyus
February 3, 2025 23:01 36s new-global-funcs
new-global-funcs
February 3, 2025 23:01 36s
Allow for combining trusted, axiomatized, and translated definitions CI #298: Commit ac325e9 pushed by upamanyus
February 3, 2025 22:40 36s new-global-funcs
new-global-funcs
February 3, 2025 22:40 36s
proofgen has basic support for axioms/skipped definitions CI #297: Commit 81bd1e2 pushed by upamanyus
February 3, 2025 21:53 22s new-global-funcs
new-global-funcs
February 3, 2025 21:53 22s
Move declfilter to its own packag to reuse in proofgen CI #296: Commit b5ac408 pushed by upamanyus
February 3, 2025 21:25 43s new-global-funcs
new-global-funcs
February 3, 2025 21:25 43s