Skip to content

Actions: GaloisInc/cryptol

Actions

Programming Cryptol PDF Update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cryptol Projects Programming Cryptol PDF Update #27: Pull request #1526 synchronize by glguy
November 22, 2024 23:26 1m 10s projects
projects
November 22, 2024 23:26 1m 10s
Fix freeVars calculation for TNominal Programming Cryptol PDF Update #26: Pull request #1774 opened by RyanGlScott
November 19, 2024 23:36 13s T1773-fix-TNominal-freeVars
T1773-fix-TNominal-freeVars
November 19, 2024 23:36 13s
CI: Switch from macos-12 to macos-13 Programming Cryptol PDF Update #25: Pull request #1770 opened by RyanGlScott
November 19, 2024 12:08 18s ci-macos-13
ci-macos-13
November 19, 2024 12:08 18s
Add CVE checks for Haskell & Python packages Programming Cryptol PDF Update #24: Pull request #1769 opened by mtullsen
November 17, 2024 01:12 14s tullsen/add-cve-checks
tullsen/add-cve-checks
November 17, 2024 01:12 14s
Allow doc comments on interface modules Programming Cryptol PDF Update #23: Pull request #1767 synchronize by sauclovian-g
November 14, 2024 23:37 15s 1766-interface-docstrings
1766-interface-docstrings
November 14, 2024 23:37 15s
Allow doc comments on interface modules Programming Cryptol PDF Update #22: Pull request #1767 synchronize by sauclovian-g
November 14, 2024 23:11 13s 1766-interface-docstrings
1766-interface-docstrings
November 14, 2024 23:11 13s
Fix doc-gen CI to not fail on the existsence of a non-mergeable PR. Programming Cryptol PDF Update #21: Pull request #1768 synchronize by kquick
November 14, 2024 21:41 18s build_doc_merge_fail
build_doc_merge_fail
November 14, 2024 21:41 18s
Fix doc-gen CI to not fail on the existsence of a non-mergeable PR. Programming Cryptol PDF Update #20: Pull request #1768 synchronize by kquick
November 14, 2024 21:39 18s build_doc_merge_fail
build_doc_merge_fail
November 14, 2024 21:39 18s
Fix doc-gen CI to not fail on the existsence of a non-mergeable PR. Programming Cryptol PDF Update #19: Pull request #1768 opened by kquick
November 14, 2024 21:34 47s build_doc_merge_fail
build_doc_merge_fail
November 14, 2024 21:34 47s
Allow doc comments on interface modules Programming Cryptol PDF Update #18: Pull request #1767 opened by sauclovian-g
November 14, 2024 20:12 16s 1766-interface-docstrings
1766-interface-docstrings
November 14, 2024 20:12 16s
Cryptol Projects Programming Cryptol PDF Update #17: Pull request #1526 synchronize by glguy
November 1, 2024 23:02 18s projects
projects
November 1, 2024 23:02 18s
Basic syntax highlighting for Cryptol in Emacs Programming Cryptol PDF Update #16: Pull request #1764 opened by kquick
October 31, 2024 03:27 14s dgb_1730344857-0
dgb_1730344857-0
October 31, 2024 03:27 14s
Add additional directories and files to .gitignore Programming Cryptol PDF Update #15: Pull request #1762 opened by kquick
October 27, 2024 19:25 13s gitignore_upd_kwq1
gitignore_upd_kwq1
October 27, 2024 19:25 13s
Add documentation for :dumptests via a new section in the High Assurance chapter of Programming in Cryptol Book Programming Cryptol PDF Update #14: Pull request #1760 synchronize by mccleeary-galois
October 2, 2024 16:02 19s issue-611
issue-611
October 2, 2024 16:02 19s
Add documentation for :dumptests via a new section in the High Assurance chapter of Programming in Cryptol Book Programming Cryptol PDF Update #13: Pull request #1760 synchronize by mccleeary-galois
October 2, 2024 16:01 16s issue-611
issue-611
October 2, 2024 16:01 16s
Add documentation for :dumptests via a new section in the High Assurance chapter of Programming in Cryptol Book Programming Cryptol PDF Update #12: Pull request #1760 synchronize by mccleeary-galois
October 1, 2024 20:12 16s issue-611
issue-611
October 1, 2024 20:12 16s
renderOneLine should render to one line Programming Cryptol PDF Update #11: Pull request #1759 synchronize by glguy
October 1, 2024 20:10 12s renderOneLine
renderOneLine
October 1, 2024 20:10 12s
renderOneLine should render to one line Programming Cryptol PDF Update #10: Pull request #1759 synchronize by glguy
October 1, 2024 19:04 15s renderOneLine
renderOneLine
October 1, 2024 19:04 15s
Add documentation for :dumptests via a new section in the High Assurance chapter of Programming in Cryptol Book Programming Cryptol PDF Update #9: Pull request #1760 opened by mccleeary-galois
October 1, 2024 17:27 13s issue-611
issue-611
October 1, 2024 17:27 13s
renderOneLine should render to one line Programming Cryptol PDF Update #8: Pull request #1759 opened by glguy
October 1, 2024 16:43 16s renderOneLine
renderOneLine
October 1, 2024 16:43 16s
Correctly detect top-level parameterized modules in modules() API call Programming Cryptol PDF Update #7: Pull request #1758 synchronize by glguy
September 30, 2024 16:40 13s issue#1756
issue#1756
September 30, 2024 16:40 13s
Correctly detect top-level parameterized modules in modules() API call Programming Cryptol PDF Update #6: Pull request #1758 synchronize by glguy
September 30, 2024 16:38 17s issue#1756
issue#1756
September 30, 2024 16:38 17s
Correctly detect top-level parameterized modules in modules() API call Programming Cryptol PDF Update #5: Pull request #1758 opened by glguy
September 30, 2024 16:21 14s issue#1756
issue#1756
September 30, 2024 16:21 14s
Allow doctests to span multiple lines with a trailing \ like the REPL already supports Programming Cryptol PDF Update #4: Pull request #1757 synchronize by glguy
September 27, 2024 18:50 14s docstring-line-wrap
docstring-line-wrap
September 27, 2024 18:50 14s
Allow doctests to span multiple lines with a trailing \ like the REPL already supports Programming Cryptol PDF Update #3: Pull request #1757 opened by glguy
September 27, 2024 18:45 13s docstring-line-wrap
docstring-line-wrap
September 27, 2024 18:45 13s