Skip to content

Actions: goose-lang/goose

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
168 workflow runs
168 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove dependency on tchajed/goose CI #59: Commit c68af5c pushed by tchajed
July 20, 2024 00:52 54s master
master
July 20, 2024 00:52 54s
Update import path in Coq generated test CI #58: Commit a0fd0b1 pushed by tchajed
July 19, 2024 23:58 47s master
master
July 19, 2024 23:58 47s
Make sure generated code is formatted CI #57: Commit df9ed05 pushed by tchajed
July 19, 2024 23:43 45s master
master
July 19, 2024 23:43 45s
Fix bats tests CI #56: Commit d95b48c pushed by tchajed
July 19, 2024 23:31 21s master
master
July 19, 2024 23:31 21s
Re-generate gold files CI #55: Commit e5229cf pushed by tchajed
July 19, 2024 23:26 19s master
master
July 19, 2024 23:26 19s
Change tchajed/goose to goose-lang/goose CI #54: Commit dad7762 pushed by tchajed
July 19, 2024 23:25 17s master
master
July 19, 2024 23:25 17s
Merge pull request #55 from tchajed/alias-only-parse CI #53: Commit d0cf574 pushed by sanjit-bhat
July 16, 2024 18:41 52s master
master
July 16, 2024 18:41 52s
prior alias gen caused all terms to print as alias. change to use Notation (only parsing). CI #52: Pull request #55 opened by sanjit-bhat
July 16, 2024 18:41 48s alias-only-parse
alias-only-parse
July 16, 2024 18:41 48s
prior alias gen caused all terms to print as alias. change to use Not… CI #51: Commit 974e7f0 pushed by sanjit-bhat
July 16, 2024 18:41 49s alias-only-parse
alias-only-parse
July 16, 2024 18:41 49s
CI CI #50: Scheduled
July 13, 2024 08:00 46s master
master
July 13, 2024 08:00 46s
Update CI dependencies CI #206: Commit a993132 pushed by tchajed
July 12, 2024 21:54 42s fix-ci
fix-ci
July 12, 2024 21:54 42s
Add Gallina bindings for type parameters CI #205: Commit cfe58ea pushed by tchajed
July 12, 2024 19:48 24s bind-type-params
bind-type-params
July 12, 2024 19:48 24s
CI CI #49: Scheduled
July 6, 2024 08:00 1m 0s master
master
July 6, 2024 08:00 1m 0s
Make error checking robust enough for gokv CI #48: Commit 20cad8d pushed by tchajed
July 3, 2024 15:10 56s master
master
July 3, 2024 15:10 56s
CI CI #47: Scheduled
June 29, 2024 08:00 49s master
master
June 29, 2024 08:00 49s
change the way we handle ident info. only stateful info is ptr wrappe… CI #46: Commit 24e04e9 pushed by sanjit-bhat
June 26, 2024 23:18 55s master
master
June 26, 2024 23:18 55s
unused param CI #45: Commit 32f46e6 pushed by sanjit-bhat
June 26, 2024 21:09 49s master
master
June 26, 2024 21:09 49s
Revert "add dep on all idents, regardless of IsMacro" CI #44: Commit b2ae939 pushed by sanjit-bhat
June 26, 2024 18:39 1m 7s master
master
June 26, 2024 18:39 1m 7s
add dep on all idents, regardless of IsMacro CI #43: Commit 952b944 pushed by sanjit-bhat
June 26, 2024 18:06 49s master
master
June 26, 2024 18:06 49s
Remove obsolete comment on TranslationConfig CI #42: Commit 6981e5a pushed by tchajed
June 26, 2024 17:39 50s master
master
June 26, 2024 17:39 50s
Provide a way to skip interface conversions CI #41: Commit d039f2d pushed by tchajed
June 26, 2024 17:07 1m 0s master
master
June 26, 2024 17:07 1m 0s
Update gold output CI #40: Commit b6f6d2a pushed by tchajed
June 26, 2024 15:51 54s master
master
June 26, 2024 15:51 54s
Add script to run the semantics tests CI #39: Commit bd31d46 pushed by tchajed
June 26, 2024 15:13 43s master
master
June 26, 2024 15:13 43s
rm unused params CI #38: Commit 16556db pushed by sanjit-bhat
June 25, 2024 23:57 47s master
master
June 25, 2024 23:57 47s
switch alias decls to Notation's, not Definition's CI #37: Commit 7ec9d11 pushed by sanjit-bhat
June 25, 2024 23:53 58s master
master
June 25, 2024 23:53 58s