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
31 workflow runs
31 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
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
Flush the output buffer on every call to Chatter.print Build and deploy internal HTML documentation #19: Commit 2e24420 pushed by MartyO256
December 5, 2023 02:41 8m 30s master
master
December 5, 2023 02:41 8m 30s
Only add the latest bindings in Binding_tree.add_all Build and deploy internal HTML documentation #18: Commit e5adcb9 pushed by MartyO256
November 6, 2023 18:56 13m 30s master
master
November 6, 2023 18:56 13m 30s
Add Harpoon test for postponed fixity pragmas Build and deploy internal HTML documentation #17: Commit fbcc898 pushed by MartyO256
October 25, 2023 15:59 7m 45s master
master
October 25, 2023 15:59 7m 45s
Handle postponed fixity pragmas in Harpoon sessions Build and deploy internal HTML documentation #16: Commit a36785b pushed by MartyO256
October 24, 2023 20:34 7m 49s master
master
October 24, 2023 20:34 7m 49s
Add missing breaking change with LF type and term constant declarations Build and deploy internal HTML documentation #15: Commit 13fdfe4 pushed by MartyO256
October 20, 2023 18:21 15m 37s master
master
October 20, 2023 18:21 15m 37s
Update changelog for v1.1.1 Build and deploy internal HTML documentation #14: Commit 21c2f05 pushed by MartyO256
September 12, 2023 18:44 7m 32s master
master
September 12, 2023 18:44 7m 32s
Rename postponed fixity pragma constructors Build and deploy internal HTML documentation #13: Commit 54181ec pushed by MartyO256
September 11, 2023 23:59 12m 56s master
master
September 11, 2023 23:59 12m 56s
Add hook 'ansi-color-compilation-filter Build and deploy internal HTML documentation #12: Commit addf92f pushed by MartyO256
August 14, 2023 23:10 5m 12s master
master
August 14, 2023 23:10 5m 12s
Fix typo in error message Build and deploy internal HTML documentation #11: Commit 0b63c5f pushed by MartyO256
August 10, 2023 00:38 5m 41s master
master
August 10, 2023 00:38 5m 41s
Reorganize test cases Build and deploy internal HTML documentation #10: Commit e3254fc pushed by MartyO256
August 5, 2023 02:09 12m 18s master
master
August 5, 2023 02:09 12m 18s
Use cmp instead of diff for checking file differences Build and deploy internal HTML documentation #9: Commit 152bbe1 pushed by MartyO256
August 5, 2023 02:07 6m 27s master
master
August 5, 2023 02:07 6m 27s
Revert change from printf to echo Build and deploy internal HTML documentation #8: Commit eb9f3ce pushed by MartyO256
August 4, 2023 01:36 15m 13s master
master
August 4, 2023 01:36 15m 13s
Revert the change from . to ./beluga.opam for creating switches Build and deploy internal HTML documentation #7: Commit 73c2d9f pushed by MartyO256
August 3, 2023 23:42 10m 11s master
master
August 3, 2023 23:42 10m 11s