Skip to content

Actions: onriv/lean4ij

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
607 workflow runs
607 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Build #203: Commit da92bca pushed by onriv
October 28, 2024 10:48 11m 17s main
main
October 28, 2024 10:48 11m 17s
github_actions in /. - Update #907083493 Dependabot Updates #152: by dependabot bot
October 28, 2024 00:39 40s main
main
October 28, 2024 00:39 40s
gradle in /. - Update #907065458 Dependabot Updates #151: by dependabot bot
October 28, 2024 00:14 45s main
main
October 28, 2024 00:14 45s
Merge pull request #40 from onriv/changelog-update-v0.1.0 Build #202: Commit 0d57309 pushed by onriv
October 27, 2024 13:36 8m 56s main
main
October 27, 2024 13:36 8m 56s
Changelog update - v0.1.0 Build #201: Pull request #40 opened by onriv
October 27, 2024 13:28 5m 50s changelog-update-v0.1.0
changelog-update-v0.1.0
October 27, 2024 13:28 5m 50s
v0.1.0 Release #25: Release v0.1.0 released by onriv
October 27, 2024 13:26 2m 4s
October 27, 2024 13:26 2m 4s
release 0.1.0 Build #200: Commit ccd03d7 pushed by onriv
October 27, 2024 13:14 10m 30s main
main
October 27, 2024 13:14 10m 30s
tuning icons, instantly update internal infoview and open links of ex… Build #199: Commit 78741c1 pushed by onriv
October 27, 2024 08:17 9m 17s main
main
October 27, 2024 08:17 9m 17s
icons Build #198: Commit a76e050 pushed by onriv
October 27, 2024 06:08 10m 42s main
main
October 27, 2024 06:08 10m 42s
some changes on customizing language Build #197: Commit 9654a02 pushed by onriv
October 27, 2024 05:45 11m 57s main
main
October 27, 2024 05:45 11m 57s
some minor changes Build #196: Commit 7e21643 pushed by onriv
October 27, 2024 04:18 12m 35s main
main
October 27, 2024 04:18 12m 35s
Add diagnostic hints to only lean files Build #195: Commit 41feb47 pushed by enigmurl
October 26, 2024 17:31 9m 27s main
main
October 26, 2024 17:31 9m 27s
dummy parser and lexer, fix commenter Build #194: Commit fa54673 pushed by onriv
October 26, 2024 14:28 14m 34s main
main
October 26, 2024 14:28 14m 34s
Merge pull request #39 from onriv/dependabot/gradle/org.jetbrains.qod… Build #193: Commit 4489aec pushed by onriv
October 25, 2024 03:58 10m 24s main
main
October 25, 2024 03:58 10m 24s
github_actions in /. - Update #906341084 Dependabot Updates #150: by dependabot bot
October 25, 2024 01:06 38s main
main
October 25, 2024 01:06 38s
Bump org.jetbrains.qodana from 2024.2.3 to 2024.2.5 Build #192: Pull request #39 opened by dependabot bot
October 25, 2024 00:24 7m 17s dependabot/gradle/org.jetbrains.qodana-2024.2.5
dependabot/gradle/org.jetbrains.qodana-2024.2.5
October 25, 2024 00:24 7m 17s
gradle in /. - Update #906315893 Dependabot Updates #149: by dependabot bot
October 25, 2024 00:23 37s main
main
October 25, 2024 00:23 37s
github_actions in /. - Update #905741209 Dependabot Updates #148: by dependabot bot
October 24, 2024 00:12 41s main
main
October 24, 2024 00:12 41s
gradle in /. - Update #905740719 Dependabot Updates #147: by dependabot bot
October 24, 2024 00:10 38s main
main
October 24, 2024 00:10 38s
remove notifyerr Build #191: Commit 25c260f pushed by onriv
October 23, 2024 01:48 10m 37s main
main
October 23, 2024 01:48 10m 37s
gradle in /. - Update #905181082 Dependabot Updates #146: by dependabot bot
October 23, 2024 00:50 40s main
main
October 23, 2024 00:50 40s
github_actions in /. - Update #905174426 Dependabot Updates #145: by dependabot bot
October 23, 2024 00:35 43s main
main
October 23, 2024 00:35 43s
outptu log for build failed Build #190: Commit f3826b0 pushed by onriv
October 22, 2024 17:06 9m 5s main
main
October 22, 2024 17:06 9m 5s
up ver Build #189: Commit 374d336 pushed by onriv
October 22, 2024 16:49 9m 25s main
main
October 22, 2024 16:49 9m 25s
fix color npe Build #188: Commit 3cd7918 pushed by onriv
October 22, 2024 15:01 10m 53s main
main
October 22, 2024 15:01 10m 53s
ProTip! You can narrow down the results and go further in time using created:<2024-10-22 or the other filters available.