Skip to content

Actions: pleroy/Principia

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
906 workflow runs
906 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Keep runners alive Keep runners alive #83: Scheduled
February 9, 2025 03:38 2s master
master
February 9, 2025 03:38 2s
Merge pull request #4164 from pleroy/IndirectCall Lint #1125: Commit 61922c4 pushed by pleroy
February 5, 2025 21:19 2m 51s master
master
February 5, 2025 21:19 2m 51s
Merge pull request #4164 from pleroy/IndirectCall Build #327: Commit 61922c4 pushed by pleroy
February 5, 2025 21:19 4s master
master
February 5, 2025 21:19 4s
Keep runners alive Keep runners alive #82: Scheduled
February 5, 2025 03:39 3s master
master
February 5, 2025 03:39 3s
Readying. Lint #1124: Commit 307df07 pushed by pleroy
February 2, 2025 14:10 2m 9s IndirectCall
IndirectCall
February 2, 2025 14:10 2m 9s
Namespace. Lint #1123: Commit 2cbe5c3 pushed by pleroy
February 2, 2025 14:06 2m 18s IndirectCall
IndirectCall
February 2, 2025 14:06 2m 18s
Announce Kuratowski Lint #1122: Commit 44f1ac9 pushed by pleroy
February 1, 2025 10:24 2m 5s master
master
February 1, 2025 10:24 2m 5s
Announce Kuratowski Build #326: Commit 44f1ac9 pushed by pleroy
February 1, 2025 10:24 2s master
master
February 1, 2025 10:24 2s
Keep runners alive Keep runners alive #81: Scheduled
February 1, 2025 03:38 3s master
master
February 1, 2025 03:38 3s
Keep runners alive Keep runners alive #80: Scheduled
January 29, 2025 03:37 2s master
master
January 29, 2025 03:37 2s
Merge pull request #4161 from pleroy/NoSignForCos Build #325: Commit d719546 pushed by pleroy
January 27, 2025 22:32 2s master
master
January 27, 2025 22:32 2s
Merge pull request #4161 from pleroy/NoSignForCos Lint #1121: Commit d719546 pushed by pleroy
January 27, 2025 22:32 3m 9s master
master
January 27, 2025 22:32 3m 9s
Comment. Lint #1120: Commit 1dc0634 pushed by pleroy
January 27, 2025 21:18 2m 41s NoSignForCos
NoSignForCos
January 27, 2025 21:18 2m 41s
Comment. Lint #1119: Commit c5019e3 pushed by pleroy
January 27, 2025 21:13 4m 20s NoSignForCos
NoSignForCos
January 27, 2025 21:13 4m 20s
Merge Lint #1118: Commit d8206da pushed by pleroy
January 27, 2025 20:46 4m 16s NoSignForCos
NoSignForCos
January 27, 2025 20:46 4m 16s
Next release is خوارزمی‎. Lint #1117: Commit 6d1a3c6 pushed by pleroy
January 26, 2025 15:25 2m 14s ḵvârzmy
ḵvârzmy
January 26, 2025 15:25 2m 14s
Keep runners alive Keep runners alive #79: Scheduled
January 25, 2025 03:35 3s master
master
January 25, 2025 03:35 3s
Keep runners alive Keep runners alive #78: Scheduled
January 21, 2025 03:36 2s master
master
January 21, 2025 03:36 2s
Keep runners alive Keep runners alive #77: Scheduled
January 17, 2025 03:37 3s master
master
January 17, 2025 03:37 3s
Keep runners alive Keep runners alive #76: Scheduled
January 13, 2025 03:43 3s master
master
January 13, 2025 03:43 3s
Do not preserve the sign during reduction if evaluating a Cos. Lint #1116: Commit 4369b7b pushed by pleroy
January 12, 2025 20:04 2m 41s NoSignForCos
NoSignForCos
January 12, 2025 20:04 2m 41s
Do not preserve the sign during reduction if evaluating a Cos. Lint #1115: Commit 6065459 pushed by pleroy
January 12, 2025 17:05 2m 40s MoarOptimizations
MoarOptimizations
January 12, 2025 17:05 2m 40s
Keep runners alive Keep runners alive #75: Scheduled
January 9, 2025 03:49 3s master
master
January 9, 2025 03:49 3s
Merge pull request #4159 from eggrobin/jumpy-conditions Build #324: Commit d50506b pushed by pleroy
January 7, 2025 22:30 3s master
master
January 7, 2025 22:30 3s
Merge pull request #4159 from eggrobin/jumpy-conditions Lint #1114: Commit d50506b pushed by pleroy
January 7, 2025 22:30 2m 21s master
master
January 7, 2025 22:30 2m 21s