Skip to content

Actions: semigroups/Semigroups

Actions

Configuration options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
config-options.yml
346 workflow runs
346 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update for recent gaplint Configuration options #417: Commit 9e06a11 pushed by james-d-mitchell
August 31, 2024 17:17 13m 25s main
main
August 31, 2024 17:17 13m 25s
Update for recent gaplint Configuration options #416: Pull request #1037 synchronize by james-d-mitchell
August 31, 2024 15:49 12m 57s james-d-mitchell:gaplint-v1.3.2
james-d-mitchell:gaplint-v1.3.2
August 31, 2024 15:49 12m 57s
Update for recent gaplint Configuration options #415: Pull request #1037 synchronize by james-d-mitchell
August 31, 2024 15:44 12m 41s james-d-mitchell:gaplint-v1.3.2
james-d-mitchell:gaplint-v1.3.2
August 31, 2024 15:44 12m 41s
Try fix ci Configuration options #414: Commit d03e249 pushed by james-d-mitchell
August 31, 2024 15:43 12m 25s main
main
August 31, 2024 15:43 12m 25s
Try fix ci Configuration options #413: Pull request #1038 synchronize by james-d-mitchell
August 31, 2024 13:47 12m 56s james-d-mitchell:fix-ci
james-d-mitchell:fix-ci
August 31, 2024 13:47 12m 56s
Try fix ci Configuration options #412: Pull request #1038 opened by james-d-mitchell
August 31, 2024 13:34 13m 7s james-d-mitchell:fix-ci
james-d-mitchell:fix-ci
August 31, 2024 13:34 13m 7s
Update for recent gaplint Configuration options #411: Pull request #1037 opened by james-d-mitchell
August 31, 2024 12:06 9m 33s james-d-mitchell:gaplint-v1.3.2
james-d-mitchell:gaplint-v1.3.2
August 31, 2024 12:06 9m 33s
kernel: Semigroups can be used in GAP on julia Configuration options #410: Commit 3fa9f22 pushed by james-d-mitchell
August 30, 2024 16:07 14m 50s main
main
August 30, 2024 16:07 14m 50s
kernel: Semigroups can be used in GAP on julia Configuration options #409: Pull request #1036 opened by james-d-mitchell
August 30, 2024 15:06 15m 33s james-d-mitchell:julia
james-d-mitchell:julia
August 30, 2024 15:06 15m 33s
Fix ChooseHashFunction rank issue. Configuration options #408: Commit 323f949 pushed by james-d-mitchell
August 30, 2024 10:20 14m 20s main
main
August 30, 2024 10:20 14m 20s
Fix ChooseHashFunction rank issue. Configuration options #407: Pull request #1035 opened by reiniscirpons
August 30, 2024 09:15 14m 49s reiniscirpons:fix-rank
reiniscirpons:fix-rank
August 30, 2024 09:15 14m 49s
Fix rank issue for ChooseHashFunction Configuration options #406: Pull request #1034 synchronize by james-d-mitchell
August 29, 2024 19:56 14m 49s reiniscirpons:fix-rank
reiniscirpons:fix-rank
August 29, 2024 19:56 14m 49s
Fix rank issue for ChooseHashFunction Configuration options #405: Pull request #1034 opened by reiniscirpons
August 29, 2024 15:48 14m 50s reiniscirpons:fix-rank
reiniscirpons:fix-rank
August 29, 2024 15:48 14m 50s
Release candidate v5.4.0 Configuration options #404: Pull request #1033 synchronize by james-d-mitchell
August 27, 2024 15:39 15m 9s james-d-mitchell:rc-v5.4.0
james-d-mitchell:rc-v5.4.0
August 27, 2024 15:39 15m 9s
Release candidate v5.4.0 Configuration options #403: Pull request #1033 opened by james-d-mitchell
August 27, 2024 15:26 14m 43s james-d-mitchell:rc-v5.4.0
james-d-mitchell:rc-v5.4.0
August 27, 2024 15:26 14m 43s
Better kernel module checking (#1032) Configuration options #402: Commit 83e428d pushed by james-d-mitchell
August 26, 2024 13:27 14m 46s main
main
August 26, 2024 13:27 14m 46s
Better kernel module checking Configuration options #401: Pull request #1032 synchronize by Joseph-Edwards
August 26, 2024 11:31 14m 44s Joseph-Edwards:load-kernel-extension
Joseph-Edwards:load-kernel-extension
August 26, 2024 11:31 14m 44s
Better kernel module checking Configuration options #400: Pull request #1032 synchronize by Joseph-Edwards
August 26, 2024 11:27 9m 17s Joseph-Edwards:load-kernel-extension
Joseph-Edwards:load-kernel-extension
August 26, 2024 11:27 9m 17s
Better kernel module checking Configuration options #399: Pull request #1032 synchronize by Joseph-Edwards
August 26, 2024 11:25 8m 57s Joseph-Edwards:load-kernel-extension
Joseph-Edwards:load-kernel-extension
August 26, 2024 11:25 8m 57s
Better kernel module checking Configuration options #398: Pull request #1032 synchronize by Joseph-Edwards
August 26, 2024 11:12 9m 6s Joseph-Edwards:load-kernel-extension
Joseph-Edwards:load-kernel-extension
August 26, 2024 11:12 9m 6s
Better kernel module checking Configuration options #397: Pull request #1032 synchronize by Joseph-Edwards
August 26, 2024 11:03 9m 23s Joseph-Edwards:load-kernel-extension
Joseph-Edwards:load-kernel-extension
August 26, 2024 11:03 9m 23s
Better kernel module checking Configuration options #396: Pull request #1032 opened by Joseph-Edwards
August 26, 2024 11:00 9m 22s Joseph-Edwards:load-kernel-extension
Joseph-Edwards:load-kernel-extension
August 26, 2024 11:00 9m 22s
Mitsch Order Configuration options #395: Pull request #1024 synchronize by Tianrun-Y
August 23, 2024 08:26 14m 43s Tianrun-Y:mitsch-new
Tianrun-Y:mitsch-new
August 23, 2024 08:26 14m 43s
fix typo (#1030) Configuration options #394: Commit 7017ff3 pushed by james-d-mitchell
August 22, 2024 19:18 14m 47s main
main
August 22, 2024 19:18 14m 47s
Fix GAP coverage script newline issue (#1029) Configuration options #393: Commit ff54965 pushed by james-d-mitchell
August 22, 2024 10:46 14m 36s main
main
August 22, 2024 10:46 14m 36s