Skip to content

Actions: Beluga-lang/Beluga

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
109 workflow runs
109 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
pages build and deployment pages-build-deployment #18: by github-pages bot
March 7, 2024 01:49 38s
March 7, 2024 01:49 38s
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
Added CP mechanization Build and deploy internal HTML documentation #26: Commit 8df5506 pushed by MartyO256
March 7, 2024 01:45 4m 49s master
master
March 7, 2024 01:45 4m 49s
pages build and deployment pages-build-deployment #17: by github-pages bot
March 7, 2024 01:31 1m 32s
March 7, 2024 01:31 1m 32s
Handle edge case where the _ in \x._ should be parsed as a wildca… Build and deploy internal HTML documentation #25: Commit a3e6919 pushed by MartyO256
March 7, 2024 01:23 8m 20s master
master
March 7, 2024 01:23 8m 20s
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 and deploy internal HTML documentation #24: Commit 2122ea1 pushed by MartyO256
January 30, 2024 03:16 4m 48s master
master
January 30, 2024 03:16 4m 48s
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
Update installation instructions Build and deploy internal HTML documentation #23: Commit 9417bcd pushed by MartyO256
January 30, 2024 00:52 4m 22s master
master
January 30, 2024 00:52 4m 22s
pages build and deployment with artifacts-next pages-build-deployment #16: by github-pages bot
January 29, 2024 03:39 41s
January 29, 2024 03:39 41s
Format literate Beluga examples Build and deploy internal HTML documentation #22: Commit 20d4975 pushed by MartyO256
January 29, 2024 03:35 4m 41s master
master
January 29, 2024 03:35 4m 41s
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
pages build and deployment with artifacts-next pages-build-deployment #15: by github-pages bot
January 27, 2024 15:11 45s
January 27, 2024 15:11 45s
Upgrade actions/checkout@v3 to actions/checkout@v4 Build and deploy internal HTML documentation #21: Commit 2bbdbbb pushed by MartyO256
January 27, 2024 15:03 8m 23s master
master
January 27, 2024 15:03 8m 23s
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