Skip to content

Actions: JetBrains/arend-lib

Actions

check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gradle.yml
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 's3midetnov-master' check #416: Commit 12252e5 pushed by valis
June 27, 2024 14:47 6m 43s master
master
June 27, 2024 14:47 6m 43s
quotient universal property check #415: Pull request #65 synchronize by s3midetnov
June 25, 2024 09:09 6m 38s master
master
June 25, 2024 09:09 6m 38s
Rename # to #' check #414: Commit 793ac39 pushed by valis
June 24, 2024 14:14 6m 33s master
master
June 24, 2024 14:14 6m 33s
quotient universal property check #413: Pull request #65 synchronize by s3midetnov
June 24, 2024 08:34 6m 26s master
master
June 24, 2024 08:34 6m 26s
Fix typechecking check #412: Commit 80e548a pushed by valis
June 24, 2024 07:29 6m 22s master
master
June 24, 2024 07:29 6m 22s
quotient universal property check #411: Pull request #65 synchronize by s3midetnov
June 19, 2024 06:56 3m 39s master
master
June 19, 2024 06:56 3m 39s
quotient universal property check #410: Pull request #65 synchronize by s3midetnov
June 19, 2024 06:47 3m 42s master
master
June 19, 2024 06:47 3m 42s
quotient universal property check #409: Pull request #65 synchronize by s3midetnov
June 18, 2024 21:21 3m 54s master
master
June 18, 2024 21:21 3m 54s
quotient universal property check #408: Pull request #65 synchronize by s3midetnov
June 18, 2024 17:23 3m 37s master
master
June 18, 2024 17:23 3m 37s
Merge branch 'complex' check #407: Commit 7c0efdf pushed by valis
June 18, 2024 11:51 3m 37s master
master
June 18, 2024 11:51 3m 37s
Presheaves and Yoneda Lemma check #406: Pull request #67 synchronize by FeorgeGeorge
June 10, 2024 02:02 6m 4s FeorgeGeorge:master
FeorgeGeorge:master
June 10, 2024 02:02 6m 4s
Presheaves and Yoneda Lemma check #405: Pull request #67 synchronize by FeorgeGeorge
June 9, 2024 11:15 6m 0s FeorgeGeorge:master
FeorgeGeorge:master
June 9, 2024 11:15 6m 0s
Presheaves and Yoneda Lemma check #404: Pull request #67 opened by FeorgeGeorge
June 7, 2024 23:59 7m 39s FeorgeGeorge:master
FeorgeGeorge:master
June 7, 2024 23:59 7m 39s
Merge branch 'FeorgeGeorge-master' check #403: Commit 23d6046 pushed by valis
June 3, 2024 21:14 6m 0s master
master
June 3, 2024 21:14 6m 0s
Major update and refactoring check #400: Commit fb2aa23 pushed by valis
May 26, 2024 10:10 5m 48s master
master
May 26, 2024 10:10 5m 48s
Refactor the definition of the field of reals check #398: Commit 08e02cf pushed by valis
May 14, 2024 21:37 3m 28s master
master
May 14, 2024 21:37 3m 28s
Fix some issues with levels check #390: Commit 41da507 pushed by valis
May 8, 2024 13:13 7m 30s master
master
May 8, 2024 13:13 7m 30s
Fix typechecking check #389: Commit 2becf66 pushed by valis
May 7, 2024 14:03 7m 53s master
master
May 7, 2024 14:03 7m 53s
Implement expression prettifier and local expression prettifier check #378: Commit d379740 pushed by valis
April 16, 2024 04:16 3m 54s master
master
April 16, 2024 04:16 3m 54s
quotient universal property check #373: Pull request #65 synchronize by s3midetnov
April 4, 2024 11:33 4m 4s master
master
April 4, 2024 11:33 4m 4s
quotient universal property check #372: Pull request #65 synchronize by s3midetnov
April 3, 2024 15:49 8m 16s master
master
April 3, 2024 15:49 8m 16s
quotient universal property check #371: Pull request #65 synchronize by s3midetnov
April 2, 2024 11:34 5m 16s master
master
April 2, 2024 11:34 5m 16s
quotient universal property check #370: Pull request #65 synchronize by s3midetnov
March 30, 2024 15:21 4m 1s master
master
March 30, 2024 15:21 4m 1s
quotient universal property check #369: Pull request #65 synchronize by s3midetnov
March 27, 2024 21:09 3m 51s master
master
March 27, 2024 21:09 3m 51s
quotient universal property check #368: Pull request #65 synchronize by s3midetnov
March 26, 2024 13:14 3m 58s master
master
March 26, 2024 13:14 3m 58s