Skip to content

Actions: Beluga-lang/Beluga

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
pages build and deployment pages-build-deployment #21: by github-pages bot
July 22, 2024 03:42 36s
July 22, 2024 03:42 36s
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 and deploy internal HTML documentation #29: Commit c55dbab pushed by MartyO256
July 22, 2024 03:34 8m 26s master
master
July 22, 2024 03:34 8m 26s
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
pages build and deployment pages-build-deployment #20: by github-pages bot
May 8, 2024 02:26 38s
May 8, 2024 02:26 38s
Use timeout command in TEST.sh Build and deploy internal HTML documentation #28: Commit 963a77f pushed by MartyO256
May 8, 2024 02:21 4m 59s master
master
May 8, 2024 02:21 4m 59s
Use timeout command in TEST.sh Build & Test #281: Commit 963a77f pushed by MartyO256
May 8, 2024 02:21 8m 5s master
master
May 8, 2024 02:21 8m 5s
pages build and deployment pages-build-deployment #19: by github-pages bot
May 7, 2024 02:26 41s
May 7, 2024 02:26 41s
Fix bug with module entries disambiguation and postponed fixities Build & Test #280: Commit 0e99faf pushed by MartyO256
May 7, 2024 02:18 7m 27s master
master
May 7, 2024 02:18 7m 27s
Fix bug with module entries disambiguation and postponed fixities Build and deploy internal HTML documentation #27: Commit 0e99faf pushed by MartyO256
May 7, 2024 02:18 8m 36s master
master
May 7, 2024 02:18 8m 36s