Skip to content

Actions: gap-actions/build-pkg-docs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Detect if doc/make_doc is not executable CI #45: Commit 2259736 pushed by fingolfin
September 20, 2024 08:58 1m 37s master
master
September 20, 2024 08:58 1m 37s
Switch to actions/checkout@v4 CI #44: Commit 0a06644 pushed by fingolfin
November 29, 2023 10:09 1m 50s master
master
November 29, 2023 10:09 1m 50s
Change 'bin/gap.sh' to 'gap' as 'bin/gap.sh' has been removed (#20) CI #43: Commit 822ca2b pushed by fingolfin
November 29, 2023 10:06 1m 26s master
master
November 29, 2023 10:06 1m 26s
Change 'bin/gap.sh' to 'gap' as 'bin/gap.sh' has been removed (#46) (… CI #42: Commit e46d1ad pushed by fingolfin
November 29, 2023 10:05 2m 1s master
master
November 29, 2023 10:05 2m 1s
Change bin/gap.sh into gap as bin/gap.sh has been removed CI #41: Pull request #20 opened by ChrisJefferson
November 29, 2023 10:00 1m 56s fix-gapname
fix-gapname
November 29, 2023 10:00 1m 56s