Skip to content

Actions: goose-lang/goose

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
133 workflow runs
133 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix: was missing "#" in `#"methodname' when calling an interface method CI #332: Commit 08d50fb pushed by upamanyus
March 12, 2025 00:30 43s new
new
March 12, 2025 00:30 43s
proofgen: generate new definitions needed for initialization support … CI #331: Commit 702c1bf pushed by tchajed
March 7, 2025 15:20 59s new
new
March 7, 2025 15:20 59s
proofgen: generate new definitions needed for initialization support CI #330: Pull request #65 synchronize by upamanyus
March 7, 2025 07:40 41s tchajed/new-init
tchajed/new-init
March 7, 2025 07:40 41s
proofgen: generate new definitions needed for initialization support CI #329: Pull request #65 synchronize by upamanyus
March 7, 2025 07:24 32s tchajed/new-init
tchajed/new-init
March 7, 2025 07:24 32s
proofgen: generate new definitions needed for initialization support CI #328: Pull request #65 synchronize by upamanyus
March 7, 2025 07:21 21s tchajed/new-init
tchajed/new-init
March 7, 2025 07:21 21s
proofgen: generate new definitions needed for initialization support CI #327: Pull request #65 synchronize by upamanyus
March 7, 2025 05:26 28s tchajed/new-init
tchajed/new-init
March 7, 2025 05:26 28s
proofgen: generate new definitions needed for initialization support CI #326: Pull request #65 synchronize by upamanyus
March 6, 2025 21:13 47s tchajed/new-init
tchajed/new-init
March 6, 2025 21:13 47s
proofgen: generate new definitions needed for initialization support CI #325: Pull request #65 synchronize by tchajed
March 6, 2025 02:33 44s tchajed/new-init
tchajed/new-init
March 6, 2025 02:33 44s
proofgen: generate new definitions needed for initialization support CI #324: Pull request #65 synchronize by tchajed
March 6, 2025 02:33 40s tchajed/new-init
tchajed/new-init
March 6, 2025 02:33 40s
proofgen: generate new definitions needed for initialization support CI #323: Pull request #65 opened by tchajed
March 5, 2025 02:34 30s tchajed/new-init
tchajed/new-init
March 5, 2025 02:34 30s
Always translate for linux/amd64 CI #322: Commit 17b024e pushed by tchajed
March 4, 2025 22:15 31s new
new
March 4, 2025 22:15 31s
Remove dead code CI #321: Commit 8646efa pushed by upamanyus
February 24, 2025 00:02 42s new
new
February 24, 2025 00:02 42s
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