Skip to content

Actions: informalsystems/quint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,293 workflow runs
1,293 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use gRPC reflection to retrieve CmdExecutor file build #2443: Pull request #1075 synchronize by thpani
August 2, 2023 07:55 10m 38s rnbguy:grpc-client-via-reflection
rnbguy:grpc-client-via-reflection
August 2, 2023 07:55 10m 38s
Add parsing of sum type declarations build #2442: Pull request #1088 synchronize by shonfeder
August 2, 2023 04:24 10m 6s sf/1082/syntax
sf/1082/syntax
August 2, 2023 04:24 10m 6s
Add parsing of sum type declarations build #2441: Pull request #1088 opened by shonfeder
August 2, 2023 04:04 10m 18s sf/1082/syntax
sf/1082/syntax
August 2, 2023 04:04 10m 18s
Require record fields to be simple identifiers build #2440: Pull request #1086 synchronize by shonfeder
August 2, 2023 02:44 10m 46s 1081/simple-record-field-ids
1081/simple-record-field-ids
August 2, 2023 02:44 10m 46s
Require record fields to be simple identifiers build #2439: Pull request #1086 synchronize by shonfeder
August 2, 2023 01:41 9m 37s 1081/simple-record-field-ids
1081/simple-record-field-ids
August 2, 2023 01:41 9m 37s
Add ADR 7 on flattening build #2438: Pull request #1087 opened by bugarela
August 1, 2023 22:29 8m 43s gabriela/flattening-adr
gabriela/flattening-adr
August 1, 2023 22:29 8m 43s
Require record fields to be simple identifiers build #2437: Pull request #1086 synchronize by shonfeder
August 1, 2023 21:25 14m 1s 1081/simple-record-field-ids
1081/simple-record-field-ids
August 1, 2023 21:25 14m 1s
Require record fields to be simple identifiers build #2436: Pull request #1086 opened by shonfeder
August 1, 2023 21:24 24m 33s 1081/simple-record-field-ids
1081/simple-record-field-ids
August 1, 2023 21:24 24m 33s
Merge pull request #1085 from informalsystems/sf/refactor-listener-id… build #2435: Commit cc195bc pushed by shonfeder
August 1, 2023 13:19 12m 14s main
main
August 1, 2023 13:19 12m 14s
Use gRPC reflection to retrieve CmdExecutor file build #2434: Pull request #1075 synchronize by thpani
August 1, 2023 13:10 2m 20s rnbguy:grpc-client-via-reflection
rnbguy:grpc-client-via-reflection
August 1, 2023 13:10 2m 20s
Use gRPC reflection to retrieve CmdExecutor file build #2433: Pull request #1075 synchronize by thpani
August 1, 2023 12:53 9m 57s rnbguy:grpc-client-via-reflection
rnbguy:grpc-client-via-reflection
August 1, 2023 12:53 9m 57s
Use gRPC reflection to retrieve CmdExecutor file build #2432: Pull request #1075 synchronize by thpani
August 1, 2023 12:24 23m 33s rnbguy:grpc-client-via-reflection
rnbguy:grpc-client-via-reflection
August 1, 2023 12:24 23m 33s
Use gRPC reflection to retrieve CmdExecutor file build #2431: Pull request #1075 synchronize by thpani
August 1, 2023 12:14 25m 24s rnbguy:grpc-client-via-reflection
rnbguy:grpc-client-via-reflection
August 1, 2023 12:14 25m 24s
Use gRPC reflection to retrieve CmdExecutor file build #2430: Pull request #1075 synchronize by thpani
August 1, 2023 12:14 25m 5s rnbguy:grpc-client-via-reflection
rnbguy:grpc-client-via-reflection
August 1, 2023 12:14 25m 5s
Use gRPC reflection to retrieve CmdExecutor file build #2429: Pull request #1075 synchronize by thpani
August 1, 2023 12:11 17m 41s rnbguy:grpc-client-via-reflection
rnbguy:grpc-client-via-reflection
August 1, 2023 12:11 17m 41s
Use gRPC reflection to retrieve CmdExecutor file build #2428: Pull request #1075 synchronize by thpani
August 1, 2023 11:13 18m 42s rnbguy:grpc-client-via-reflection
rnbguy:grpc-client-via-reflection
August 1, 2023 11:13 18m 42s
Refactor ToIrListener id generation build #2427: Pull request #1085 opened by shonfeder
August 1, 2023 02:36 17m 11s sf/refactor-listener-id-gen
sf/refactor-listener-id-gen
August 1, 2023 02:36 17m 11s
Merge pull request #1084 from informalsystems/sum-types/1089/parser-r… build #2426: Commit 3a2fdb7 pushed by shonfeder
July 31, 2023 13:52 15m 24s main
main
July 31, 2023 13:52 15m 24s
Prepare parser for sum types syntax build #2425: Pull request #1084 synchronize by shonfeder
July 31, 2023 11:57 10m 39s sum-types/1089/parser-refactor
sum-types/1089/parser-refactor
July 31, 2023 11:57 10m 39s
Merge pull request #1079 from informalsystems/th/fix-ex-lightclient build #2424: Commit 0fc8fbf pushed by thpani
July 31, 2023 08:13 12m 27s main
main
July 31, 2023 08:13 12m 27s
Update example runner + dashboard for lightclient spec build #2423: Pull request #1079 synchronize by thpani
July 31, 2023 08:03 10m 37s th/fix-ex-lightclient
th/fix-ex-lightclient
July 31, 2023 08:03 10m 37s
Prepare parser for sum types syntax build #2422: Pull request #1084 opened by shonfeder
July 31, 2023 03:41 10m 28s sum-types/1089/parser-refactor
sum-types/1089/parser-refactor
July 31, 2023 03:41 10m 28s
Update example runner + dashboard for lightclient spec build #2421: Pull request #1079 opened by thpani
July 28, 2023 08:53 9m 58s th/fix-ex-lightclient
th/fix-ex-lightclient
July 28, 2023 08:53 9m 58s
RFC 001: Extend Quint type system to support Sum Types build #2420: Pull request #1062 synchronize by shonfeder
July 27, 2023 20:45 9m 56s 244/sum-types-design
244/sum-types-design
July 27, 2023 20:45 9m 56s
RFC 001: Extend Quint type system to support Sum Types build #2419: Pull request #1062 synchronize by shonfeder
July 27, 2023 18:15 10m 15s 244/sum-types-design
244/sum-types-design
July 27, 2023 18:15 10m 15s
ProTip! You can narrow down the results and go further in time using created:<2023-07-27 or the other filters available.