Skip to content

Actions: informalsystems/cosmwasm-to-quint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #21 from informalsystems/gabriela/syntax-reliability cosmwasm-to-quint #28: Commit 13222c3 pushed by bugarela
June 14, 2024 17:27 4m 24s main
main
June 14, 2024 17:27 4m 24s
Avoid useless errors in generated files cosmwasm-to-quint #27: Pull request #21 synchronize by bugarela
June 14, 2024 17:19 4m 30s gabriela/syntax-reliability
gabriela/syntax-reliability
June 14, 2024 17:19 4m 30s
Avoid useless errors in generated files cosmwasm-to-quint #26: Pull request #21 opened by bugarela
June 13, 2024 18:57 4m 55s gabriela/syntax-reliability
gabriela/syntax-reliability
June 13, 2024 18:57 4m 55s
Merge pull request #20 from informalsystems/gabriela/complete-ctf01-e… cosmwasm-to-quint #25: Commit 11aeede pushed by bugarela
June 5, 2024 18:51 4m 25s main
main
June 5, 2024 18:51 4m 25s
Add CTF 01 example cosmwasm-to-quint #24: Pull request #20 synchronize by bugarela
June 5, 2024 18:46 4m 34s gabriela/complete-ctf01-example
gabriela/complete-ctf01-example
June 5, 2024 18:46 4m 34s
Add CTF 01 example cosmwasm-to-quint #23: Pull request #20 opened by bugarela
June 5, 2024 18:45 4m 32s gabriela/complete-ctf01-example
gabriela/complete-ctf01-example
June 5, 2024 18:45 4m 32s
Add link to walk-through cosmwasm-to-quint #22: Commit baa08f7 pushed by bugarela
May 28, 2024 11:19 4m 23s main
main
May 28, 2024 11:19 4m 23s
Merge pull request #19 from informalsystems/gabriela/readme-update cosmwasm-to-quint #21: Commit e20cac9 pushed by bugarela
May 27, 2024 23:31 7m 48s main
main
May 27, 2024 23:31 7m 48s
Write proper README cosmwasm-to-quint #20: Pull request #19 synchronize by bugarela
May 27, 2024 23:22 7m 46s gabriela/readme-update
gabriela/readme-update
May 27, 2024 23:22 7m 46s
Write proper README cosmwasm-to-quint #19: Pull request #19 synchronize by bugarela
May 27, 2024 18:49 7m 28s gabriela/readme-update
gabriela/readme-update
May 27, 2024 18:49 7m 28s
Write proper README cosmwasm-to-quint #18: Pull request #19 synchronize by bugarela
May 27, 2024 18:33 7m 40s gabriela/readme-update
gabriela/readme-update
May 27, 2024 18:33 7m 40s
Write proper README cosmwasm-to-quint #17: Pull request #19 synchronize by bugarela
May 27, 2024 18:33 7m 40s gabriela/readme-update
gabriela/readme-update
May 27, 2024 18:33 7m 40s
Merge pull request #18 from informalsystems/gabriela/test-generation cosmwasm-to-quint #16: Commit 91d41f1 pushed by bugarela
May 27, 2024 18:25 7m 54s main
main
May 27, 2024 18:25 7m 54s
Test generation cosmwasm-to-quint #15: Pull request #18 synchronize by bugarela
May 27, 2024 15:45 8m 5s gabriela/test-generation
gabriela/test-generation
May 27, 2024 15:45 8m 5s
Test generation cosmwasm-to-quint #14: Pull request #18 synchronize by bugarela
May 24, 2024 14:03 8m 17s gabriela/test-generation
gabriela/test-generation
May 24, 2024 14:03 8m 17s
Test generation cosmwasm-to-quint #13: Pull request #18 opened by bugarela
May 24, 2024 13:55 8m 5s gabriela/test-generation
gabriela/test-generation
May 24, 2024 13:55 8m 5s
Merge pull request #17 from informalsystems/gabriela/fix-action-criteria cosmwasm-to-quint #12: Commit 70f7b2e pushed by bugarela
April 10, 2024 11:41 7m 35s main
main
April 10, 2024 11:41 7m 35s
Fix criteria for translating a function to an action cosmwasm-to-quint #11: Pull request #17 synchronize by bugarela
April 9, 2024 14:03 8m 22s gabriela/fix-action-criteria
gabriela/fix-action-criteria
April 9, 2024 14:03 8m 22s
Fix criteria for translating a function to an action cosmwasm-to-quint #10: Pull request #17 opened by bugarela
April 9, 2024 13:56 3m 8s gabriela/fix-action-criteria
gabriela/fix-action-criteria
April 9, 2024 13:56 3m 8s
Merge pull request #16 from informalsystems/gabriela/small-fixes cosmwasm-to-quint #9: Commit 3015c74 pushed by bugarela
April 9, 2024 11:21 7m 46s main
main
April 9, 2024 11:21 7m 46s
Fix init value for List and nondet value for constructors with no params cosmwasm-to-quint #8: Pull request #16 opened by bugarela
April 8, 2024 19:06 8m 33s gabriela/small-fixes
gabriela/small-fixes
April 8, 2024 19:06 8m 33s
Merge pull request #14 from informalsystems/gabriela/github-action cosmwasm-to-quint #7: Commit c54b8ec pushed by bugarela
April 5, 2024 11:35 8m 19s main
main
April 5, 2024 11:35 8m 19s
Create github action cosmwasm-to-quint #6: Pull request #14 synchronize by bugarela
April 4, 2024 19:54 7m 40s gabriela/github-action
gabriela/github-action
April 4, 2024 19:54 7m 40s
Create github action cosmwasm-to-quint #5: Pull request #14 synchronize by bugarela
April 4, 2024 19:52 7m 37s gabriela/github-action
gabriela/github-action
April 4, 2024 19:52 7m 37s
Create github action cosmwasm-to-quint #4: Pull request #14 synchronize by bugarela
April 4, 2024 19:42 7m 47s gabriela/github-action
gabriela/github-action
April 4, 2024 19:42 7m 47s