Skip to content

Actions: Beluga-lang/Beluga

Actions

Build and deploy internal HTML documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-deploy-html-documentation.yml
13 workflow runs
13 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
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
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
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
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
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
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
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
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
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
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
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
Rename "scope" operations to "frame" operations Build and deploy internal HTML documentation #20: Commit 38a45e8 pushed by MartyO256
December 21, 2023 03:33 8m 11s master
master
December 21, 2023 03:33 8m 11s