Skip to content

Actions: Beluga-lang/Beluga

Actions

Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
Added CP mechanization Build & Test #279: Commit 8df5506 pushed by MartyO256
March 7, 2024 01:45 9m 2s master
master
March 7, 2024 01:45 9m 2s
Handle edge case where the _ in \x._ should be parsed as a wildca… Build & Test #278: Commit a3e6919 pushed by MartyO256
March 7, 2024 01:23 16m 46s master
master
March 7, 2024 01:23 16m 46s
Added CP mechanization to case studies directory Build & Test #277: Pull request #271 opened by chutasano
March 7, 2024 00:35 5m 33s csano/add-cp-mechanization
csano/add-cp-mechanization
March 7, 2024 00:35 5m 33s
Added CP mechanization Build & Test #276: Commit 3f04a0c pushed by chutasano
March 7, 2024 00:34 8m 54s csano/add-cp-mechanization
csano/add-cp-mechanization
March 7, 2024 00:34 8m 54s
Remove usages of MathJax in examples Build & Test #275: Commit 2122ea1 pushed by MartyO256
January 30, 2024 03:16 11m 18s master
master
January 30, 2024 03:16 11m 18s
Update installation instructions Build & Test #274: Commit 9417bcd pushed by MartyO256
January 30, 2024 00:52 11m 59s master
master
January 30, 2024 00:52 11m 59s
Format literate Beluga examples Build & Test #273: Commit 20d4975 pushed by MartyO256
January 29, 2024 03:35 15m 44s master
master
January 29, 2024 03:35 15m 44s
Upgrade actions/checkout@v3 to actions/checkout@v4 Build & Test #272: Commit 2bbdbbb pushed by MartyO256
January 27, 2024 15:03 26m 9s master
master
January 27, 2024 15:03 26m 9s
Rename the placeholder file from .gitkeep to PLACEHOLDER Build & Test #271: Commit 5b58972 pushed by MartyO256
January 27, 2024 14:44 18m 52s case-studies
case-studies
January 27, 2024 14:44 18m 52s
Add support for case studies as tests Build & Test #270: Commit 8e17136 pushed by MartyO256
January 27, 2024 03:59 8m 45s case-studies
case-studies
January 27, 2024 03:59 8m 45s