8000 Workflow runs · gap-packages/automata · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: gap-packages/automata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PackageInfo.g: remove obsolete 'Autoload' flag
CI #42: Commit f676f73 pushed by fingolfin
March 11, 2025 19:32 3m 44s master
March 11, 2025 19:32 3m 44s
CI: fix codecov setup
CI #41: Commit 9f2626d pushed by fingolfin
March 11, 2025 19:31 3m 32s master
March 11, 2025 19:31 3m 32s
CI: test against stable-4.14
CI #40: Commit b39d835 pushed by fingolfin
December 12, 2024 15:14 7m 16s master
December 12, 2024 15:14 7m 16s
pages build and deployment
pages-build-deployment #3: by ManuelAFDelgado
August 30, 2024 09:37 37s gh-pages
August 30, 2024 09:37 37s
Version 1.16
CI #39: Commit 97ce65c pushed by ManuelAFDelgado
August 30, 2024 09:37 2m 3s master
August 30, 2024 09:37 2m 3s
preparing new version
CI #38: Commit b8f7f29 pushed by ManuelAFDelgado
August 30, 2024 09:28 1m 58s master
August 30, 2024 09:28 1m 58s
Merge pull request #16 from ruthhoffmann/ruth
CI #37: Commit 254eaf6 pushed by ManuelAFDelgado
August 29, 2024 11:09 2m 12s master
August 29, 2024 11:09 2m 12s
CI: add Codecov token
CI #36: Commit 73b40b8 pushed by fingolfin
June 15, 2024 00:53 26m 41s master
June 15, 2024 00:53 26m 41s
0