Workflow runs · gap-packages/quickcheck · GitHub

Actions

All workflows
Actions
Loading...
Loading

Showing runs from all workflows

41 workflow runs

41 workflow runs

Update CI to use setup-gap@v3 (#12) CI #57: Commit 3a1a010 pushed by fingolfin

2m 44s master

2m 44s

Update CI to use setup-gap@v3 (#12) Docs #18: Commit 3a1a010 pushed by fingolfin

2m 14s master

2m 14s

Update CI to use setup-gap@v3 CI #56: Pull request #12 synchronize by fingolfin

2m 42s codex/update-ci

codex/update-ci

2m 42s

Update CI to use setup-gap@v3 Docs #17: Pull request #12 synchronize by fingolfin

2m 13s codex/update-ci

codex/update-ci

2m 13s

Require GAP >= 4.13 (#13) CI #55: Commit ee5f3a5 pushed by fingolfin

2m 13s master

2m 13s

Require GAP >= 4.13 (#13) Docs #16: Commit ee5f3a5 pushed by fingolfin

2m 22s master

2m 22s

Merge pull request #13 from gap-packages/mh/update-gap-req Docs #15: Commit ba9666f pushed by fingolfin

2m 4s master

2m 4s

Merge pull request #13 from gap-packages/mh/update-gap-req CI #54: Commit ba9666f pushed by fingolfin

2m 32s master

2m 32s

Require GAP >= 4.13 Docs #14: Pull request #13 opened by fingolfin

2m 9s mh/update-gap-req

mh/update-gap-req

2m 9s

Require GAP >= 4.13 CI #53: Pull request #13 opened by fingolfin

1m 57s mh/update-gap-req

mh/update-gap-req

1m 57s

Require GAP >= 4.13 CI #52: Commit 236ecd1 pushed by fingolfin

2m 12s mh/update-gap-req

mh/update-gap-req

2m 12s

Update CI to use setup-gap@v3 CI #51: Pull request #12 synchronize by fingolfin

2m 56s codex/update-ci

codex/update-ci

2m 56s

Update CI to use setup-gap@v3 Docs #13: Pull request #12 synchronize by fingolfin

2m 4s codex/update-ci

codex/update-ci

2m 4s

Update CI to use setup-gap@v3 Docs #12: Pull request #12 synchronize by fingolfin

2m 14s codex/update-ci

codex/update-ci

2m 14s

Update CI to use setup-gap@v3 CI #50: Pull request #12 synchronize by fingolfin

6m 47s codex/update-ci

codex/update-ci

6m 47s

Update CI to use setup-gap@v3 Docs #11: Pull request #12 synchronize by fingolfin

2m 3s codex/update-ci

codex/update-ci

2m 3s

Update CI to use setup-gap@v3 CI #49: Pull request #12 synchronize by fingolfin

2m 35s codex/update-ci

codex/update-ci

2m 35s

Update CI to use setup-gap@v3 CI #48: Pull request #12 synchronize by fingolfin

2m 4s codex/update-ci

codex/update-ci

2m 4s

Update CI to use setup-gap@v3 Docs #10: Pull request #12 synchronize by fingolfin

2m 18s codex/update-ci

codex/update-ci

2m 18s

Update CI to use setup-gap@v3 CI #47: Pull request #12 opened by fingolfin

8m 24s codex/update-ci

codex/update-ci

8m 24s

Update CI to use setup-gap@v3 Docs #9: Pull request #12 opened by fingolfin

4m 0s codex/update-ci

codex/update-ci

4m 0s

Update CI to use setup-gap@v3 CI #46: Commit 734cd36 pushed by fingolfin

1m 27s codex/update-ci

codex/update-ci

1m 27s

Update CI workflow CI #45: Commit 07eea02 pushed by fingolfin

53m 46s master

53m 46s

Update CI workflow Docs #8: Commit 07eea02 pushed by fingolfin

51m 13s master

51m 13s

Prepare for v1.0.2 Docs #7: Commit 6bac20d pushed by ChrisJefferson

2m 40s master

2m 40s