Skip to content

Actions: informalsystems/quint

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
1,331 workflow runs
1,331 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix the integration test build #2571: Commit 503c589 pushed by shonfeder
August 25, 2023 22:19 10m 27s main
main
August 25, 2023 22:19 10m 27s
Fix formatting build #2570: Commit ca0eca7 pushed by shonfeder
August 25, 2023 22:03 15m 39s main
main
August 25, 2023 22:03 15m 39s
Don't use github API for fetching apalache build #2569: Commit 4ceb7d8 pushed by shonfeder
August 25, 2023 21:59 10m 26s main
main
August 25, 2023 21:59 10m 26s
Release v0.14.0 build #2568: Pull request #1125 opened by bugarela
August 25, 2023 20:15 8m 12s release/0.14.0
release/0.14.0
August 25, 2023 20:15 8m 12s
Rearranging modules in the Tendermint spec build #2567: Pull request #1023 synchronize by bugarela
August 25, 2023 18:31 11m 14s igor/tendermint-imports
igor/tendermint-imports
August 25, 2023 18:31 11m 14s
Merge pull request #1119 from informalsystems/gabriela/new-flattening… build #2566: Commit 781e7ef pushed by bugarela
August 25, 2023 17:22 10m 2s main
main
August 25, 2023 17:22 10m 2s
New flattening build #2565: Pull request #1119 synchronize by bugarela
August 25, 2023 17:13 8m 29s gabriela/new-flattening-wiring
gabriela/new-flattening-wiring
August 25, 2023 17:13 8m 29s
Merge pull request #1122 from informalsystems/th/verify-pretty build #2564: Commit a38e91d pushed by shonfeder
August 25, 2023 16:25 8m 33s main
main
August 25, 2023 16:25 8m 33s
Print pretty messages in quint verify build #2563: Pull request #1122 synchronize by konnov
August 25, 2023 16:13 10m 9s th/verify-pretty
th/verify-pretty
August 25, 2023 16:13 10m 9s
Merge pull request #1123 from informalsystems/igor/update-readme build #2562: Commit d473535 pushed by shonfeder
August 25, 2023 15:21 18m 11s main
main
August 25, 2023 15:21 18m 11s
add a link to JDK build #2561: Pull request #1123 synchronize by shonfeder
August 25, 2023 15:21 9m 33s igor/update-readme
igor/update-readme
August 25, 2023 15:21 9m 33s
New flattening build #2560: Pull request #1119 synchronize by bugarela
August 25, 2023 15:08 11m 11s gabriela/new-flattening-wiring
gabriela/new-flattening-wiring
August 25, 2023 15:08 11m 11s
Print pretty messages in quint verify build #2559: Pull request #1122 synchronize by konnov
August 25, 2023 14:45 12m 46s th/verify-pretty
th/verify-pretty
August 25, 2023 14:45 12m 46s
add a link to JDK build #2558: Pull request #1123 opened by konnov
August 25, 2023 14:45 8m 18s igor/update-readme
igor/update-readme
August 25, 2023 14:45 8m 18s
Merge pull request #1118 from informalsystems/gabriela/instance-flatt… build #2557: Commit 4ee5311 pushed by bugarela
August 25, 2023 14:37 8m 34s main
main
August 25, 2023 14:37 8m 34s
New flattening build #2556: Pull request #1119 synchronize by bugarela
August 25, 2023 13:48 8m 30s gabriela/new-flattening-wiring
gabriela/new-flattening-wiring
August 25, 2023 13:48 8m 30s
Print pretty messages in quint verify build #2555: Pull request #1122 synchronize by thpani
August 25, 2023 12:21 9m 54s th/verify-pretty
th/verify-pretty
August 25, 2023 12:21 9m 54s
Print pretty messages in quint verify build #2554: Pull request #1122 synchronize by thpani
August 25, 2023 12:04 11m 17s th/verify-pretty
th/verify-pretty
August 25, 2023 12:04 11m 17s
Print pretty messages in quint verify build #2553: Pull request #1122 opened by thpani
August 25, 2023 12:00 20m 29s th/verify-pretty
th/verify-pretty
August 25, 2023 12:00 20m 29s
Instance flattener build #2552: Pull request #1118 synchronize by bugarela
August 25, 2023 11:40 8m 39s gabriela/instance-flattener
gabriela/instance-flattener
August 25, 2023 11:40 8m 39s
Instance flattener build #2551: Pull request #1118 synchronize by bugarela
August 25, 2023 11:40 10m 56s gabriela/instance-flattener
gabriela/instance-flattener
August 25, 2023 11:40 10m 56s
Merge pull request #1115 from informalsystems/th/manage-shai build #2550: Commit fbda4d5 pushed by thpani
August 25, 2023 09:34 11m 14s main
main
August 25, 2023 09:34 11m 14s
Manage Apalache server build #2549: Pull request #1115 synchronize by thpani
August 25, 2023 09:08 9m 0s th/manage-shai
th/manage-shai
August 25, 2023 09:08 9m 0s
Manage Apalache server build #2548: Pull request #1115 synchronize by thpani
August 25, 2023 08:47 8m 47s th/manage-shai
th/manage-shai
August 25, 2023 08:47 8m 47s
Manage Apalache server build #2547: Pull request #1115 synchronize by thpani
August 25, 2023 08:25 9m 54s th/manage-shai
th/manage-shai
August 25, 2023 08:25 9m 54s
ProTip! You can narrow down the results and go further in time using created:<2023-08-25 or the other filters available.