Skip to content

Actions: JetBrains/intellij-arend

Actions

check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gradle.yml
307 workflow runs
307 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix exceptions check #592: Commit 5223f27 pushed by sxhya
December 2, 2024 20:48 7m 29s master
master
December 2, 2024 20:48 7m 29s
Fix proof search and intention tests check #591: Commit 70766d3 pushed by sxhya
November 22, 2024 14:29 23m 58s master
master
November 22, 2024 14:29 23m 58s
Add "meta" referable kind check #590: Commit 1627901 pushed by valis
November 20, 2024 18:04 25m 14s master
master
November 20, 2024 18:04 25m 14s
Fix #557 check #589: Commit be47dc9 pushed by sxhya
November 12, 2024 19:29 21m 4s master
master
November 12, 2024 19:29 21m 4s
Add dummy generatePreview implementations check #588: Commit 27cc1ba pushed by sxhya
November 12, 2024 18:23 23m 12s master
master
November 12, 2024 18:23 23m 12s
Remove CR symbols in YAML compareSettings check #587: Commit 8a056cc pushed by sxhya
November 8, 2024 19:21 22m 57s master
master
November 8, 2024 19:21 22m 57s
Merge pull request #570 from JetBrains/alex99999/fixes check #586: Commit b11d090 pushed by sxhya
October 23, 2024 13:51 20m 34s master
master
October 23, 2024 13:51 20m 34s
Fix #569 check #585: Pull request #570 opened by alex999990009
October 23, 2024 12:03 22m 10s alex99999/fixes
alex99999/fixes
October 23, 2024 12:03 22m 10s
Fix SlowOperationsException check #584: Commit 70d503c pushed by sxhya
October 18, 2024 16:08 19m 48s master
master
October 18, 2024 16:08 19m 48s
Perform refreshAndFindFileByIoFile on a pooled thread check #583: Commit 7888cb2 pushed by sxhya
October 18, 2024 15:30 21m 4s master
master
October 18, 2024 15:30 21m 4s
Perform refreshAndFindFileByIoFile on a pooled thread check #582: Commit f7655aa pushed by sxhya
October 18, 2024 15:28 20m 20s master
master
October 18, 2024 15:28 20m 20s
Minor fix in ImportOptimizer check #581: Commit b795b67 pushed by sxhya
October 18, 2024 13:19 23m 22s master
master
October 18, 2024 13:19 23m 22s
Fix Arc files check #580: Pull request #566 opened by alex999990009
October 17, 2024 16:24 37m 31s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
October 17, 2024 16:24 37m 31s
Update java version check #579: Commit 7a6608a pushed by sxhya
October 9, 2024 13:14 24m 30s master
master
October 9, 2024 13:14 24m 30s
Update java version check #578: Commit 7e50d48 pushed by sxhya
October 8, 2024 17:00 21m 13s master
master
October 8, 2024 17:00 21m 13s
Update java and IDE version check #577: Commit bc719aa pushed by sxhya
October 8, 2024 16:21 4m 37s master
master
October 8, 2024 16:21 4m 37s
Update java check #576: Commit bf79799 pushed by valis
October 1, 2024 17:40 3m 46s master
master
October 1, 2024 17:40 3m 46s
Merge pull request #558 from alex999990009/alex99999/fixes check #575: Commit 7ae731c pushed by sxhya
September 30, 2024 12:59 26m 14s master
master
September 30, 2024 12:59 26m 14s
Fix #110 check #574: Pull request #558 opened by alex999990009
September 27, 2024 13:38 4m 8s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
September 27, 2024 13:38 4m 8s
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