Skip to content

Actions: just-max/less-power

Run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
216 workflow runs
216 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Grading: don't swallow exceptions
Run tests #202: Pull request #24 opened by just-max
August 9, 2024 19:09 6m 25s grading-no-swallow
August 9, 2024 19:09 6m 25s
grading: don't swallow exceptions
Run tests #200: Commit d066e02 pushed by just-max
August 9, 2024 19:08 6m 46s grading-no-swallow
August 9, 2024 19:08 6m 46s
Run tests
Run tests #199: Scheduled
August 5, 2024 02:03 6m 44s main
August 5, 2024 02:03 6m 44s
wip: try to automatically create type equalities
Run tests #198: Commit bb64317 pushed by just-max
August 3, 2024 21:30 7m 6s sig-builder-auto-eq
August 3, 2024 21:30 7m 6s
Run tests
Run tests #195: Scheduled
July 29, 2024 02:03 6m 31s main
July 29, 2024 02:03 6m 31s
Run tests
Run tests #194: Scheduled
July 22, 2024 02:04 6m 38s main
July 22, 2024 02:04 6m 38s
documentation fixes
Run tests #193: Commit 9076885 pushed by just-max
July 15, 2024 04:28 7m 11s main
July 15, 2024 04:28 7m 11s
qcheck util: disable backtraces in qcheck tests
Run tests #192: Commit 0f8987d pushed by just-max
July 15, 2024 03:32 6m 31s main
July 15, 2024 03:32 6m 31s
Add thread counter (#21)
Run tests #191: Commit e47c06d pushed by just-max
July 15, 2024 03:29 6m 47s main
July 15, 2024 03:29 6m 47s
Thread counter
Run tests #190: Pull request #21 synchronize by just-max
July 15, 2024 03:13 7m 5s thread-counter
July 15, 2024 03:13 7m 5s
use Mutex.protect directly
Run tests #189: Commit 464b03e pushed by just-max
July 15, 2024 03:13 6m 52s thread-counter
July 15, 2024 03:13 6m 52s
Stdlib variants: better names, structure, and an alerting thread/even…
Run tests #188: Commit 6870040 pushed by just-max
July 15, 2024 02:55 6m 22s main
July 15, 2024 02:55 6m 22s
Ctxlib: Move exn_info into Common, move syntax into submodule (#20)
Run tests #184: Commit 5d0f9be pushed by just-max
July 15, 2024 02:39 7m 0s main
July 15, 2024 02:39 7m 0s
Ctxlib: Move exn_info into Common, move syntax into submodule
Run tests #183: Pull request #20 synchronize by just-max
July 15, 2024 02:23 6m 58s ctxlib-updates
July 15, 2024 02:23 6m 58s
qcheck/ounitutil tweaks
Run tests #182: Commit 14ed557 pushed by just-max
July 15, 2024 02:22 6m 59s ctxlib-updates
July 15, 2024 02:22 6m 59s
Test Runner: Add Option to Control OUnit Parallelism (#19)
Run tests #181: Commit fcec91f pushed by just-max
July 15, 2024 02:14 6m 25s main
July 15, 2024 02:14 6m 25s
Thread counter
Run tests #180: Pull request #21 opened by just-max
July 15, 2024 02:12 6m 22s thread-counter
July 15, 2024 02:12 6m 22s
thread counter: futher split out api
Run tests #179: Commit f0047cc pushed by just-max
July 15, 2024 02:11 6m 23s thread-counter
July 15, 2024 02:11 6m 23s
Ctxlib: Move exn_info into Common, move syntax into submodule
Run tests #178: Pull request #20 opened by just-max
July 15, 2024 02:07 6m 37s ctxlib-updates
July 15, 2024 02:07 6m 37s