Skip to content

Actions: vehicle-lang/vehicle

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,208 workflow runs
1,208 workflow runs

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
rewriteForEachVector of Tensors CI #3295: Pull request #1222 synchronize by pre-commit-ci Bot
1h 6m 10s rewrite-VectorofTensors
rewrite-VectorofTensors
1h 6m 10s
rewriteForEachVector of Tensors CI #3294: Pull request #1222 opened by jaackies
51m 14s rewrite-VectorofTensors
rewrite-VectorofTensors
51m 14s
[pre-commit.ci] pre-commit autoupdate CI #3293: Pull request #1221 opened by pre-commit-ci Bot
39m 37s pre-commit-ci-update-config
pre-commit-ci-update-config
39m 37s
Bump mrkkrp/ormolu-action from 15 to 21 CI #3292: Pull request #1220 opened by dependabot Bot
1h 0m 7s dependabot/github_actions/mrkkrp/ormolu-action-21
dependabot/github_actions/mrkkrp/ormolu-action-21
1h 0m 7s
Bump pypa/cibuildwheel from 4.1.1 to 4.2.0 CI #3291: Pull request #1219 opened by dependabot Bot
43m 48s dependabot/github_actions/pypa/cibuildwheel-4.2.0
dependabot/github_actions/pypa/cibuildwheel-4.2.0
43m 48s
Gradient-based search for properties CI #3290: Pull request #1167 synchronize by kksnowy
8m 4s counter-example-generation
counter-example-generation
8m 4s
Moved SearchRatTensor to Builtin and convert Builtin rather LossBuilt… CI #3289: Commit 23912c2 pushed by github-merge-queue Bot
32m 38s dev
dev
32m 38s
CI CI #3288: Merge group checks requested
32m 36s
32m 36s
Moved SearchRatTensor from LossBuiltin to Builtin and convert Builtin rather LossBuiltin to JSON CI #3287: Pull request #1218 opened by MatthewDaggitt
32m 33s lossBuiltin-to-builtin-json
lossBuiltin-to-builtin-json
32m 33s
Simplify SearchRatTensor implementation (#1217) CI #3286: Commit 04b507a pushed by github-merge-queue Bot
34m 17s dev
dev
34m 17s
CI CI #3285: Merge group checks requested
39m 56s
39m 56s
Feat/tensor like loss CI #3284: Pull request #1170 synchronize by ggustavs
42m 36s feat/tensorLike-loss
feat/tensorLike-loss
42m 36s
Simplify SearchRatTensor implementation CI #3283: Pull request #1217 synchronize by MatthewDaggitt
46m 26s search-rat-tensor-impl
search-rat-tensor-impl
46m 26s
Simplify SearchRatTensor implementation CI #3282: Pull request #1217 opened by MatthewDaggitt
35m 29s search-rat-tensor-impl
search-rat-tensor-impl
35m 29s
Feat/tensor like loss CI #3281: Pull request #1170 synchronize by ggustavs
44m 37s feat/tensorLike-loss
feat/tensorLike-loss
44m 37s
Gradient-based search for properties CI #3280: Pull request #1167 synchronize by kksnowy
8m 52s counter-example-generation
counter-example-generation
8m 52s
feat: compile non-property decls to loss (#1132) CI #3279: Commit bc393f5 pushed by github-merge-queue Bot
39m 16s dev
dev
39m 16s
CI CI #3278: Merge group checks requested
38m 13s
38m 13s
feat: compile non-property decls to loss CI #3277: Pull request #1132 synchronize by MatthewDaggitt
38m 52s feat/loss-outputs
feat/loss-outputs
38m 52s
Fix #1213 by unblocking rather than evaluating comparison (#1215) CI #3276: Commit 6e47f12 pushed by github-merge-queue Bot
34m 31s dev
dev
34m 31s
CI CI #3275: Merge group checks requested
41m 43s
41m 43s
Fix #1213 by unblocking rather than evaluating comparison CI #3274: Pull request #1215 synchronize by MatthewDaggitt
41m 31s issue-1213
issue-1213
41m 31s
Expose disjuncts produced during loss conversion (#1216) CI #3273: Commit f5be6da pushed by github-merge-queue Bot
47m 51s dev
dev
47m 51s
CI CI #3272: Merge group checks requested
45m 55s
45m 55s
Expose disjuncts produced during loss conversion CI #3271: Pull request #1216 opened by MatthewDaggitt
32m 9s expose-quantifier-disjuncts
expose-quantifier-disjuncts
32m 9s