Skip to content

Actions: mthom/scryer-prolog

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
918 workflow runs
918 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Documentation improvements for encoding(octet) option in several predicates CI #869: Pull request #2358 synchronize by triska
March 16, 2024 20:25 35m 38s triska:octet_documentation
triska:octet_documentation
March 16, 2024 20:25 35m 38s
Documentation improvements for encoding(octet) option in several predicates CI #868: Pull request #2358 opened by triska
March 16, 2024 19:41 30m 20s triska:octet_documentation
triska:octet_documentation
March 16, 2024 19:41 30m 20s
CI CI #867: Scheduled
March 13, 2024 00:54 39m 16s master
master
March 13, 2024 00:54 39m 16s
don't skip to end of pstr in CommaSeparatedCharList token variant (#2… CI #866: Commit 6f7f979 pushed by mthom
March 13, 2024 00:37 35m 48s master
master
March 13, 2024 00:37 35m 48s
Merge pull request #2357 from aarroyoc/update-website-0.9.4 CI #865: Commit ca8e280 pushed by mthom
March 12, 2024 22:46 33m 41s master
master
March 12, 2024 22:46 33m 41s
Website: link release v0.9.4 CI #864: Pull request #2357 opened by aarroyoc
March 12, 2024 21:26 29m 42s aarroyoc:update-website-0.9.4
aarroyoc:update-website-0.9.4
March 12, 2024 21:26 29m 42s
CI CI #863: Scheduled
March 6, 2024 00:53 31m 5s master
master
March 6, 2024 00:53 31m 5s
recompile original terms from compile_clause for term to term expansi… CI #862: Commit df41eb1 pushed by mthom
March 2, 2024 01:57 32m 0s master
master
March 2, 2024 01:57 32m 0s
Merge pull request #2354 from triska/side_channel CI #861: Commit 90c602f pushed by mthom
March 1, 2024 23:11 30m 53s master
master
March 1, 2024 23:11 30m 53s
explain potential side-channel attacks due to compact string representation CI #860: Pull request #2354 opened by triska
March 1, 2024 21:05 42m 16s triska:side_channel
triska:side_channel
March 1, 2024 21:05 42m 16s
Merge pull request #2353 from triska/hmac_verification CI #859: Commit 8b16a0e pushed by mthom
March 1, 2024 19:09 31m 5s master
master
March 1, 2024 19:09 31m 5s
ENHANCED: Safe HMAC verification, using constant time string comparison. CI #858: Pull request #2353 opened by triska
March 1, 2024 17:49 32m 9s triska:hmac_verification
triska:hmac_verification
March 1, 2024 17:49 32m 9s
Merge pull request #2351 from infogulch/install-current-iai CI #857: Commit e0c8163 pushed by mthom
March 1, 2024 00:09 31m 59s master
master
March 1, 2024 00:09 31m 59s
Install version of iai-callgrind set in Cargo.toml CI #856: Pull request #2351 opened by infogulch
February 29, 2024 23:34 31m 22s infogulch:install-current-iai
infogulch:install-current-iai
February 29, 2024 23:34 31m 22s
make indexer downcast Integers to Fixnums when possible, be slightly … CI #855: Commit 42f4827 pushed by mthom
February 29, 2024 23:16 31m 34s master
master
February 29, 2024 23:16 31m 34s
add #2341 test to lib_machine.rs CI #854: Commit f2d3779 pushed by mthom
February 29, 2024 22:13 33m 57s master
master
February 29, 2024 22:13 33m 57s
use scryer-modular-bitfield on github, version bump CI #853: Commit b70f121 pushed by mthom
February 29, 2024 17:13 42m 56s master
master
February 29, 2024 17:13 42m 56s
CI CI #852: by mthom
February 29, 2024 17:09 34m 8s v0.9.4
v0.9.4
February 29, 2024 17:09 34m 8s
fix misuse of TypeError trait while fixing #2345 CI #851: Commit 6417658 pushed by mthom
February 29, 2024 03:47 29m 35s master
master
February 29, 2024 03:47 29m 35s
issue callable type error from dynamic_module_resolution if module is… CI #850: Commit ba362e2 pushed by mthom
February 29, 2024 03:35 30m 9s master
master
February 29, 2024 03:35 30m 9s
Merge pull request #2309 from coasys/library-use-case CI #849: Commit 84d5ce0 pushed by mthom
February 28, 2024 21:34 32m 56s master
master
February 28, 2024 21:34 32m 56s
CI CI #848: Scheduled
February 28, 2024 00:52 22m 15s master
master
February 28, 2024 00:52 22m 15s
Merge pull request #2342 from triska/curve_doc CI #847: Commit 419623d pushed by mthom
February 24, 2024 21:53 20m 28s master
master
February 24, 2024 21:53 20m 28s
DOC: Add DocLog comments for reasoning about elliptic curves. CI #846: Pull request #2342 opened by triska
February 24, 2024 19:49 22m 29s triska:curve_doc
triska:curve_doc
February 24, 2024 19:49 22m 29s
Merge pull request #2338 from triska/hmac CI #845: Commit c7934ca pushed by mthom
February 22, 2024 21:48 20m 32s master
master
February 22, 2024 21:48 20m 32s