Actions: informalsystems/quint
Actions
1,331 workflow runs
1,331 workflow runs
Defintion
and introduce QuintDeclaration
build
#2496:
Pull request #1105
synchronize
by
bugarela
Defintion
and introduce QuintDeclaration
build
#2495:
Pull request #1105
opened
by
bugarela
ProTip!
You can narrow down the results and go further in time using created:<2023-08-05 or the other filters available.