Skip to content

Actions: mit-pdos/perennial

Actions

Commit mailbot

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mailbot.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump external/stdpp from 9e1cd49 to 9c125ed Commit mailbot #17: Commit 9d83a90 pushed by dependabot bot
January 24, 2025 09:28 44s dependabot/submodules/external/stdpp-9c125ed
dependabot/submodules/external/stdpp-9c125ed
January 24, 2025 09:28 44s
Start a spec for etcdclient put Commit mailbot #16: Commit ec66283 pushed by upamanyus
January 23, 2025 20:07 43s global-funcs
global-funcs
January 23, 2025 20:07 43s
Semi-manually add some etcd client types Commit mailbot #15: Commit c42e36d pushed by upamanyus
January 23, 2025 16:45 52s global-funcs
global-funcs
January 23, 2025 16:45 52s
Start etcdclient; need a more better recordgen tool for external package Commit mailbot #14: Commit 85a2668 pushed by upamanyus
January 22, 2025 19:31 46s global-funcs
global-funcs
January 22, 2025 19:31 46s
Clean up new update-goose.py; add namegen generated files Commit mailbot #13: Commit 2bfd194 pushed by upamanyus
January 21, 2025 21:34 44s global-funcs
global-funcs
January 21, 2025 21:34 44s
Fix vos build Commit mailbot #12: Commit 2fce54e pushed by upamanyus
January 21, 2025 19:05 39s global-funcs
global-funcs
January 21, 2025 19:05 39s
Regoose without some generics; minor fixes in asyncfile Commit mailbot #11: Commit 9835537 pushed by upamanyus
January 20, 2025 21:59 53s global-funcs
global-funcs
January 20, 2025 21:59 53s
Bump external/stdpp from df46059 to 9e1cd49 Commit mailbot #10: Commit a753279 pushed by dependabot bot
January 20, 2025 10:07 50s dependabot/submodules/external/stdpp-9e1cd49
dependabot/submodules/external/stdpp-9e1cd49
January 20, 2025 10:07 50s
Prove closed globals_test using new globals/funcs/methods Commit mailbot #9: Commit 89ed8ab pushed by upamanyus
January 17, 2025 21:53 48s global-funcs
global-funcs
January 17, 2025 21:53 48s
Add uint, regoose to remove some unnecessary defns Commit mailbot #8: Commit f956ce8 pushed by upamanyus
January 16, 2025 18:43 42s global-funcs
global-funcs
January 16, 2025 18:43 42s
Simplify globals, progress on redoing globals_test proof Commit mailbot #7: Commit 3e10adb pushed by upamanyus
January 16, 2025 16:58 49s global-funcs
global-funcs
January 16, 2025 16:58 49s
Fix proof of sync Commit mailbot #6: Commit 03eae5b pushed by upamanyus
January 16, 2025 02:40 46s global-funcs
global-funcs
January 16, 2025 02:40 46s
Make and start using proof primitives for func_call and method_call Commit mailbot #5: Commit ac2fea5 pushed by upamanyus
January 15, 2025 21:01 53s global-funcs
global-funcs
January 15, 2025 21:01 53s
Mark auto-generated files for GitHub PR review Commit mailbot #4: Commit 92ed2ba pushed by tchajed
January 14, 2025 20:46 48s grackle
grackle
January 14, 2025 20:46 48s
Merge branch 'master' into grackle Commit mailbot #3: Commit e9530c4 pushed by mjschwenne
January 14, 2025 18:58 1m 9s grackle
grackle
January 14, 2025 18:58 1m 9s
rm older mailbot Commit mailbot #2: Commit 12aec9c pushed by sanjit-bhat
January 13, 2025 17:22 55s master
master
January 13, 2025 17:22 55s
new github actions mailbot Commit mailbot #1: Commit 6fc396c pushed by sanjit-bhat
January 13, 2025 17:21 45s master
master
January 13, 2025 17:21 45s