Skip to content

Actions: gap-packages/FinInG

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
20 workflow runs
20 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
PackageInfo.g: fix a typo Docs #20: Commit 2f2c0fa pushed by fingolfin
2m 52s master
master
2m 52s
Update CI to use setup-gap@v3 (#56) Docs #19: Commit c6a6c5f pushed by fingolfin
2m 50s master
master
2m 50s
Update CI to use setup-gap@v3 Docs #18: Pull request #56 synchronize by fingolfin
2m 33s codex/update-ci
codex/update-ci
2m 33s
Update CI to use setup-gap@v3 Docs #17: Pull request #56 synchronize by fingolfin
2m 44s codex/update-ci
codex/update-ci
2m 44s
Update CI to use setup-gap@v3 Docs #16: Pull request #56 synchronize by fingolfin
3m 26s codex/update-ci
codex/update-ci
3m 26s
Update CI to use setup-gap@v3 Docs #15: Pull request #56 opened by fingolfin
2m 49s codex/update-ci
codex/update-ci
2m 49s
Update CI workflow Docs #14: Commit 8b05709 pushed by fingolfin
32m 41s master
master
32m 41s
Update release workflow Docs #13: Commit c645caf pushed by fingolfin
43m 59s master
master
43m 59s
CI: update codecov/codecov-action to v6 Docs #12: Commit 18b095e pushed by fingolfin
8m 23s master
master
8m 23s
CI: upload manual.pdf uncompressed Docs #11: Commit ef378cb pushed by fingolfin
9m 3s master
master
9m 3s
PackageInfo.g: update contact details (#50) Docs #10: Commit a69a765 pushed by fingolfin
2m 42s master
master
2m 42s
PackageInfo.g: update contact details (emails, homepages, GitHub usernames) Docs #9: Pull request #50 synchronize by fingolfin
3m 7s wilfwilson:patch-1
wilfwilson:patch-1
3m 7s
Added new method to compute points on a quadratic variety Docs #8: Commit 967274b pushed by mlavrauw
3m 5s master
master
3m 5s
CI: update to actions/checkout@v6 Docs #7: Commit 4da2ff7 pushed by fingolfin
11m 7s master
master
11m 7s
Update release workflow wording Docs #6: Commit 032432e pushed by fingolfin
55m 56s master
master
55m 56s
Tabs to spaces, remove trailing whitespace (#53) Docs #5: Commit afb5197 pushed by fingolfin
5m 7s master
master
5m 7s
CI: move docs job into separate workflow (#54) Docs #4: Commit ff0afab pushed by fingolfin
4m 58s master
master
4m 58s
CI: move docs job into separate workflow Docs #3: Pull request #54 synchronize by fingolfin
4m 44s mh/docs
mh/docs
4m 44s
CI: move docs job into separate workflow Docs #2: Pull request #54 synchronize by fingolfin
5m 10s mh/docs
mh/docs
5m 10s
CI: move docs job into separate workflow Docs #1: Pull request #54 opened by fingolfin
4m 1s mh/docs
mh/docs
4m 1s