Skip to content

Actions: robur-coop/conex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Main workflow Main workflow #44: Scheduled
1m 30s main
main
1m 30s
opam: fix lint error Main workflow #43: Commit 2a65414 pushed by hannesm
1m 38s v1.0.0
v1.0.0
1m 38s
pages build and deployment pages-build-deployment #1: by hannesm
50s gh-pages
gh-pages
50s
opam: fix lint error Main workflow #42: Commit 2a65414 pushed by hannesm
1m 30s main
main
1m 30s
changes for 1.0.0 Main workflow #41: Commit fd1ef9e pushed by hannesm
1m 38s main
main
1m 38s
Merge pull request #49 from robur-coop/fix-another-incremental-issue Main workflow #40: Commit b615deb pushed by hannesm
1m 40s main
main
1m 40s
Conex_diff_provider: when reading a directory, take rename for old into account as well Main workflow #39: Pull request #49 opened by hannesm
1m 28s fix-another-incremental-issue
fix-another-incremental-issue
1m 28s
Conex_diff_provider: when reading a directory, take rename for old in… Main workflow #38: Commit e794ea1 pushed by hannesm
1m 40s fix-another-incremental-issue
fix-another-incremental-issue
1m 40s
Fix the conex_diff_provider for opam (2.3.0): the input is a git diff… Main workflow #37: Commit b7c518b pushed by hannesm
1m 29s main
main
1m 29s
Main workflow Main workflow #36: Scheduled
1m 40s main
main
1m 40s
Fix the conex_diff_provider for opam: the input is a git diff, we need ~p:1 Main workflow #35: Pull request #47 opened by hannesm
1m 29s fix-incremental-verification
fix-incremental-verification
1m 29s
Fix the conex_diff_provider for opam (2.3.0): the input is a git diff… Main workflow #34: Commit 9d919e5 pushed by hannesm
1m 31s fix-incremental-verification
fix-incremental-verification
1m 31s
conex_targets: preserve order during merge Main workflow #33: Commit f978d06 pushed by hannesm
1m 22s main
main
1m 22s
conex_targets: demote log level Main workflow #32: Commit 7345f5a pushed by hannesm
1m 30s main
main
1m 30s
conex_targets: demote log level Main workflow #31: Commit af231a6 pushed by hannesm
1m 26s main
main
1m 26s
conex_targets: provide a selectable merge strategy (#42) Main workflow #30: Commit 806c20a pushed by hannesm
1m 33s main
main
1m 33s
conex_targets: provide a selectable merge strategy Main workflow #29: Pull request #42 synchronize by hannesm
1m 27s targets-app
targets-app
1m 27s
conex_targets: in compute, merge the existing targets with newly comp… Main workflow #28: Commit 39e66e5 pushed by hannesm
1m 38s targets-app
targets-app
1m 38s
Main workflow Main workflow #27: Scheduled
1m 36s main
main
1m 36s
Merge pull request #46 from rr0gi/patch-1 Main workflow #26: Commit 5f2b74f pushed by hannesm
1m 24s main
main
1m 24s
Merge pull request #45 from robur-coop/test-root-to-str Main workflow #24: Commit 9a2258e pushed by hannesm
1m 14s main
main
1m 14s
Add a test to encode root as a string (used for signing) Main workflow #23: Pull request #45 opened by hannesm
1m 19s test-root-to-str
test-root-to-str
1m 19s
Add a test to encode root as a string (used for signing) Main workflow #22: Commit 5cfcfa3 pushed by hannesm
1m 19s test-root-to-str
test-root-to-str
1m 19s
Merge pull request #44 from robur-coop/restore-408 Main workflow #21: Commit 97069f0 pushed by hannesm
4m 40s main
main
4m 40s
Improve performance, especially of incremental verification by avoidi… Main workflow #20: Commit e291a27 pushed by hannesm
10m 15s main
main
10m 15s