Skip to content

Actions: kalmarek/PropertyT.jl

Actions

CI

Actions

Loading...

Show workflow options

Create status badge

19 workflow runs
19 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Add an implementation of PRA group to scripts
CI #27: Pull request #15 opened by kalmarek
February 27, 2024 17:17 6h 0m 24s mk/pra_group
February 27, 2024 17:17 6h 0m 24s
update scripts to the newest master
CI #26: Pull request #14 opened by kalmarek
February 19, 2024 17:51 6h 0m 24s mk/update_PermutationGroups_etal
February 19, 2024 17:51 6h 0m 24s
update permutation groups etal
CI #25: Pull request #13 synchronize by kalmarek
February 16, 2024 11:10 6h 0m 26s mk/update_PermutationGroups_etal
February 16, 2024 11:10 6h 0m 26s
update permutation groups etal
CI #24: Pull request #13 opened by kalmarek
February 15, 2024 21:52 6h 0m 27s mk/update_PermutationGroups_etal
February 15, 2024 21:52 6h 0m 27s
tests for chevalley groups
CI #23: Pull request #12 opened by kalmarek
May 22, 2023 20:47 15m 4s mk/tests_chevalley
May 22, 2023 20:47 15m 4s
G₂ - here we come!
CI #22: Pull request #11 synchronize by kalmarek
May 8, 2023 23:04 14m 58s enh/G₂_here_we_come
May 8, 2023 23:04 14m 58s
G₂ - here we come!
CI #21: Pull request #11 synchronize by kalmarek
May 8, 2023 15:50 15m 28s enh/G₂_here_we_come
May 8, 2023 15:50 15m 28s
G₂ - here we come!
CI #20: Pull request #11 synchronize by kalmarek
April 12, 2023 23:01 12m 44s enh/G₂_here_we_come
April 12, 2023 23:01 12m 44s
G₂ - here we come!
CI #19: Pull request #11 synchronize by kalmarek
April 11, 2023 08:33 10m 10s enh/G₂_here_we_come
April 11, 2023 08:33 10m 10s
G₂ - here we come!
CI #18: Pull request #11 synchronize by kalmarek
April 11, 2023 06:33 11m 48s enh/G₂_here_we_come
April 11, 2023 06:33 11m 48s
G₂ - here we come!
CI #17: Pull request #11 synchronize by kalmarek
April 6, 2023 14:16 10m 48s enh/G₂_here_we_come
April 6, 2023 14:16 10m 48s
G₂ - here we come!
CI #16: Pull request #11 synchronize by kalmarek
April 6, 2023 11:19 11m 58s enh/G₂_here_we_come
April 6, 2023 11:19 11m 58s
G₂ - here we come!
CI #15: Pull request #11 synchronize by kalmarek
April 6, 2023 09:48 11m 28s enh/G₂_here_we_come
April 6, 2023 09:48 11m 28s
G₂ - here we come!
CI #14: Pull request #11 synchronize by kalmarek
April 5, 2023 15:50 21m 5s enh/G₂_here_we_come
April 5, 2023 15:50 21m 5s
G₂ - here we come!
CI #13: Pull request #11 synchronize by kalmarek
April 5, 2023 11:13 14m 45s enh/G₂_here_we_come
April 5, 2023 11:13 14m 45s
G₂ - here we come!
CI #12: Pull request #11 synchronize by kalmarek
March 20, 2023 01:34 14m 40s enh/G₂_here_we_come
March 20, 2023 01:34 14m 40s
G₂ - here we come!
CI #11: Pull request #11 synchronize by kalmarek
March 20, 2023 01:29 14m 35s enh/G₂_here_we_come
March 20, 2023 01:29 14m 35s
G₂ - here we come!
CI #10: Pull request #11 synchronize by kalmarek
March 20, 2023 00:42 17m 51s enh/G₂_here_we_come
March 20, 2023 00:42 17m 51s
G₂ - here we come!
CI #9: Pull request #11 opened by kalmarek
March 20, 2023 00:41 1m 22s enh/G₂_here_we_come
March 20, 2023 00:41 1m 22s