Skip to content

Actions: gap-packages/ibnp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #10 from gap-packages/mh/README-tweaks
CI #14: Commit 5d7c5d5 pushed by cdwensley
March 7, 2025 18:07 2m 30s master
March 7, 2025 18:07 2m 30s
Update README.md
CI #13: Pull request #10 opened by fingolfin
March 6, 2025 16:53 2m 39s mh/README-tweaks
March 6, 2025 16:53 2m 39s
Merge pull request #9 from gap-packages/update
CI #12: Commit a23782a pushed by cdwensley
March 6, 2025 15:53 2m 25s master
March 6, 2025 15:53 2m 25s
fixed issue #3
CI #11: Pull request #9 opened by cdwensley
March 6, 2025 15:46 2m 22s update
March 6, 2025 15:46 2m 22s
pages build and deployment
pages-build-deployment #5: by cdwensley
March 6, 2025 15:01 42s gh-pages
March 6, 2025 15:01 42s
pages build and deployment
pages-build-deployment #4: by cdwensley
March 5, 2025 16:22 50s gh-pages
March 5, 2025 16:22 50s
version 0.14 release
CI #10: Commit 0de3861 pushed by cdwensley
March 5, 2025 16:20 5m 40s master
March 5, 2025 16:20 5m 40s
Merge pull request #7 from gap-packages/update
CI #9: Commit 9723551 pushed by cdwensley
March 5, 2025 16:16 4m 1s master
March 5, 2025 16:16 4m 1s
extensive revision of the manual
CI #8: Pull request #7 opened by cdwensley
March 5, 2025 16:04 6m 37s update
March 5, 2025 16:04 6m 37s
pages build and deployment
pages-build-deployment #3: by cdwensley
February 28, 2025 20:01 44s gh-pages
February 28, 2025 20:01 44s
version 0.13 release
CI #7: Commit 3151687 pushed by cdwensley
February 28, 2025 19:01 3m 45s master
February 28, 2025 19:01 3m 45s
Merge pull request #6 from gap-packages/update
CI #6: Commit 54cccc2 pushed by cdwensley
February 28, 2025 18:57 2m 38s master
February 28, 2025 18:57 2m 38s
extensive revision of the manual
CI #5: Pull request #6 opened by cdwensley
February 28, 2025 18:50 3m 43s update
February 28, 2025 18:50 3m 43s
Merge pull request #1 from gap-packages/mh/gitignore
CI #4: Commit c14d5db pushed by cdwensley
February 12, 2025 09:19 2m 54s master
February 12, 2025 09:19 2m 54s
Merge pull request #2 from gap-packages/mh/CI
CI #3: Commit bddbe99 pushed by cdwensley
February 12, 2025 09:18 2m 47s master
February 12, 2025 09:18 2m 47s
Use GitHub Actions to run CI tests
CI #2: Pull request #2 synchronize by fingolfin
February 11, 2025 20:41 3m 44s mh/CI
February 11, 2025 20:41 3m 44s
Use GitHub Actions to run CI tests
CI #1: Pull request #2 opened by fingolfin
February 11, 2025 20:37 2m 42s mh/CI
February 11, 2025 20:37 2m 42s
pages build and deployment
pages-build-deployment #2: by cdwensley
October 17, 2024 16:37 54s gh-pages
October 17, 2024 16:37 54s
pages build and deployment
pages-build-deployment #1: by cdwensley
October 17, 2024 16:19 59s gh-pages
October 17, 2024 16:19 59s