Skip to content

Actions: informalsystems/quint

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
938 workflow runs
938 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check assumptions during simulation build #3449: Pull request #1487 synchronize by romac
August 23, 2024 09:42 7m 6s romac/eval-assume
romac/eval-assume
August 23, 2024 09:42 7m 6s
Check assumptions during simulation build #3448: Pull request #1487 synchronize by romac
August 23, 2024 09:41 4m 35s romac/eval-assume
romac/eval-assume
August 23, 2024 09:41 4m 35s
Check assumptions during simulation build #3447: Pull request #1487 opened by romac
August 23, 2024 09:24 8m 53s romac/eval-assume
romac/eval-assume
August 23, 2024 09:24 8m 53s
Merge pull request #1481 from informalsystems/romac/trace-insertion-sort build #3446: Commit e287c4b pushed by romac
August 23, 2024 08:27 5m 12s main
main
August 23, 2024 08:27 5m 12s
Sort the best traces as we go using insertion sort instead of sorting the whole array each time build #3445: Pull request #1481 synchronize by romac
August 23, 2024 08:21 5m 15s romac/trace-insertion-sort
romac/trace-insertion-sort
August 23, 2024 08:21 5m 15s
Merge pull request #1486 from informalsystems/romac/gitignore-apalache build #3444: Commit eb2c802 pushed by romac
August 22, 2024 12:30 5m 47s main
main
August 22, 2024 12:30 5m 47s
Sort the best traces as we go using insertion sort instead of sorting the whole array each time build #3443: Pull request #1481 synchronize by romac
August 22, 2024 12:28 4m 34s romac/trace-insertion-sort
romac/trace-insertion-sort
August 22, 2024 12:28 4m 34s
Add Apalache output directory to .gitignore build #3442: Pull request #1486 synchronize by romac
August 22, 2024 12:24 5m 18s romac/gitignore-apalache
romac/gitignore-apalache
August 22, 2024 12:24 5m 18s
Add generate operator build #3441: Pull request #1455 synchronize by konnov
August 22, 2024 10:00 4m 29s konnov:igor/add-gen
konnov:igor/add-gen
August 22, 2024 10:00 4m 29s
Add generate operator build #3440: Pull request #1455 synchronize by konnov
August 22, 2024 09:55 7m 43s konnov:igor/add-gen
konnov:igor/add-gen
August 22, 2024 09:55 7m 43s
Change placeholders to {test} and {seq}, stop enforcing .itf.json extension, rename test --output to test --out-itf build #3439: Pull request #1485 synchronize by romac
August 21, 2024 11:40 6m 31s romac/out-itf-option
romac/out-itf-option
August 21, 2024 11:40 6m 31s
Add Apalache output directory to .gitignore build #3438: Pull request #1486 opened by romac
August 21, 2024 11:37 9m 6s romac/gitignore-apalache
romac/gitignore-apalache
August 21, 2024 11:37 9m 6s
Merge pull request #1483 from informalsystems/gabriela/type-simp-perf… build #3437: Commit 89db9d7 pushed by bugarela
August 21, 2024 10:48 7m 23s main
main
August 21, 2024 10:48 7m 23s
Simplify only new types to improve performance on incremental analysis build #3436: Pull request #1483 synchronize by bugarela
August 21, 2024 10:43 4m 26s gabriela/type-simp-performance-fix
gabriela/type-simp-performance-fix
August 21, 2024 10:43 4m 26s
Change placeholders to {test} and {seq}, stop enforcing .itf.json extension, rename test --output to test --out-itf build #3435: Pull request #1485 opened by romac
August 21, 2024 06:41 8m 53s romac/out-itf-option
romac/out-itf-option
August 21, 2024 06:41 8m 53s
Sort the best traces as we go using insertion sort instead of sorting the whole array each time build #3434: Pull request #1481 synchronize by romac
August 19, 2024 14:31 5m 46s romac/trace-insertion-sort
romac/trace-insertion-sort
August 19, 2024 14:31 5m 46s
Simplify only new types to improve performance on incremental analysis build #3433: Pull request #1483 synchronize by bugarela
August 19, 2024 14:12 5m 57s gabriela/type-simp-performance-fix
gabriela/type-simp-performance-fix
August 19, 2024 14:12 5m 57s
Simplify only new types to improve performance on incremental analysis build #3432: Pull request #1483 opened by bugarela
August 19, 2024 14:11 9m 53s gabriela/type-simp-performance-fix
gabriela/type-simp-performance-fix
August 19, 2024 14:11 9m 53s
Sort the best traces as we go using insertion sort instead of sorting the whole array each time build #3431: Pull request #1481 synchronize by romac
August 19, 2024 14:09 4m 27s romac/trace-insertion-sort
romac/trace-insertion-sort
August 19, 2024 14:09 4m 27s
Sort the best traces as we go using insertion sort instead of sorting the whole array each time build #3430: Pull request #1481 synchronize by romac
August 19, 2024 14:04 4m 40s romac/trace-insertion-sort
romac/trace-insertion-sort
August 19, 2024 14:04 4m 40s
Merge pull request #1482 from informalsystems/romac/apalache-repo build #3429: Commit 26733f0 pushed by bugarela
August 19, 2024 12:10 4m 36s main
main
August 19, 2024 12:10 4m 36s
Fix Apalache repository URL build #3428: Pull request #1482 opened by romac
August 19, 2024 11:55 8m 25s romac/apalache-repo
romac/apalache-repo
August 19, 2024 11:55 8m 25s
Merge pull request #1480 from konnov/igor/bump-grpc build #3427: Commit 7c2c3f7 pushed by bugarela
August 19, 2024 11:29 4m 24s main
main
August 19, 2024 11:29 4m 24s
Sort the best traces as we go using insertion sort instead of sorting the whole array each time build #3426: Pull request #1481 synchronize by romac
August 17, 2024 10:32 6m 3s romac/trace-insertion-sort
romac/trace-insertion-sort
August 17, 2024 10:32 6m 3s
Sort the best traces as we go using insertion sort instead of sorting the whole array each time build #3425: Pull request #1481 synchronize by romac
August 15, 2024 14:37 4m 26s romac/trace-insertion-sort
romac/trace-insertion-sort
August 15, 2024 14:37 4m 26s
ProTip! You can narrow down the results and go further in time using created:<2024-08-15 or the other filters available.