Skip to content

Actions: goose-lang/goose

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
202 workflow runs
202 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #104: Scheduled
January 25, 2025 08:00 48s master
master
January 25, 2025 08:00 48s
Avoid more Coq keywords in recordgen Commit mailbot #8: Commit f3287ae pushed by upamanyus
January 23, 2025 16:55 47s new-global-funcs
new-global-funcs
January 23, 2025 16:55 47s
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
fix ci badge Commit mailbot #7: Commit 38feaa2 pushed by sanjit-bhat
January 22, 2025 19:35 42s master
master
January 22, 2025 19:35 42s
fix ci badge CI #103: Commit 38feaa2 pushed by sanjit-bhat
January 22, 2025 19:35 56s master
master
January 22, 2025 19:35 56s
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
Experiment with recordgen covering all transitive dependencies Commit mailbot #6: Commit 36fd491 pushed by upamanyus
January 22, 2025 19:32 51s new-global-funcs
new-global-funcs
January 22, 2025 19:32 51s
Regoose Commit mailbot #5: Commit e74ae53 pushed by upamanyus
January 22, 2025 01:01 38s new-global-funcs
new-global-funcs
January 22, 2025 01:01 38s
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 Commit mailbot #4: Commit bdb3e33 pushed by upamanyus
January 22, 2025 01:00 53s new-global-funcs
new-global-funcs
January 22, 2025 01:00 53s
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 Commit mailbot #3: Commit 08b3fe7 pushed by upamanyus
January 21, 2025 21:30 51s new-global-funcs
new-global-funcs
January 21, 2025 21:30 51s
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 Commit mailbot #2: Commit 2d7da9f pushed by upamanyus
January 21, 2025 20:51 50s new-global-funcs
new-global-funcs
January 21, 2025 20:51 50s
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
use new mailbot Commit mailbot #1: Commit fe62174 pushed by sanjit-bhat
January 21, 2025 20:19 40s master
master
January 21, 2025 20:19 40s
use new mailbot CI #102: Commit fe62174 pushed by sanjit-bhat
January 21, 2025 20:19 1m 30s master
master
January 21, 2025 20:19 1m 30s
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
CI CI #101: Scheduled
January 18, 2025 08:00 55s master
master
January 18, 2025 08:00 55s
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