Skip to content

Actions: JetBrains/Arend

Actions

gradle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gradle.yml
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor classes gradle #1109: Commit 30af09c pushed by valis
February 19, 2024 05:49 2m 14s master
master
February 19, 2024 05:49 2m 14s
Make ConcreteBuilder constructor protected gradle #1108: Commit 353e4f9 pushed by sxhya
February 15, 2024 10:25 2m 44s master
master
February 15, 2024 10:25 2m 44s
Fix tests gradle #1107: Commit 8ee79c3 pushed by valis
February 11, 2024 03:43 2m 33s master
master
February 11, 2024 03:43 2m 33s
Remove Path.inProp from prelude gradle #1106: Commit 94506bb pushed by valis
February 9, 2024 17:47 1m 41s master
master
February 9, 2024 17:47 1m 41s
Fix tests gradle #1105: Commit 97e2f4b pushed by valis
February 5, 2024 20:23 4m 26s master
master
February 5, 2024 20:23 4m 26s
Fix an IllegalStateException gradle #1104: Commit 229c29f pushed by valis
February 5, 2024 20:16 1m 43s master
master
February 5, 2024 20:16 1m 43s
Make \where variables implicit gradle #1103: Commit 32bafde pushed by valis
February 5, 2024 19:56 2m 50s master
master
February 5, 2024 19:56 2m 50s
Fix a bug with \where variables gradle #1102: Commit d13fd4c pushed by valis
January 29, 2024 12:45 9m 8s master
master
January 29, 2024 12:45 9m 8s
Update gradle version to 8.5 gradle #1101: Commit 67fa238 pushed by valis
January 21, 2024 13:25 2m 18s master
master
January 21, 2024 13:25 2m 18s
Serialize definitions with errors gradle #1100: Commit 776c2f0 pushed by valis
January 9, 2024 16:30 4m 39s master
master
January 9, 2024 16:30 4m 39s