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

Add syntax for constructing and eliminating sum type values build #2467: Pull request #1093 synchronize by shonfeder
August 5, 2023 03:35 9m 30s sum-types/1082/match-and-constructor-syntax
sum-types/1082/match-and-constructor-syntax
August 5, 2023 03:35 9m 30s
Add syntax for constructing and eliminating sum type values build #2466: Pull request #1093 synchronize by shonfeder
August 5, 2023 02:55 9m 31s sum-types/1082/match-and-constructor-syntax
sum-types/1082/match-and-constructor-syntax
August 5, 2023 02:55 9m 31s
Add syntax for constructing and eliminating sum type values build #2465: Pull request #1093 opened by shonfeder
August 5, 2023 02:46 9m 43s sum-types/1082/match-and-constructor-syntax
sum-types/1082/match-and-constructor-syntax
August 5, 2023 02:46 9m 43s
Fix non-exhaustive switches build #2464: Pull request #1092 synchronize by shonfeder
August 4, 2023 23:53 9m 58s static-exhaustiveness-checks-on-visitor-switches
static-exhaustiveness-checks-on-visitor-switches
August 4, 2023 23:53 9m 58s
Fix non-exhaustive switches build #2463: Pull request #1092 synchronize by shonfeder
August 4, 2023 23:28 10m 32s static-exhaustiveness-checks-on-visitor-switches
static-exhaustiveness-checks-on-visitor-switches
August 4, 2023 23:28 10m 32s
Fix non-exhaustive switches build #2462: Pull request #1092 opened by shonfeder
August 4, 2023 23:15 8m 56s static-exhaustiveness-checks-on-visitor-switches
static-exhaustiveness-checks-on-visitor-switches
August 4, 2023 23:15 8m 56s
Add ADR 7 on flattening build #2461: Pull request #1087 synchronize by bugarela
August 4, 2023 17:52 10m 0s gabriela/flattening-adr
gabriela/flattening-adr
August 4, 2023 17:52 10m 0s
Add ADR 7 on flattening build #2460: Pull request #1087 synchronize by bugarela
August 4, 2023 14:24 10m 4s gabriela/flattening-adr
gabriela/flattening-adr
August 4, 2023 14:24 10m 4s
Add parsing of sum type declarations (#1088) build #2459: Commit f3a3cee pushed by shonfeder
August 4, 2023 12:24 10m 34s main
main
August 4, 2023 12:24 10m 34s
Add parsing of sum type declarations (#1088) build #2458: Pull request #1089 synchronize by shonfeder
August 4, 2023 02:00 10m 25s sf/sum-types
sf/sum-types
August 4, 2023 02:00 10m 25s
Release v0.13.0 release #14: Commit a092824 pushed by shonfeder
August 4, 2023 01:57 1m 26s v0.13.0
v0.13.0
August 4, 2023 01:57 1m 26s
Merge pull request #1090 from informalsystems/release/0.13.0 build #2457: Commit e7a7b23 pushed by shonfeder
August 4, 2023 01:56 12m 29s main
main
August 4, 2023 01:56 12m 29s
RFC 001: Extend Quint type system to support Sum Types build #2456: Pull request #1062 synchronize by shonfeder
August 3, 2023 22:02 10m 38s 244/sum-types-design
244/sum-types-design
August 3, 2023 22:02 10m 38s
Release v0.13.0 build #2455: Pull request #1090 opened by shonfeder
August 3, 2023 20:03 14m 8s release/0.13.0
release/0.13.0
August 3, 2023 20:03 14m 8s
Add parsing of sum type declarations (#1088) build #2454: Pull request #1089 synchronize by shonfeder
August 3, 2023 20:01 13m 4s sf/sum-types
sf/sum-types
August 3, 2023 20:01 13m 4s
Add parsing of sum type declarations (#1088) build #2453: Pull request #1089 opened by shonfeder
August 3, 2023 19:59 8m 4s sf/sum-types
sf/sum-types
August 3, 2023 19:59 8m 4s
Merge pull request #1075 from rnbguy/grpc-client-via-reflection build #2452: Commit 91d53a8 pushed by thpani
August 3, 2023 06:37 20m 5s main
main
August 3, 2023 06:37 20m 5s
Use gRPC reflection to retrieve CmdExecutor file build #2451: Pull request #1075 synchronize by thpani
August 3, 2023 06:28 9m 8s rnbguy:grpc-client-via-reflection
rnbguy:grpc-client-via-reflection
August 3, 2023 06:28 9m 8s
Add parsing of sum type declarations build #2450: Pull request #1088 synchronize by shonfeder
August 2, 2023 19:52 10m 33s sf/1082/syntax
sf/1082/syntax
August 2, 2023 19:52 10m 33s
Add ADR 7 on flattening build #2449: Pull request #1087 synchronize by bugarela
August 2, 2023 14:33 11m 48s gabriela/flattening-adr
gabriela/flattening-adr
August 2, 2023 14:33 11m 48s
Merge pull request #1086 from informalsystems/1081/simple-record-fiel… build #2448: Commit 8feb3d8 pushed by shonfeder
August 2, 2023 13:31 10m 52s main
main
August 2, 2023 13:31 10m 52s
Require record fields to be simple identifiers build #2447: Pull request #1086 synchronize by shonfeder
August 2, 2023 13:12 18m 10s 1081/simple-record-field-ids
1081/simple-record-field-ids
August 2, 2023 13:12 18m 10s
Use gRPC reflection to retrieve CmdExecutor file build #2446: Pull request #1075 synchronize by thpani
August 2, 2023 08:26 11m 7s rnbguy:grpc-client-via-reflection
rnbguy:grpc-client-via-reflection
August 2, 2023 08:26 11m 7s
Use gRPC reflection to retrieve CmdExecutor file build #2445: Pull request #1075 synchronize by thpani
August 2, 2023 08:00 14m 2s rnbguy:grpc-client-via-reflection
rnbguy:grpc-client-via-reflection
August 2, 2023 08:00 14m 2s
Use gRPC reflection to retrieve CmdExecutor file build #2444: Pull request #1075 synchronize by thpani
August 2, 2023 07:56 12m 31s rnbguy:grpc-client-via-reflection
rnbguy:grpc-client-via-reflection
August 2, 2023 07:56 12m 31s
ProTip! You can narrow down the results and go further in time using created:<2023-08-02 or the other filters available.