Skip to content

Actions: tchajed/goose

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
27 workflow runs
27 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
CI CI #4: Scheduled
May 4, 2024 08:00 49s master
master
May 4, 2024 08:00 49s
CI CI #3: Scheduled
April 27, 2024 08:00 52s master
master
April 27, 2024 08:00 52s
update deps CI #2: Commit e1921ff pushed by sanjit-bhat
April 26, 2024 01:36 46s master
master
April 26, 2024 01:36 46s
removed duplicate CI cmds from Makefile CI #1: Commit ff8d1a0 pushed by sanjit-bhat
April 26, 2024 00:05 1m 39s master
master
April 26, 2024 00:05 1m 39s
add keys for struct literals. fixes ci. CI #204: Commit 800ddc7 pushed by sanjit-bhat
April 25, 2024 22:29 37s master
master
April 25, 2024 22:29 37s
fix: composite lit of len 0. prev was giving gibberish (nil #()). now… CI #203: Commit 58f328c pushed by sanjit-bhat
April 25, 2024 06:50 46s master
master
April 25, 2024 06:50 46s
Upgrade bats submodule CI #202: Commit 256dcce pushed by tchajed
April 18, 2024 22:13 43s master
master
April 18, 2024 22:13 43s
Update deps in CI job CI #201: Commit 6c3d189 pushed by tchajed
April 3, 2024 18:44 59s master
master
April 3, 2024 18:44 59s
Upgrade dependencies CI #200: Commit e212e54 pushed by tchajed
April 3, 2024 18:43 39s master
master
April 3, 2024 18:43 39s
Update deps CI #199: Commit 07ddc77 pushed by upamanyus
November 17, 2023 19:13 43s master
master
November 17, 2023 19:13 43s
Added dep for *every* type for that we see during translation CI #198: Commit 06b8d7c pushed by upamanyus
November 17, 2023 19:08 38s master
master
November 17, 2023 19:08 38s
Tweak string translation CI #197: Commit 5b963b0 pushed by upamanyus
August 17, 2023 20:51 56s master
master
August 17, 2023 20:51 56s
Merge pull request #44 from tchajed/parentheses CI #196: Commit a6ddaf6 pushed by RalfJung
July 21, 2023 09:53 48s master
master
July 21, 2023 09:53 48s
fix parentheses printing with more principled approach CI #195: Pull request #44 synchronize by RalfJung
July 19, 2023 17:49 56s parentheses
parentheses
July 19, 2023 17:49 56s
fix parentheses printing with more principled approach CI #194: Commit 9c48835 pushed by RalfJung
July 19, 2023 17:49 47s parentheses
parentheses
July 19, 2023 17:49 47s
Update vmvcc path CI #193: Commit 350cbd9 pushed by yunshengtw
July 15, 2023 19:30 1m 0s master
master
July 15, 2023 19:30 1m 0s
Update gold CI #192: Commit 73aa27c pushed by upamanyus
June 12, 2023 23:09 53s master
master
June 12, 2023 23:09 53s
Support for map with key types other than uint64 CI #191: Commit ab2e292 pushed by upamanyus
June 12, 2023 22:53 42s master
master
June 12, 2023 22:53 42s
more precise dependency tracking for topo sort CI #190: Commit a1e3742 pushed by zeldovich
June 1, 2023 13:05 43s master
master
June 1, 2023 13:05 43s
avoid false dependencies in topo sort from struct field names CI #189: Commit 1b1a08e pushed by zeldovich
June 1, 2023 01:06 40s master
master
June 1, 2023 01:06 40s
go test -update-gold CI #188: Commit 38ee7a7 pushed by zeldovich
May 31, 2023 23:44 44s master
master
May 31, 2023 23:44 44s
always emit comments CI #187: Commit 3dc97bf pushed by zeldovich
May 31, 2023 23:43 37s master
master
May 31, 2023 23:43 37s
Update gold files CI #186: Commit 7ad865e pushed by upamanyus
May 31, 2023 23:31 35s master
master
May 31, 2023 23:31 35s
topological sort for Go definitions CI #185: Commit 3c51ab3 pushed by zeldovich
May 31, 2023 22:40 23s master
master
May 31, 2023 22:40 23s
map machine.RandomUint64() to a nondet func rather than 0 CI #184: Commit 6c09739 pushed by zeldovich
May 11, 2023 23:46 38s master
master
May 11, 2023 23:46 38s