Skip to content

Actions: thisisouvik/VeriHealth

Actions

Type Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
typecheck.yml
14 workflow runs
14 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix: add Smart Contracts CI badge to README Type Check #14: Commit 000d0fb pushed by thisisouvik
41s main
main
41s
fix: update contract compilation workflow to download and use Raw Com… Type Check #13: Commit 72cb976 pushed by thisisouvik
50s main
main
50s
fix: enhance contract compilation workflow to clarify compiler multip… Type Check #12: Commit d7b34da pushed by thisisouvik
49s main
main
49s
fix: update contract compilation workflow to download Compact Compile… Type Check #11: Commit f2aff3b pushed by thisisouvik
38s main
main
38s
fix: update Compact Compiler command references in workflow Type Check #10: Commit 8596b07 pushed by thisisouvik
43s main
main
43s
fix: correct installation directory for Compact Compiler in workflow Type Check #9: Commit 2782926 pushed by thisisouvik
48s main
main
48s
fix: update contract compilation workflow to streamline Compact Compi… Type Check #8: Commit b8ef2bf pushed by thisisouvik
49s main
main
49s
fix: update contract compilation step to dynamically locate compactc … Type Check #7: Commit 16b9ecf pushed by thisisouvik
53s main
main
53s
refactor: streamline Compact Compiler setup by removing redundant PAT… Type Check #6: Commit 32226f3 pushed by thisisouvik
47s main
main
47s
feat: add GitHub Actions workflow for compiling Compact Smart Contracts Type Check #5: Commit 698396a pushed by thisisouvik
39s main
main
39s
feat[docs]: add detailed documentation section with links to guides. Type Check #4: Commit f6be8a0 pushed by thisisouvik
41s main
main
41s
Update README.md Type Check #3: Commit 2147695 pushed by thisisouvik
41s main
main
41s
feat: add comprehensive documentation for VeriHealth setup, usage, an… Type Check #2: Commit 0327e12 pushed by thisisouvik
44s main
main
44s
chore: create GitHub Actions workflows for production build, testing,… Type Check #1: Commit 1677b74 pushed by thisisouvik
36s main
main
36s