Skip to content

Actions: keplertech/kepler-formal-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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
change docker strategy publish-image #8: Commit f76f353 pushed by xtofalex
15m 12s main
main
15m 12s
change docker strategy smoke-test #13: Commit f76f353 pushed by xtofalex
15m 0s main
main
15m 0s
smoke-test smoke-test #12: Manually run by xtofalex
10m 56s main
main
10m 56s
update setups smoke-test #11: Commit 587c2e5 pushed by xtofalex
21m 2s main
main
21m 2s
update setups publish-image #7: Commit 587c2e5 pushed by xtofalex
22m 26s main
main
22m 26s
fix Dockerfile smoke-test #10: Commit b54f0ad pushed by xtofalex
10m 9s main
main
10m 9s
fix Dockerfile publish-image #6: Commit b54f0ad pushed by xtofalex
22m 31s main
main
22m 31s
update kepler-formal version smoke-test #9: Commit bc4e5e1 pushed by xtofalex
3m 16s main
main
3m 16s
update kepler-formal version publish-image #5: Commit bc4e5e1 pushed by xtofalex
8m 8s main
main
8m 8s
publish-image publish-image #4: Manually run by xtofalex
10m 29s main
main
10m 29s
update tagging smoke-test #8: Commit 668b227 pushed by xtofalex
9m 1s main
main
9m 1s
update tagging publish-image #3: Commit 668b227 pushed by xtofalex
9m 39s main
main
9m 39s
publish-image publish-image #2: Manually run by xtofalex
19m 18s main
main
19m 18s
update actions smoke-test #7: Commit cb92c24 pushed by xtofalex
8m 4s main
main
8m 4s
use published docker image in action smoke-test #6: Commit 5512d6c pushed by xtofalex
10m 25s main
main
10m 25s
switch to fix4 kf version for the moment and add new supported test c… smoke-test #5: Commit 204a980 pushed by xtofalex
8m 52s main
main
8m 52s
publish-image publish-image #1: Manually run by xtofalex
19m 4s main
main
19m 4s
cleaning smoke-test #4: Commit 74b4e92 pushed by xtofalex
8m 53s main
main
8m 53s
new cases smoke-test #3: Commit f70ecfc pushed by xtofalex
7m 57s main
main
7m 57s
updates smoke-test #2: Commit b211cc1 pushed by xtofalex
8m 38s main
main
8m 38s
init repo smoke-test #1: Commit 266c63b pushed by xtofalex
8m 34s main
main
8m 34s