Skip to content

Actions: vehicle-lang/vehicle

Actions

Test Rocq

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-integration-rocq.yml
256 workflow runs
256 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
Update build requirement from <1.6,>=1.5.0 to >=1.5.1,<1.6 in /vehicle-python Test Rocq #160: Pull request #1201 opened by dependabot Bot
33m 16s dependabot/pip/vehicle-python/build-gte-1.5.1-and-lt-1.6
dependabot/pip/vehicle-python/build-gte-1.5.1-and-lt-1.6
33m 16s
WIP CompareRatTensor: Refactoring of Pointwise & Reduced Tensor Comparisons Test Rocq #159: Pull request #1188 synchronize by pre-commit-ci Bot
24m 39s compareTensor
compareTensor
24m 39s
WIP CompareRatTensor: Refactoring of Pointwise & Reduced Tensor Comparisons Test Rocq #158: Pull request #1188 synchronize by jaackies
25m 21s compareTensor
compareTensor
25m 21s
Gradient-based search for properties Test Rocq #155: Pull request #1167 synchronize by pre-commit-ci Bot
25m 23s counter-example-generation
counter-example-generation
25m 23s
Gradient-based search for properties Test Rocq #154: Pull request #1167 synchronize by kksnowy
25m 4s counter-example-generation
counter-example-generation
25m 4s
bugfix: move isabelle to locale (#1197) Test Rocq #153: Commit e4ef724 pushed by github-merge-queue Bot
35m 54s dev
dev
35m 54s
Test Rocq Test Rocq #152: Merge group checks requested
22m 47s
22m 47s
bugfix: move isabelle to locale Test Rocq #151: Pull request #1197 synchronize by MatthewDaggitt
1h 11m 31s bugfix/isabelle-network-locale-defines
bugfix/isabelle-network-locale-defines
1h 11m 31s
bugfix: move isabelle to locale Test Rocq #150: Pull request #1197 synchronize by MatthewDaggitt
43m 40s bugfix/isabelle-network-locale-defines
bugfix/isabelle-network-locale-defines
43m 40s
Test Rocq Test Rocq #149: Merge group checks requested
27m 29s
27m 29s
bugfix: move isabelle to locale Test Rocq #148: Pull request #1197 synchronize by ggustavs
34m 2s bugfix/isabelle-network-locale-defines
bugfix/isabelle-network-locale-defines
34m 2s
bugfix: move isabelle to locale Test Rocq #147: Pull request #1197 synchronize by ggustavs
32m 40s bugfix/isabelle-network-locale-defines
bugfix/isabelle-network-locale-defines
32m 40s
Bump version v0.26.0 -> v0.26.1 Test Rocq #146: Commit dbbbbd6 pushed by MatthewDaggitt
26m 41s v0.26.1
v0.26.1
26m 41s
Bump version v0.26.0 -> v0.26.1 Test Rocq #145: Commit dbbbbd6 pushed by MatthewDaggitt
25m 31s dev
dev
25m 31s
bugfix: move isabelle to locale Test Rocq #144: Pull request #1197 synchronize by ggustavs
31m 28s bugfix/isabelle-network-locale-defines
bugfix/isabelle-network-locale-defines
31m 28s
bugfix: move isabelle to locale Test Rocq #143: Pull request #1197 opened by ggustavs
31m 41s bugfix/isabelle-network-locale-defines
bugfix/isabelle-network-locale-defines
31m 41s
Fixed bug with compilation of certain tensor inequalities under exist… Test Rocq #142: Commit 56bc6e0 pushed by github-merge-queue Bot
23m 40s dev
dev
23m 40s
Test Rocq Test Rocq #141: Merge group checks requested
27m 41s
27m 41s
Fixed bug with compilation of certain tensor inequalities under exists. Test Rocq #140: Pull request #1192 synchronize by MatthewDaggitt
24m 33s solver-bug
solver-bug
24m 33s
Fixed bug with compilation of certain tensor inequalities under exists. Test Rocq #139: Pull request #1192 opened by MatthewDaggitt
5m 20s solver-bug
solver-bug
5m 20s
Fix: record quantification in Rocq backend for Issue#1189 (#1190) Test Rocq #138: Commit c9464ec pushed by github-merge-queue Bot
25m 43s dev
dev
25m 43s
Test Rocq Test Rocq #137: Merge group checks requested
24m 12s
24m 12s
Fix: record quantification in Rocq backend for Issue#1189 Test Rocq #136: Pull request #1190 synchronize by pre-commit-ci Bot
27m 8s misr01:fix/rocq-record-quantification
misr01:fix/rocq-record-quantification
27m 8s
Feat/tensor like loss Test Rocq #134: Pull request #1170 synchronize by ggustavs
30m 50s feat/tensorLike-loss
feat/tensorLike-loss
30m 50s
feat: add transpose tensor operator Test Rocq #133: Pull request #1131 synchronize by ggustavs
30m 7s feat/transpose
feat/transpose
30m 7s