Skip to content

Actions: GaloisInc/cryptol

Actions

Cryptol

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
869 workflow run results
869 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cryptol Cryptol #3156: Scheduled
March 6, 2025 10:01 31m 11s master
master
March 6, 2025 10:01 31m 11s
Cryptol Cryptol #3155: Scheduled
March 5, 2025 10:01 29m 33s master
master
March 5, 2025 10:01 29m 33s
Merge pull request #1819 from GaloisInc/dm/issue1796 Cryptol #3154: Commit 15b532e pushed by danmatichuk
March 4, 2025 22:33 20m 48s master
master
March 4, 2025 22:33 20m 48s
improvements to source locations for error reporting Cryptol #3153: Pull request #1821 synchronize by danmatichuk
March 4, 2025 22:14 24m 12s dm/issue-1744
dm/issue-1744
March 4, 2025 22:14 24m 12s
improve exhaustiveness check by attempting each guard as the consequent Cryptol #3152: Pull request #1819 synchronize by danmatichuk
March 4, 2025 18:42 18m 39s dm/issue1796
dm/issue1796
March 4, 2025 18:42 18m 39s
Cryptol Cryptol #3151: Scheduled
March 4, 2025 10:01 1h 9m 45s master
master
March 4, 2025 10:01 1h 9m 45s
improvements to source locations for error reporting Cryptol #3150: Pull request #1821 opened by danmatichuk
March 4, 2025 00:50 23m 34s dm/issue-1744
dm/issue-1744
March 4, 2025 00:50 23m 34s
Merge pull request #1818 from GaloisInc/dm/issue1798 Cryptol #3149: Commit 3988589 pushed by danmatichuk
March 3, 2025 22:33 27m 17s master
master
March 3, 2025 22:33 27m 17s
improve exhaustiveness check by attempting each guard as the consequent Cryptol #3148: Pull request #1819 synchronize by danmatichuk
March 3, 2025 22:32 25m 11s dm/issue1796
dm/issue1796
March 3, 2025 22:32 25m 11s
add source spans to exhaustivity warnings Cryptol #3147: Pull request #1818 synchronize by danmatichuk
March 3, 2025 20:00 21m 12s dm/issue1798
dm/issue1798
March 3, 2025 20:00 21m 12s
improve exhaustiveness check by attempting each guard as the consequent Cryptol #3146: Pull request #1819 synchronize by danmatichuk
March 3, 2025 19:47 24m 40s dm/issue1796
dm/issue1796
March 3, 2025 19:47 24m 40s
Cryptol Cryptol #3145: Scheduled
March 3, 2025 10:02 31m 53s master
master
March 3, 2025 10:02 31m 53s
Cryptol Cryptol #3144: Scheduled
March 2, 2025 10:01 27m 14s master
master
March 2, 2025 10:01 27m 14s
Cryptol Cryptol #3143: Scheduled
March 1, 2025 10:01 28m 45s master
master
March 1, 2025 10:01 28m 45s
improve exhaustiveness check by attempting each guard as the consequent Cryptol #3142: Pull request #1819 synchronize by danmatichuk
February 28, 2025 23:51 21m 31s dm/issue1796
dm/issue1796
February 28, 2025 23:51 21m 31s
improve exhaustiveness check by attempting each guard as the consequent Cryptol #3141: Pull request #1819 synchronize by danmatichuk
February 28, 2025 22:43 28m 46s dm/issue1796
dm/issue1796
February 28, 2025 22:43 28m 46s
improve exhaustiveness check by attempting each guard as the consequent Cryptol #3140: Pull request #1819 opened by danmatichuk
February 28, 2025 22:40 28m 19s dm/issue1796
dm/issue1796
February 28, 2025 22:40 28m 19s
add source spans to exhaustivity warnings Cryptol #3139: Pull request #1818 synchronize by danmatichuk
February 28, 2025 22:38 26m 11s dm/issue1798
dm/issue1798
February 28, 2025 22:38 26m 11s
add source spans to exhaustivity warnings Cryptol #3138: Pull request #1818 opened by danmatichuk
February 28, 2025 21:40 24m 43s dm/issue1798
dm/issue1798
February 28, 2025 21:40 24m 43s
Merge pull request #1816 from GaloisInc/dm/issue-1808 Cryptol #3137: Commit 85d35cc pushed by danmatichuk
February 28, 2025 21:17 21m 36s master
master
February 28, 2025 21:17 21m 36s
add special cases to handle setting timeouts for SBV-based solvers Cryptol #3136: Pull request #1816 synchronize by danmatichuk
February 28, 2025 20:24 20m 38s dm/issue-1808
dm/issue-1808
February 28, 2025 20:24 20m 38s
Cryptol Cryptol #3135: Scheduled
February 28, 2025 10:02 1h 11m 2s master
master
February 28, 2025 10:02 1h 11m 2s
add special cases to handle setting timeouts for SBV-based solvers Cryptol #3134: Pull request #1816 synchronize by danmatichuk
February 27, 2025 23:21 23m 33s dm/issue-1808
dm/issue-1808
February 27, 2025 23:21 23m 33s
add special cases to handle setting timeouts for SBV-based solvers Cryptol #3133: Pull request #1816 synchronize by danmatichuk
February 27, 2025 23:00 22m 0s dm/issue-1808
dm/issue-1808
February 27, 2025 23:00 22m 0s
add special cases to handle setting timeouts for SBV-based solvers Cryptol #3132: Pull request #1816 opened by danmatichuk
February 27, 2025 22:27 56m 34s dm/issue-1808
dm/issue-1808
February 27, 2025 22:27 56m 34s