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

Start a bat for Apalache when in Windows build #3501: Pull request #1499 opened by bugarela
September 5, 2024 20:18 7m 50s gabriela/fix-windows-apalache
gabriela/fix-windows-apalache
September 5, 2024 20:18 7m 50s
Fix file source resolution in Windows build #3500: Pull request #1498 synchronize by bugarela
September 5, 2024 19:53 7m 18s gabriela/fix-windows-sources
gabriela/fix-windows-sources
September 5, 2024 19:53 7m 18s
Fix file source resolution in Windows build #3499: Pull request #1498 synchronize by bugarela
September 5, 2024 19:52 4m 38s gabriela/fix-windows-sources
gabriela/fix-windows-sources
September 5, 2024 19:52 4m 38s
Fix file source resolution in Windows build #3498: Pull request #1498 synchronize by bugarela
September 5, 2024 19:40 4m 55s gabriela/fix-windows-sources
gabriela/fix-windows-sources
September 5, 2024 19:40 4m 55s
Fix file source resolution in Windows build #3497: Pull request #1498 synchronize by bugarela
September 5, 2024 19:36 4m 45s gabriela/fix-windows-sources
gabriela/fix-windows-sources
September 5, 2024 19:36 4m 45s
Fix file source resolution in Windows build #3496: Pull request #1498 synchronize by bugarela
September 5, 2024 19:21 5m 14s gabriela/fix-windows-sources
gabriela/fix-windows-sources
September 5, 2024 19:21 5m 14s
Fix file source resolution in Windows build #3495: Pull request #1498 synchronize by bugarela
September 5, 2024 18:59 4m 42s gabriela/fix-windows-sources
gabriela/fix-windows-sources
September 5, 2024 18:59 4m 42s
Merge pull request #1497 from lucab/ups/examples-lamport-teaching-con… build #3494: Commit 75eac36 pushed by bugarela
September 4, 2024 14:19 5m 19s main
main
September 4, 2024 14:19 5m 19s
examples: add Lamport's concurrency teaching algorithm build #3493: Pull request #1497 synchronize by lucab
September 4, 2024 13:34 4m 49s lucab:ups/examples-lamport-teaching-concurrency
lucab:ups/examples-lamport-teaching-concurrency
September 4, 2024 13:34 4m 49s
Fix file source resolution in Windows build #3492: Pull request #1498 synchronize by bugarela
September 4, 2024 11:25 7m 5s gabriela/fix-windows-sources
gabriela/fix-windows-sources
September 4, 2024 11:25 7m 5s
Fix file source resolution in Windows build #3491: Pull request #1498 opened by bugarela
September 4, 2024 11:25 9m 0s gabriela/fix-windows-sources
gabriela/fix-windows-sources
September 4, 2024 11:25 9m 0s
Add generate operator build #3490: Pull request #1455 synchronize by konnov
September 4, 2024 09:14 7m 17s konnov:igor/add-gen
konnov:igor/add-gen
September 4, 2024 09:14 7m 17s
examples: add Lamport's concurrency teaching algorithm build #3489: Pull request #1497 synchronize by lucab
September 4, 2024 08:04 9m 11s lucab:ups/examples-lamport-teaching-concurrency
lucab:ups/examples-lamport-teaching-concurrency
September 4, 2024 08:04 9m 11s
Merge pull request #1493 from informalsystems/romac/qualified-type build #3486: Commit ae27080 pushed by romac
September 4, 2024 07:52 5m 0s main
main
September 4, 2024 07:52 5m 0s
Relax uppercase check for types qualified with a namespace build #3485: Pull request #1493 synchronize by romac
September 3, 2024 15:07 4m 47s romac/qualified-type
romac/qualified-type
September 3, 2024 15:07 4m 47s
Relax uppercase check for types qualified with a namespace build #3484: Pull request #1493 synchronize by romac
September 3, 2024 13:31 4m 46s romac/qualified-type
romac/qualified-type
September 3, 2024 13:31 4m 46s
New evaluator that doesn't depend on flattening build #3483: Pull request #1495 synchronize by bugarela
September 2, 2024 18:32 6m 11s gabriela/new-evaluator
gabriela/new-evaluator
September 2, 2024 18:32 6m 11s
New evaluator that doesn't depend on flattening build #3482: Pull request #1495 synchronize by bugarela
September 2, 2024 18:30 5m 53s gabriela/new-evaluator
gabriela/new-evaluator
September 2, 2024 18:30 5m 53s
New evaluator that doesn't depend on flattening build #3481: Pull request #1495 synchronize by bugarela
September 2, 2024 17:46 3m 28s gabriela/new-evaluator
gabriela/new-evaluator
September 2, 2024 17:46 3m 28s
New evaluator that doesn't depend on flattening build #3480: Pull request #1495 synchronize by bugarela
September 2, 2024 17:20 5m 51s gabriela/new-evaluator
gabriela/new-evaluator
September 2, 2024 17:20 5m 51s
New evaluator that doesn't depend on flattening build #3479: Pull request #1495 opened by bugarela
September 2, 2024 16:50 10m 41s gabriela/new-evaluator
gabriela/new-evaluator
September 2, 2024 16:50 10m 41s
Relax uppercase check for types qualified with a namespace build #3478: Pull request #1493 synchronize by romac
September 2, 2024 16:25 4m 56s romac/qualified-type
romac/qualified-type
September 2, 2024 16:25 4m 56s
Relax uppercase check for types qualified with a namespace build #3477: Pull request #1493 opened by romac
September 2, 2024 16:18 10m 21s romac/qualified-type
romac/qualified-type
September 2, 2024 16:18 10m 21s
build build #3476: by romac
September 2, 2024 11:51 4m 47s main
main
September 2, 2024 11:51 4m 47s
Fix format of ITF trace emitted by verify command build #3475: Pull request #1491 synchronize by romac
September 2, 2024 11:45 6m 18s romac/fix-verify-itf-format
romac/fix-verify-itf-format
September 2, 2024 11:45 6m 18s