Skip to content

Actions: inQWIRE/TensorRocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 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
Feature/prop separation Coq Build #12: Pull request #2 opened by wjbs
7m 45s feature/prop-separation
feature/prop-separation
7m 45s
Merge pull request #1 Coq Build #11: Commit 23fae60 pushed by caldwellb
5m 43s main
main
5m 43s
Merge paper version Coq Build #10: Pull request #1 synchronize by caldwellb
5m 41s apocalypse
apocalypse
5m 41s
Merge paper version Coq Build #9: Pull request #1 synchronize by wjbs
5m 34s apocalypse
apocalypse
5m 34s
Merge paper version Coq Build #8: Pull request #1 synchronize by wjbs
15m 49s apocalypse
apocalypse
15m 49s
Merge paper version Coq Build #7: Pull request #1 synchronize by wjbs
15m 25s apocalypse
apocalypse
15m 25s
Merge paper version Coq Build #6: Pull request #1 synchronize by wjbs
15m 16s apocalypse
apocalypse
15m 16s
Merge paper version Coq Build #5: Pull request #1 synchronize by wjbs
15m 20s apocalypse
apocalypse
15m 20s
Merge paper version Coq Build #4: Pull request #1 synchronize by wjbs
5m 40s apocalypse
apocalypse
5m 40s
Merge paper version Coq Build #3: Pull request #1 synchronize by wjbs
5m 33s apocalypse
apocalypse
5m 33s
Merge paper version Coq Build #2: Pull request #1 synchronize by wjbs
5m 27s apocalypse
apocalypse
5m 27s
Merge paper version Coq Build #1: Pull request #1 synchronize by wjbs
5m 1s apocalypse
apocalypse
5m 1s