Skip to content

Actions: JetBrains/Arend

Workflows

Select workflow

Select workflow

All workflows

Showing runs from all workflows
956 workflow runs
956 workflow runs
Event

Filter by event

Status

Filter by status

Branch

Filter by branch

Actor

Filter by actor

Imporve inference of unique expressions gradle #956: Commit fcc16b6 pushed by valis
Aug 13, 2022 2m 44s master
Aug 13, 2022 2m 44s
Fix a bug in comparator (for real this time) gradle #955: Commit e879117 pushed by valis
Aug 10, 2022 3m 53s master
Aug 10, 2022 3m 53s
Fix a bug in comparator gradle #954: Commit 3ce6af0 pushed by valis
Aug 9, 2022 3m 55s master
Aug 9, 2022 3m 55s
Support \type in replaceType gradle #953: Commit 50a0e61 pushed by valis
Aug 9, 2022 3m 42s master
Aug 9, 2022 3m 42s
Enable revealing for class calls gradle #952: Commit f20d64f pushed by knisht
Aug 9, 2022 15m 55s master
Aug 9, 2022 15m 55s
gradle gradle #951: by valis
Aug 8, 2022 9m 7s master
Aug 8, 2022 9m 7s
Support infix patterns gradle #950: Pull request #327 synchronize by knisht
Aug 2, 2022 3m 57s knisht:patterns
Support infix patterns gradle #949: Pull request #327 synchronize by knisht
Aug 2, 2022 3m 25s knisht:patterns
Support infix patterns gradle #948: Pull request #327 synchronize by knisht
Jul 26, 2022 5m 13s knisht:patterns
Fix a bug with definition status gradle #947: Commit 990fac9 pushed by valis
Jul 22, 2022 3m 12s master
Jul 22, 2022 3m 12s
Fix withFreeBindings gradle #946: Commit ab8cc21 pushed by valis
Jul 22, 2022 3m 4s master
Jul 22, 2022 3m 4s
gradle gradle #945: by valis
Jul 22, 2022 6m 37s master
Jul 22, 2022 6m 37s
Unmute minimization test gradle #944: Commit fc9f340 pushed by knisht
Jul 18, 2022 15m 40s master
Jul 18, 2022 15m 40s
Support infix patterns gradle #943: Pull request #327 opened by knisht
Jul 18, 2022 8m 17s knisht:patterns
Trying to fix a bug with definitions that won't typecheck gradle #942: Commit d7fbabd pushed by valis
Jul 16, 2022 2m 59s master
Jul 16, 2022 2m 59s
Fix scopes in coclause functions gradle #941: Commit 7618cfc pushed by valis
Jul 16, 2022 5m 47s master
Jul 16, 2022 5m 47s
Fix a bug with the new HITs syntax gradle #940: Commit f558961 pushed by valis
Jul 16, 2022 3m 2s master
Jul 16, 2022 3m 2s
Allow excessive arguments in defined metas gradle #939: Commit b4e6e75 pushed by valis
Jul 13, 2022 2m 54s master
Jul 13, 2022 2m 54s
Add coerce data to subclasses gradle #938: Commit fd5ece5 pushed by valis
Jul 13, 2022 3m 19s master
Jul 13, 2022 3m 19s
Fix a bug with "can be a lemma" warning gradle #936: Commit 9ea6ead pushed by valis
Jul 12, 2022 3m 45s master
Jul 12, 2022 3m 45s
Fix a problem with top-level class calls gradle #935: Commit e80e8ad pushed by valis
Jul 10, 2022 3m 25s master
Jul 10, 2022 3m 25s
Allow to compute minimal types in API gradle #934: Commit 81b4f2d pushed by valis
Jul 8, 2022 3m 15s master
Jul 8, 2022 3m 15s
Fix a bug in ExpressionTransformer gradle #933: Commit 035e9fe pushed by valis
Jul 6, 2022 10m 10s master
Jul 6, 2022 10m 10s
Improve naming of variables in HITs gradle #932: Commit 0958cde pushed by valis
Jul 6, 2022 8m 28s master
Jul 6, 2022 8m 28s