Skip to content

Actions: Seelengrab/Supposition.jl

Actions

Nightly

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nightly.yml
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly Nightly #247: Scheduled
May 26, 2025 03:14 3m 22s main
main
May 26, 2025 03:14 3m 22s
Ensure 1.8 still works Nightly #246: Commit c37e282 pushed by Seelengrab
May 24, 2025 09:40 3m 31s feat/detect_determinism
feat/detect_determinism
May 24, 2025 09:40 3m 31s
Add tests for nondeterminism feature Nightly #245: Commit 57dfe15 pushed by Seelengrab
May 24, 2025 09:32 3m 28s feat/detect_determinism
feat/detect_determinism
May 24, 2025 09:32 3m 28s
Add tests for nondeterminism feature Nightly #244: Commit 3f390c1 pushed by Seelengrab
May 24, 2025 09:24 3m 20s feat/detect_determinism
feat/detect_determinism
May 24, 2025 09:24 3m 20s
Nightly Nightly #243: Scheduled
May 19, 2025 03:15 3m 19s main
main
May 19, 2025 03:15 3m 19s
Use correct branch for badge Nightly #242: Commit 23ec8f6 pushed by Seelengrab
May 12, 2025 20:06 3m 21s main
main
May 12, 2025 20:06 3m 21s
Add badge explanation to README Nightly #241: Commit 88ca713 pushed by Seelengrab
May 12, 2025 19:59 3m 19s main
main
May 12, 2025 19:59 3m 19s
Add promotion badge Nightly #240: Commit f56cb45 pushed by Seelengrab
May 12, 2025 19:47 3m 15s main
main
May 12, 2025 19:47 3m 15s
Improve macro hygiene of @check Nightly #239: Commit 82017cc pushed by Seelengrab
May 12, 2025 15:50 3m 19s main
main
May 12, 2025 15:50 3m 19s
Improve macro hygiene of @check Nightly #238: Commit 82017cc pushed by Seelengrab
May 12, 2025 15:35 3m 18s feat/fix_hygiene_69
feat/fix_hygiene_69
May 12, 2025 15:35 3m 18s
Nightly Nightly #237: Scheduled
May 12, 2025 03:11 3m 28s main
main
May 12, 2025 03:11 3m 28s
Fix broken matrix size test Nightly #236: Commit 03b70c5 pushed by Seelengrab
May 11, 2025 15:09 3m 33s feat/matrix_pos
feat/matrix_pos
May 11, 2025 15:09 3m 33s
Add statistics to verbose printing of SuppositionReport Nightly #235: Commit 577feec pushed by Seelengrab
May 11, 2025 15:08 3m 16s main
main
May 11, 2025 15:08 3m 16s
Add counterexample userfacing API Nightly #234: Commit 8c11af7 pushed by Seelengrab
May 6, 2025 18:30 3m 19s feat/counterexample_api
feat/counterexample_api
May 6, 2025 18:30 3m 19s
Nightly Nightly #233: Scheduled
May 5, 2025 03:10 2m 50s main
main
May 5, 2025 03:10 2m 50s
Add counterexample userfacing API Nightly #232: Commit 15fdc9c pushed by Seelengrab
May 4, 2025 12:50 2m 53s feat/counterexample_api
feat/counterexample_api
May 4, 2025 12:50 2m 53s
Add tracking of target!ed improvements to statistics Nightly #231: Commit f771c7e pushed by Seelengrab
May 4, 2025 07:37 3m 19s feat/statistics
feat/statistics
May 4, 2025 07:37 3m 19s
Add statistics API to userfacing docs Nightly #230: Commit 14c1cd1 pushed by Seelengrab
May 3, 2025 14:22 3m 19s feat/statistics
feat/statistics
May 3, 2025 14:22 3m 19s
Nightly Nightly #229: Scheduled
April 28, 2025 03:07 2m 44s main
main
April 28, 2025 03:07 2m 44s
Move tracking of total duration to Stats Nightly #228: Commit 5395209 pushed by Seelengrab
April 21, 2025 19:34 3m 14s feat/statistics
feat/statistics
April 21, 2025 19:34 3m 14s
Use correct stats interface in the docs & clarify wording Nightly #227: Commit 2d835cf pushed by Seelengrab
April 21, 2025 15:46 3m 16s feat/statistics
feat/statistics
April 21, 2025 15:46 3m 16s
Improve integration of statistics Nightly #226: Commit 5f51e43 pushed by Seelengrab
April 21, 2025 15:36 3m 18s feat/statistics
feat/statistics
April 21, 2025 15:36 3m 18s
Nightly Nightly #225: Scheduled
April 21, 2025 03:07 2m 54s main
main
April 21, 2025 03:07 2m 54s
Add basic tests for operations on statistics Nightly #224: Commit 43b62c8 pushed by Seelengrab
April 19, 2025 13:02 3m 26s feat/statistics
feat/statistics
April 19, 2025 13:02 3m 26s
Nightly Nightly #223: Scheduled
April 14, 2025 03:04 5m 10s main
main
April 14, 2025 03:04 5m 10s