Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
537 workflow run results
537 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ ttc ] Compare modification time with nanosecond precision Idris2 #3289: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 13:23 1h 6m 31s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 13:23 1h 6m 31s
[ ttc ] Compare modification time with nanosecond precision Lint Code Base #5348: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 13:23 2m 49s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 13:23 2m 49s
[ ttc ] Compare modification time with nanosecond precision Lint the sources #5429: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 13:23 19s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 13:23 19s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3487: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 13:23 42s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 13:23 42s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3486: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 10:01 45s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 10:01 45s
[ ttc ] Compare modification time with nanosecond precision Idris2 #3288: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 10:01 1h 6m 2s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 10:01 1h 6m 2s
[ ttc ] Compare modification time with nanosecond precision Lint Code Base #5347: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 10:01 3m 16s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 10:01 3m 16s
[ ttc ] Compare modification time with nanosecond precision Lint the sources #5428: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 10:01 16s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 10:01 16s
[ ttc ] Compare modification time with nanosecond precision Lint Code Base #5346: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 09:41 2m 58s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 09:41 2m 58s
[ ttc ] Compare modification time with nanosecond precision Idris2 #3287: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 09:41 20m 9s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 09:41 20m 9s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3485: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 09:41 42s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 09:41 42s
[ ttc ] Compare modification time with nanosecond precision Lint the sources #5427: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 09:41 16s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 09:41 16s
[ ttc ] Compare modification time with nanosecond precision Lint the sources #5426: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 08:16 16s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 08:16 16s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3484: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 08:16 43s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 08:16 43s
[ ttc ] Compare modification time with nanosecond precision Idris2 #3286: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 08:16 1h 10m 44s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 08:16 1h 10m 44s
[ ttc ] Compare modification time with nanosecond precision Lint Code Base #5345: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 08:16 3m 24s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 08:16 3m 24s
Add a warning for incompatible visibilities on forward decls and definitions. Lint the sources #5425: Pull request #3063 opened by Adowrath
August 29, 2023 22:17 12s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
August 29, 2023 22:17 12s
Add a warning for incompatible visibilities on forward decls and definitions. Lint Code Base #5344: Pull request #3063 opened by Adowrath
August 29, 2023 22:17 3m 22s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
August 29, 2023 22:17 3m 22s
Add a warning for incompatible visibilities on forward decls and definitions. Idris2 #3285: Pull request #3063 opened by Adowrath
August 29, 2023 22:17 1h 9m 4s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
August 29, 2023 22:17 1h 9m 4s
Add a warning for incompatible visibilities on forward decls and definitions. Sphinx #3483: Pull request #3063 opened by Adowrath
August 29, 2023 22:17 42s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
August 29, 2023 22:17 42s
[ ttc ] Compare modification time with nanosecond precision Lint Code Base #5343: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:49 3m 34s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:49 3m 34s
[ ttc ] Compare modification time with nanosecond precision Idris2 #3284: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:49 22m 20s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:49 22m 20s
[ ttc ] Compare modification time with nanosecond precision Lint the sources #5424: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:49 12s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:49 12s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3482: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:49 39s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:49 39s
[ ttc ] Compare modification time with nanosecond precision Idris2 #3283: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:43 6m 23s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:43 6m 23s