Skip to content

Actions: GaloisInc/cryptol

Actions

Cryptol Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
413 workflow runs
413 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1760 from GaloisInc/issue-611 Cryptol Docs #442: Commit b74e5a6 pushed by mccleeary-galois
October 2, 2024 16:32 2m 39s master
master
October 2, 2024 16:32 2m 39s
Add documentation for :dumptests via a new section in the High Assurance chapter of Programming in Cryptol Book Cryptol Docs #441: Pull request #1760 synchronize by mccleeary-galois
October 2, 2024 16:02 4m 53s issue-611
issue-611
October 2, 2024 16:02 4m 53s
Add documentation for :dumptests via a new section in the High Assurance chapter of Programming in Cryptol Book Cryptol Docs #440: Pull request #1760 synchronize by mccleeary-galois
October 2, 2024 16:01 2m 56s issue-611
issue-611
October 2, 2024 16:01 2m 56s
renderOneLine should render to one line (#1759) Cryptol Docs #439: Commit c7504ea pushed by glguy
October 1, 2024 23:05 2m 46s master
master
October 1, 2024 23:05 2m 46s
Add documentation for :dumptests via a new section in the High Assurance chapter of Programming in Cryptol Book Cryptol Docs #438: Pull request #1760 synchronize by mccleeary-galois
October 1, 2024 20:12 4m 10s issue-611
issue-611
October 1, 2024 20:12 4m 10s
renderOneLine should render to one line Cryptol Docs #437: Pull request #1759 synchronize by glguy
October 1, 2024 20:10 2m 54s renderOneLine
renderOneLine
October 1, 2024 20:10 2m 54s
renderOneLine should render to one line Cryptol Docs #436: Pull request #1759 synchronize by glguy
October 1, 2024 19:04 2m 56s renderOneLine
renderOneLine
October 1, 2024 19:04 2m 56s
Add documentation for :dumptests via a new section in the High Assurance chapter of Programming in Cryptol Book Cryptol Docs #435: Pull request #1760 opened by mccleeary-galois
October 1, 2024 17:27 2m 58s issue-611
issue-611
October 1, 2024 17:27 2m 58s
renderOneLine should render to one line Cryptol Docs #434: Pull request #1759 opened by glguy
October 1, 2024 16:43 2m 51s renderOneLine
renderOneLine
October 1, 2024 16:43 2m 51s
Correctly detect top-level parameterized modules in modules() API cal… Cryptol Docs #433: Commit 1369ce3 pushed by glguy
September 30, 2024 17:53 2m 45s master
master
September 30, 2024 17:53 2m 45s
Correctly detect top-level parameterized modules in modules() API call Cryptol Docs #432: Pull request #1758 synchronize by glguy
September 30, 2024 16:40 5m 4s issue#1756
issue#1756
September 30, 2024 16:40 5m 4s
Correctly detect top-level parameterized modules in modules() API call Cryptol Docs #431: Pull request #1758 synchronize by glguy
September 30, 2024 16:38 3m 10s issue#1756
issue#1756
September 30, 2024 16:38 3m 10s
Correctly detect top-level parameterized modules in modules() API call Cryptol Docs #430: Pull request #1758 opened by glguy
September 30, 2024 16:21 2m 45s issue#1756
issue#1756
September 30, 2024 16:21 2m 45s
Allow doctests to span multiple lines with a trailing \ like the REPL… Cryptol Docs #429: Commit 8cd51e8 pushed by glguy
September 27, 2024 20:24 1m 49s master
master
September 27, 2024 20:24 1m 49s
Allow doctests to span multiple lines with a trailing \ like the REPL already supports Cryptol Docs #428: Pull request #1757 synchronize by glguy
September 27, 2024 18:50 2m 41s docstring-line-wrap
docstring-line-wrap
September 27, 2024 18:50 2m 41s
Allow doctests to span multiple lines with a trailing \ like the REPL already supports Cryptol Docs #427: Pull request #1757 opened by glguy
September 27, 2024 18:45 2m 47s docstring-line-wrap
docstring-line-wrap
September 27, 2024 18:45 2m 47s
Merge pull request #1754 from GaloisInc/add-book-ci Cryptol Docs #426: Commit 5089ad3 pushed by marsella
September 20, 2024 19:00 2m 46s master
master
September 20, 2024 19:00 2m 46s
ci: add a check for the cryptol book pdf Cryptol Docs #425: Pull request #1754 synchronize by marsella
September 20, 2024 17:05 2m 54s add-book-ci
add-book-ci
September 20, 2024 17:05 2m 54s
Add a modules() method to the cryptol python api for listing modules … Cryptol Docs #424: Commit c2e3772 pushed by glguy
September 20, 2024 16:53 2m 50s master
master
September 20, 2024 16:53 2m 50s
Add a modules() method to the cryptol python api for listing modules and their documentation Cryptol Docs #423: Pull request #1755 synchronize by glguy
September 20, 2024 16:06 2m 54s cryptol-remote-api-list-modules
cryptol-remote-api-list-modules
September 20, 2024 16:06 2m 54s
Add a modules() method to the cryptol python api for listing modules and their documentation Cryptol Docs #422: Pull request #1755 synchronize by glguy
September 20, 2024 00:23 2m 54s cryptol-remote-api-list-modules
cryptol-remote-api-list-modules
September 20, 2024 00:23 2m 54s
Add a modules() method to the cryptol python api for listing modules and their documentation Cryptol Docs #421: Pull request #1755 synchronize by glguy
September 19, 2024 22:41 2m 48s cryptol-remote-api-list-modules
cryptol-remote-api-list-modules
September 19, 2024 22:41 2m 48s
Add a modules() method to the cryptol python api for listing modules and their documentation Cryptol Docs #420: Pull request #1755 synchronize by glguy
September 19, 2024 22:27 4m 58s cryptol-remote-api-list-modules
cryptol-remote-api-list-modules
September 19, 2024 22:27 4m 58s
Add a modules() method to the cryptol python api for listing modules and their documentation Cryptol Docs #419: Pull request #1755 opened by glguy
September 19, 2024 22:26 2m 57s cryptol-remote-api-list-modules
cryptol-remote-api-list-modules
September 19, 2024 22:26 2m 57s
ci: add a check for the cryptol book pdf Cryptol Docs #418: Pull request #1754 opened by marsella
September 19, 2024 21:18 2m 53s add-book-ci
add-book-ci
September 19, 2024 21:18 2m 53s