Skip to content

Actions: Certora/daml-analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
cleanup and update version Publish DPM component #5: Commit bf9c720 pushed by chandrakananandi
1m 3s v0.1.3
v0.1.3
1m 3s
cleanup and update version CI #19: Commit bf9c720 pushed by chandrakananandi
1m 3s main
main
1m 3s
more changes and updates to doc and version Publish DPM component #4: Commit 5c26930 pushed by chandrakananandi
1m 10s v0.1.2
v0.1.2
1m 10s
more changes and updates to doc and version CI #18: Commit 5c26930 pushed by chandrakananandi
47s main
main
47s
update docs CI #17: Commit ee98bf9 pushed by chandrakananandi
49s main
main
49s
bump version Publish DPM component #3: Commit 26f7006 pushed by chandrakananandi
1m 15s v0.1.1
v0.1.1
1m 15s
bump version CI #16: Commit 26f7006 pushed by chandrakananandi
53s main
main
53s
remove unnnecssary step CI #15: Commit a04c915 pushed by chandrakananandi
38s main
main
38s
Publish DPM component Publish DPM component #2: Manually run by chandrakananandi
1m 0s main
main
1m 0s
lower case CI #14: Commit c83d1f1 pushed by chandrakananandi
49s main
main
49s
Publish DPM component Publish DPM component #1: Manually run by chandrakananandi
39s main
main
39s
dpm component workflow CI #13: Commit 6516469 pushed by chandrakananandi
45s main
main
45s
add a notice CI #12: Commit c5c8009 pushed by chandrakananandi
39s main
main
39s
clean the script CI #11: Commit 24cee77 pushed by chandrakananandi
1m 2s main
main
1m 2s
slightly better source loc info CI #10: Commit 143a7e2 pushed by chandrakananandi
39s main
main
39s
fmt CI #9: Commit 0dd2bb3 pushed by chandrakananandi
45s main
main
45s
add another test CI #8: Commit 2463293 pushed by chandrakananandi
38s main
main
38s
stackoverflow precaution in case this happens in the future CI #7: Commit 94c41ba pushed by chandrakananandi
41s main
main
41s
handle other expression types CI #6: Commit 511df3d pushed by chandrakananandi
38s main
main
38s
disambiguate interactions by version number CI #5: Commit 637964c pushed by chandrakananandi
1m 1s main
main
1m 1s
nits readme CI #4: Commit c54cd9a pushed by chandrakananandi
48s main
main
48s
screenshots in readme CI #3: Commit 1c9638c pushed by chandrakananandi
56s main
main
56s
add badge CI #2: Commit a6fa093 pushed by chandrakananandi
44s main
main
44s
basic ci CI #1: Commit 9b7bc8c pushed by chandrakananandi
59s main
main
59s