Skip to content

Actions: just-max/less-power

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
558 workflow runs
558 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Build and deploy Docker image #99: Commit f0047cc pushed by just-max
July 15, 2024 02:11 2m 49s thread-counter
July 15, 2024 02:11 2m 49s
thread counter: futher split out api
Deploy odoc #126: Commit f0047cc pushed by just-max
July 15, 2024 02:11 6m 10s thread-counter
July 15, 2024 02:11 6m 10s
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
July 15, 2024 02:05 8m 41s
ctx util: move syntax into sub-module, and use Util.exn_info directly
Build and deploy Docker image #98: Commit 7368741 pushed by just-max
July 15, 2024 02:05 3m 9s ctxlib-updates
July 15, 2024 02:05 3m 9s
Run tests
Run tests #176: Scheduled
July 15, 2024 02:04 6m 23s main
July 15, 2024 02:04 6m 23s
qcheck/ounitutil tweaks
Deploy odoc #124: Commit 68e77ef pushed by just-max
July 15, 2024 01:48 6m 7s dep-07-13
July 15, 2024 01:48 6m 7s
qcheck/ounitutil tweaks
Build and deploy Docker image #97: Commit 68e77ef pushed by just-max
July 15, 2024 01:48 3m 2s dep-07-13
July 15, 2024 01:48 3m 2s
qcheck/ounitutil tweaks
Run tests #175: Commit 68e77ef pushed by just-max
July 15, 2024 01:48 6m 38s dep-07-13
July 15, 2024 01:48 6m 38s
pages build and deployment
pages-build-deployment #88: by github-pages bot
July 14, 2024 22:06 33s
July 14, 2024 22:06 33s
thread counter: futher split out api
Run tests #174: Commit bdc7410 pushed by just-max
July 14, 2024 22:00 6m 40s dep-07-13
July 14, 2024 22:00 6m 40s
thread counter: futher split out api
Build and deploy Docker image #96: Commit bdc7410 pushed by just-max
July 14, 2024 22:00 2m 54s dep-07-13
July 14, 2024 22:00 2m 54s
thread counter: futher split out api
Deploy odoc #123: Commit bdc7410 pushed by just-max
July 14, 2024 22:00 6m 13s dep-07-13
July 14, 2024 22:00 6m 13s
pages build and deployment
pages-build-deployment #87: by github-pages bot
July 14, 2024 17:50 28s
July 14, 2024 17:50 28s
thread counter: split out api
Deploy odoc #122: Commit d5dccdd pushed by just-max
July 14, 2024 17:44 6m 10s dep-07-13
July 14, 2024 17:44 6m 10s
thread counter: split out api
Build and deploy Docker image #95: Commit d5dccdd pushed by just-max
July 14, 2024 17:44 3m 1s dep-07-13
July 14, 2024 17:44 3m 1s
thread counter: split out api
Run tests #173: Commit d5dccdd pushed by just-max
July 14, 2024 17:44 6m 25s dep-07-13
July 14, 2024 17:44 6m 25s
pages build and deployment
pages-build-deployment #86: by github-pages bot
July 14, 2024 04:58 29s
July 14, 2024 04:58 29s
thread counter: rework the implementation to avoid stray threads
Run tests #172: Commit e4e6dc0 pushed by just-max
July 14, 2024 04:52 6m 22s dep-07-13
July 14, 2024 04:52 6m 22s
thread counter: rework the implementation to avoid stray threads
Deploy odoc #121: Commit e4e6dc0 pushed by just-max
July 14, 2024 04:52 5m 51s dep-07-13
July 14, 2024 04:52 5m 51s
thread counter: rework the implementation to avoid stray threads
Build and deploy Docker image #94: Commit e4e6dc0 pushed by just-max
July 14, 2024 04:52 3m 2s dep-07-13
July 14, 2024 04:52 3m 2s
contextlib: use Mutex.protect
Build and deploy Docker image #93: Commit 12f6ba7 pushed by just-max
July 13, 2024 16:51 3m 3s dep-07-13
July 13, 2024 16:51 3m 3s