Skip to content

Actions: Dspil/viper_manager

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: configure Dependabot for submodule auto-merge with daily updates CI #21: Commit 4136795 pushed by Dspil
3m 1s master
master
3m 1s
readme CI #20: Commit 83479ee pushed by Dspil
2m 48s master
master
2m 48s
remove some comments CI #19: Commit 2471841 pushed by Dspil
2m 47s master
master
2m 47s
stuff CI #18: Commit c67935a pushed by Dspil
2m 45s master
master
2m 45s
refactor: replace map with foreach and ListBuffer to reduce memory re… CI #17: Commit 260b531 pushed by Dspil
2m 36s master
master
2m 36s
fix: prevent duplicate class definition by checking loaded classes in… CI #16: Commit 4431cbf pushed by Dspil
2m 36s master
master
2m 36s
stuff CI #15: Commit 310acd4 pushed by Dspil
2m 44s master
master
2m 44s
bugfix CI #14: Commit b040ba2 pushed by Dspil
2m 35s master
master
2m 35s
don't reorder arguments of decreasing and bounded functions CI #13: Commit 0ea3068 pushed by Dspil
7m 46s master
master
7m 46s
a reordering test CI #12: Commit 9a6416f pushed by Dspil
2m 43s master
master
2m 43s
minor simplification CI #11: Commit 4cbbaf3 pushed by Dspil
2m 37s master
master
2m 37s
debug CI #10: Commit 1ceab82 pushed by Dspil
2m 34s master
master
2m 34s
decreasing and bounded blacklisted CI #9: Commit 9b11030 pushed by Dspil
2m 49s master
master
2m 49s
argument reordering for predicate instances CI #8: Commit 55ff7be pushed by Dspil
2m 44s master
master
2m 44s
predicate instance CI #7: Commit 9e551d5 pushed by Dspil
2m 38s master
master
2m 38s
assertion reordering CI #6: Commit 4d971cf pushed by Dspil
2m 38s master
master
2m 38s
submodules CI #5: Commit f242cde pushed by Dspil
3m 0s master
master
3m 0s
scallop CI #4: Commit d26bcf3 pushed by Dspil
49s master
master
49s
sbt CI #3: Commit 3e7da7a pushed by Dspil
53s master
master
53s
yaml CI #2: Commit 0109a91 pushed by Dspil
16s master
master
16s
ci: add GitHub Actions workflow to run tests on master and PRs CI #1: Commit f425d37 pushed by Dspil
16s master
master
16s