Skip to content

Actions: Beluga-lang/Beluga

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Probably last fix Build & Test #300: Commit 8bf5054 pushed by Ailrun
May 19, 2025 20:27 4m 19s master
master
May 19, 2025 20:27 4m 19s
Probably last fix Build and deploy internal HTML documentation #38: Commit 8bf5054 pushed by Ailrun
May 19, 2025 20:27 2m 59s master
master
May 19, 2025 20:27 2m 59s
Update mode to be compatible with Melpa Build & Test #299: Commit e631741 pushed by Ailrun
May 19, 2025 20:12 5m 17s master
master
May 19, 2025 20:12 5m 17s
Update mode to be compatible with Melpa Build and deploy internal HTML documentation #37: Commit e631741 pushed by Ailrun
May 19, 2025 20:12 3m 6s master
master
May 19, 2025 20:12 3m 6s
Fix CI further Build and deploy internal HTML documentation #36: Commit 508eb1a pushed by Ailrun
May 14, 2025 18:03 2m 52s master
master
May 14, 2025 18:03 2m 52s
Fix CI further Build & Test #298: Commit 508eb1a pushed by Ailrun
May 14, 2025 18:03 6m 49s master
master
May 14, 2025 18:03 6m 49s
pages build and deployment pages-build-deployment #23: by github-pages bot
May 14, 2025 17:47 40s gh-pages
gh-pages
May 14, 2025 17:47 40s
Fix CI Build & Test #297: Commit 26554aa pushed by Ailrun
May 14, 2025 17:40 6m 8s master
master
May 14, 2025 17:40 6m 8s
Fix CI Build and deploy internal HTML documentation #35: Commit 26554aa pushed by Ailrun
May 14, 2025 17:40 6m 56s master
master
May 14, 2025 17:40 6m 56s
Add elisp docs Build & Test #296: Commit 844ef02 pushed by Ailrun
May 14, 2025 17:37 20s master
master
May 14, 2025 17:37 20s
Add elisp docs Build and deploy internal HTML documentation #34: Commit 844ef02 pushed by Ailrun
May 14, 2025 17:37 22s master
master
May 14, 2025 17:37 22s
Update Beluga-mode to conform to Melpa restrictions Build & Test #295: Commit d9e34e1 pushed by Ailrun
May 14, 2025 17:06 23s master
master
May 14, 2025 17:06 23s
Update Beluga-mode to conform to Melpa restrictions Build and deploy internal HTML documentation #33: Commit d9e34e1 pushed by Ailrun
May 14, 2025 17:06 23s master
master
May 14, 2025 17:06 23s
Apply suggestions from code review Build and deploy internal HTML documentation #32: Commit 5efb5c7 pushed by MartyO256
July 29, 2024 11:52 4m 55s master
master
July 29, 2024 11:52 4m 55s
Apply suggestions from code review Build & Test #294: Commit 5efb5c7 pushed by MartyO256
July 29, 2024 11:52 8m 29s master
master
July 29, 2024 11:52 8m 29s
Added "harmony-lemma-formalization" as a new case study Build & Test #293: Pull request #273 synchronize by MartyO256
July 29, 2024 11:44 6m 14s master
master
July 29, 2024 11:44 6m 14s
Added "harmony-lemma-formalization" as a new case study Build & Test #292: Pull request #273 opened by GabrieleCecilia
July 28, 2024 14:01 5m 32s master
master
July 28, 2024 14:01 5m 32s
Use conf-timeout opam package to ensure coreutils is installed wh… Build and deploy internal HTML documentation #31: Commit e9c47f2 pushed by MartyO256
July 22, 2024 13:06 4m 51s master
master
July 22, 2024 13:06 4m 51s
Use conf-timeout opam package to ensure coreutils is installed wh… Build & Test #291: Commit e9c47f2 pushed by MartyO256
July 22, 2024 13:06 7m 15s master
master
July 22, 2024 13:06 7m 15s
Use conf-timeout opam package to ensure coreutils is installed wh… Build & Test #290: Commit e9c47f2 pushed by MartyO256
July 22, 2024 12:59 6m 35s ci
ci
July 22, 2024 12:59 6m 35s
Update changelog for v1.1.2 Build & Test #289: Commit a6e78de pushed by MartyO256
July 22, 2024 12:55 3m 22s ci
ci
July 22, 2024 12:55 3m 22s
Use conf-timeout opam package to ensure coreutils is installed wh… Build & Test #288: Commit 50ea607 pushed by MartyO256
July 22, 2024 12:46 5m 10s ci
ci
July 22, 2024 12:46 5m 10s
pages build and deployment pages-build-deployment #22: by github-pages bot
July 22, 2024 04:18 39s gh-pages
gh-pages
July 22, 2024 04:18 39s
Update changelog for v1.1.2 Build and deploy internal HTML documentation #30: Commit 36e541d pushed by MartyO256
July 22, 2024 04:14 4m 34s master
master
July 22, 2024 04:14 4m 34s
Update changelog for v1.1.2 Build & Test #287: Commit 36e541d pushed by MartyO256
July 22, 2024 04:14 7m 23s master
master
July 22, 2024 04:14 7m 23s