Skip to content

Actions: JetBrains/intellij-arend

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
291 workflow runs
291 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Merge pull request #523 from alex999990009/alex99999/fixes check #538: Commit 8e2f609 pushed by sxhya
June 28, 2024 15:44 27m 6s master
master
June 28, 2024 15:44 27m 6s
Fix Run Configurations problems check #537: Pull request #523 opened by alex999990009
June 28, 2024 15:20 19m 44s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
June 28, 2024 15:20 19m 44s
Restart typechecking in smart mode correctly check #536: Commit f0ac6d4 pushed by valis
June 28, 2024 07:54 17m 38s master
master
June 28, 2024 07:54 17m 38s
Merge pull request #522 from alex999990009/alex99999/fixes check #535: Commit 5962aa1 pushed by sxhya
June 26, 2024 12:30 35m 40s master
master
June 26, 2024 12:30 35m 40s
Fix goto, run configuration and slow operations check #534: Pull request #522 opened by alex999990009
June 26, 2024 09:04 18m 44s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
June 26, 2024 09:04 18m 44s
Merge pull request #521 from alex999990009/alex99999/fixes check #533: Commit 09f2b9e pushed by sxhya
June 21, 2024 13:04 19m 38s master
master
June 21, 2024 13:04 19m 38s
Fix tracer check #532: Pull request #521 opened by alex999990009
June 21, 2024 12:19 21m 40s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
June 21, 2024 12:19 21m 40s
Merge pull request #520 from alex999990009/alex99999/exceptions check #531: Commit 6ff0213 pushed by sxhya
June 19, 2024 16:56 48m 57s master
master
June 19, 2024 16:56 48m 57s
Fix PluginExceptions and SlowOperations check #530: Pull request #520 opened by alex999990009
June 19, 2024 16:19 29m 37s alex999990009:alex99999/exceptions
alex999990009:alex99999/exceptions
June 19, 2024 16:19 29m 37s
Fix highlighting of the prelude and generated files check #529: Commit 46b76b4 pushed by valis
June 18, 2024 18:40 17m 32s master
master
June 18, 2024 18:40 17m 32s
Improve error range check #528: Commit a8f0c5d pushed by valis
June 18, 2024 16:37 22m 35s master
master
June 18, 2024 16:37 22m 35s
Merge pull request #518 from alex999990009/alex99999/warnings check #527: Commit 58a4c17 pushed by sxhya
June 18, 2024 12:33 26m 34s master
master
June 18, 2024 12:33 26m 34s
Fix new and some old warnings check #526: Pull request #518 opened by alex999990009
June 18, 2024 10:00 18m 54s alex999990009:alex99999/warnings
alex999990009:alex99999/warnings
June 18, 2024 10:00 18m 54s
Merge remote-tracking branch 'origin/master' check #525: Commit 8825bd4 pushed by valis
June 17, 2024 20:55 19m 11s master
master
June 17, 2024 20:55 19m 11s
Merge pull request #516 from alex999990009/alex99999/fixes check #524: Commit 5353fa0 pushed by sxhya
June 17, 2024 12:30 31m 47s master
master
June 17, 2024 12:30 31m 47s
Mini fixes Arend Actions and typechecking Test.ard check #523: Pull request #516 opened by alex999990009
June 17, 2024 11:57 19m 32s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
June 17, 2024 11:57 19m 32s
Fix #510 check #522: Commit c3281a7 pushed by sxhya
June 14, 2024 13:34 19m 47s master
master
June 14, 2024 13:34 19m 47s
Merge pull request #515 from alex999990009/alex99999/fixes check #521: Commit 6e3507f pushed by sxhya
June 13, 2024 10:52 19m 19s master
master
June 13, 2024 10:52 19m 19s
Fix typechecking bugs check #520: Pull request #515 synchronize by alex999990009
June 13, 2024 09:11 26m 35s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
June 13, 2024 09:11 26m 35s
Fix typechecking bugs check #519: Pull request #515 opened by alex999990009
June 13, 2024 08:55 20m 44s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
June 13, 2024 08:55 20m 44s
Merge pull request #514 from alex999990009/alex99999/fixes check #518: Commit 8d0df34 pushed by sxhya
June 12, 2024 18:11 17m 37s master
master
June 12, 2024 18:11 17m 37s
Fix #496 and mini fix in AllArendFilesAndPackagesScope check #517: Pull request #514 opened by alex999990009
June 12, 2024 14:09 19m 36s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
June 12, 2024 14:09 19m 36s
Merge pull request #513 from alex999990009/alex99999/fixes check #516: Commit 33aa329 pushed by sxhya
June 12, 2024 13:23 22m 37s master
master
June 12, 2024 13:23 22m 37s
Fix RedundantParameterInspection and ArendProofSearchRenderer check #515: Pull request #513 opened by alex999990009
June 12, 2024 12:39 41m 29s alex999990009:alex99999/fixes
alex999990009:alex99999/fixes
June 12, 2024 12:39 41m 29s
Merge pull request #512 from alex999990009/alex99999/fixes check #514: Commit e580e91 pushed by sxhya
June 10, 2024 17:00 21m 21s master
master
June 10, 2024 17:00 21m 21s