Skip to content

Actions: keplertech/kepler-formal-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 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
come back to Tcl mode to allow env var Test Kepler Formal Action #71: Commit 2a553c7 pushed by xtofalex
1m 30s main
main
1m 30s
fix location Test Kepler Formal Action #70: Commit df44b4c pushed by xtofalex
1m 31s main
main
1m 31s
change yosys call Test Kepler Formal Action #69: Commit 73386a5 pushed by xtofalex
23s main
main
23s
add synth commands Test Kepler Formal Action #68: Commit 75f4dd9 pushed by xtofalex
18s main
main
18s
typo Test Kepler Formal Action #67: Commit 0f617e4 pushed by xtofalex
24s main
main
24s
launch formal Test Kepler Formal Action #66: Commit 723a532 pushed by xtofalex
23s main
main
23s
update action Test Kepler Formal Action #65: Commit 44fcb42 pushed by xtofalex
25s main
main
25s
cleaning action Test Kepler Formal Action #64: Commit a2b6ea3 pushed by xtofalex
20s main
main
20s
save tools Dockerfile Test naja-action in orfs mode #17: Commit cbb021b pushed by xtofalex
5m 48s main
main
5m 48s
save tools Dockerfile Test naja-action in direct mode #17: Commit cbb021b pushed by xtofalex
25s main
main
25s
Merge pull request #2 from xtofalex/main Test naja-action in orfs mode #16: Commit 537cc66 pushed by xtofalex
6m 0s main
main
6m 0s
Merge pull request #2 from xtofalex/main Test naja-action in direct mode #16: Commit 537cc66 pushed by xtofalex
49s main
main
49s
save current state Test naja-action in direct mode #15: Pull request #2 opened by xtofalex
1m 7s main
main
1m 7s
save current state Test naja-action in orfs mode #15: Pull request #2 opened by xtofalex
6m 38s main
main
6m 38s
save current state Test naja-action in direct mode #14: Commit 7681cda pushed by xtofalex
16s main
main
16s
save current state Test naja-action in orfs mode #14: Commit 7681cda pushed by xtofalex
5m 20s main
main
5m 20s