Skip to content

Actions: Beluga-lang/Beluga

Actions

Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test.yml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove Variant and Tuple to support yojson v3 Build & Test #301: Pull request #275 opened by momeemt
June 14, 2025 16:54 Action required momeemt:patch/yo-json-v3
momeemt:patch/yo-json-v3
June 14, 2025 16:54 Action required
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
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
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
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
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
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
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 & 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
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
Build & Test Build & Test #286: by MartyO256
July 22, 2024 04:14 5m 35s v1.1.2
v1.1.2
July 22, 2024 04:14 5m 35s
Add test cases Build & Test #285: Commit c55dbab pushed by MartyO256
July 22, 2024 03:34 9m 38s master
master
July 22, 2024 03:34 9m 38s
Add test cases Build & Test #284: Commit c55dbab pushed by MartyO256
July 22, 2024 03:21 9m 59s add-tests
add-tests
July 22, 2024 03:21 9m 59s
Adjust callGraph program to print out JSON data Build & Test #283: Commit 1b84c21 pushed by MartyO256
July 16, 2024 02:26 9m 24s call-graph
call-graph
July 16, 2024 02:26 9m 24s
Implement executable beluga_call_graph to compute a dependency call… Build & Test #282: Commit 9fad4d7 pushed by MartyO256
July 5, 2024 04:23 11m 23s call-graph
call-graph
July 5, 2024 04:23 11m 23s