Skip to content

Actions: JetBrains/intellij-arend

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
279 workflow runs
279 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #556 from alex999990009/alex99999/fixes check #573: Commit 0f02da2 pushed by sxhya
September 23, 2024 14:48 32m 51s master
master
September 23, 2024 14:48 32m 51s
Add desugar to ArendShowTypeAction check #572: Pull request #556 opened by alex999990009
September 23, 2024 08:07 23m 6s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
September 23, 2024 08:07 23m 6s
Fix exception check #571: Commit 5eb3f8f pushed by sxhya
September 20, 2024 14:10 30m 13s master
master
September 20, 2024 14:10 30m 13s
Fix #555 check #570: Commit 02a5014 pushed by sxhya
September 18, 2024 18:05 23m 8s master
master
September 18, 2024 18:05 23m 8s
Merge pull request #554 from alex999990009/alex99999/fixes check #569: Commit 64a4b31 pushed by sxhya
September 17, 2024 18:02 22m 0s master
master
September 17, 2024 18:02 22m 0s
Fix #544 check #568: Pull request #554 opened by alex999990009
September 17, 2024 12:04 24m 4s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
September 17, 2024 12:04 24m 4s
Merge pull request #553 from alex999990009/alex99999/fixes check #567: Commit c994d37 pushed by sxhya
September 13, 2024 12:34 29m 13s master
master
September 13, 2024 12:34 29m 13s
Fix ArendTypedHandler, RedundantParens and GenerateMissingClauses check #566: Pull request #553 opened by alex999990009
September 13, 2024 12:00 22m 12s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
September 13, 2024 12:00 22m 12s
Merge pull request #551 from alex999990009/alex99999/fixes check #565: Commit 0eea9bf pushed by sxhya
September 10, 2024 18:54 22m 41s master
master
September 10, 2024 18:54 22m 41s
Fix ArendExpressionTypechecker check #564: Pull request #551 opened by alex999990009
September 10, 2024 15:50 22m 24s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
September 10, 2024 15:50 22m 24s
Merge branch '2024.2' check #563: Commit e7f0232 pushed by valis
September 9, 2024 17:54 21m 58s master
master
September 9, 2024 17:54 21m 58s
Merge pull request #548 from alex999990009/alex99999/fixes check #562: Commit b47dabf pushed by sxhya
September 6, 2024 12:10 19m 28s master
master
September 6, 2024 12:10 19m 28s
Fix comments and resolving long names check #561: Pull request #548 opened by alex999990009
September 6, 2024 11:30 36m 20s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
September 6, 2024 11:30 36m 20s
Merge pull request #547 from alex999990009/alex99999/fixes check #560: Commit 1c62d99 pushed by sxhya
September 4, 2024 15:25 21m 52s master
master
September 4, 2024 15:25 21m 52s
Fix {?} and the Infer parameter quick fix and add the Intention to generate pattern matching clauses check #559: Pull request #547 synchronize by alex999990009
September 3, 2024 14:02 23m 41s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
September 3, 2024 14:02 23m 41s
Fix {?} and the Infer parameter quick fix and add the Intention to generate pattern matching clauses check #558: Pull request #547 opened by alex999990009
September 2, 2024 14:11 21m 30s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
September 2, 2024 14:11 21m 30s
Merge pull request #543 from alex999990009/alex99999/fixes check #557: Commit 32a2b18 pushed by sxhya
August 2, 2024 20:46 22m 6s master
master
August 2, 2024 20:46 22m 6s
Fix Arend Actions, Show Types and PrettyPrinterConfig check #556: Pull request #543 opened by alex999990009
August 2, 2024 14:19 21m 40s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
August 2, 2024 14:19 21m 40s
Merge pull request #537 from alex999990009/alex99999/fixes check #555: Commit f4b2bb9 pushed by sxhya
July 22, 2024 15:15 27m 16s master
master
July 22, 2024 15:15 27m 16s
Fix the import bug and improve Show Types check #554: Pull request #537 opened by alex999990009
July 22, 2024 11:48 17m 32s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
July 22, 2024 11:48 17m 32s
Merge pull request #536 from alex999990009/alex99999/fixes check #553: Commit 1eaf7eb pushed by sxhya
July 16, 2024 11:55 19m 19s master
master
July 16, 2024 11:55 19m 19s
Fix exceptions, visual texts and a menu item in the toolbar check #552: Pull request #536 synchronize by alex999990009
July 16, 2024 11:09 18m 31s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
July 16, 2024 11:09 18m 31s
Fix exceptions, visual texts and a menu item in the toolbar check #551: Pull request #536 opened by alex999990009
July 16, 2024 08:56 6h 0m 14s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
July 16, 2024 08:56 6h 0m 14s
Merge pull request #534 from alex999990009/alex99999/fixes check #550: Commit 37b0871 pushed by sxhya
July 15, 2024 13:04 22m 32s master
master
July 15, 2024 13:04 22m 32s
Fix Arend proof searcher, the bug with {?} and patternmatching on constructors check #549: Pull request #534 opened by alex999990009
July 15, 2024 12:33 33m 13s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
July 15, 2024 12:33 33m 13s