Skip to content

Actions: MartyO256/Beluga

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #5: by github-pages bot
July 23, 2024 02:56 38s gh-pages
July 23, 2024 02:56 38s
Configure gh-pages deployment
Build & Test #253: Commit 567970b pushed by MartyO256
July 23, 2024 02:45 9m 59s master
July 23, 2024 02:45 9m 59s
Configure gh-pages deployment
Build and deploy internal HTML documentation #7: Commit 567970b pushed by MartyO256
July 23, 2024 02:45 11m 49s master
July 23, 2024 02:45 11m 49s
Use conf-timeout opam package to ensure coreutils is installed wh…
Build and deploy internal HTML documentation #6: Commit e9c47f2 pushed by MartyO256
July 23, 2024 02:43 8m 40s master
July 23, 2024 02:43 8m 40s
Use conf-timeout opam package to ensure coreutils is installed wh…
Build & Test #252: Commit e9c47f2 pushed by MartyO256
July 23, 2024 02:43 11m 5s master
July 23, 2024 02:43 11m 5s
Add coreutils installation step for MacOS
Build & Test #251: Commit 2eac80b pushed by MartyO256
May 8, 2024 01:37 6m 46s fix-test
May 8, 2024 01:37 6m 46s
pages build and deployment
pages-build-deployment #4: by github-pages bot
May 8, 2024 01:25 41s gh-pages
May 8, 2024 01:25 41s
Use timeout command
Build & Test #250: Commit 3c85ed1 pushed by MartyO256
May 8, 2024 01:17 9m 32s fix-test
May 8, 2024 01:17 9m 32s
Fix bug with module entries disambiguation and postponed fixities
Build and deploy internal HTML documentation #5: Commit 0e99faf pushed by MartyO256
May 8, 2024 01:16 8m 39s master
May 8, 2024 01:16 8m 39s
Fix bug with module entries disambiguation and postponed fixities
Build & Test #249: Commit 0e99faf pushed by MartyO256
May 8, 2024 01:16 9m 40s master
May 8, 2024 01:16 9m 40s