Skip to content

Actions: uncomputable/simfony

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
128 workflow runs
128 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: Add Windows CI Test #120: Commit c25d5f8 pushed by uncomputable
April 29, 2025 15:40 6m 17s 2025-04-windows-ci
2025-04-windows-ci
April 29, 2025 15:40 6m 17s
ci: Add Windows CI Test #119: Commit 5cd3743 pushed by uncomputable
April 29, 2025 15:36 6m 43s 2025-04-windows-ci
2025-04-windows-ci
April 29, 2025 15:36 6m 43s
fix: Clippy Test #118: Commit 23cd66e pushed by uncomputable
April 23, 2025 22:51 6m 54s 2025-04-disable-debug
2025-04-disable-debug
April 23, 2025 22:51 6m 54s
fix: Clippy Test #117: Commit 3188f74 pushed by uncomputable
April 23, 2025 22:44 6m 20s 2025-04-disable-debug
2025-04-disable-debug
April 23, 2025 22:44 6m 20s
Merge BlockstreamResearch/simfony#122: prepare for initial release Test #116: Commit 818f017 pushed by uncomputable
April 14, 2025 20:41 6m 21s master
master
April 14, 2025 20:41 6m 21s
Merge BlockstreamResearch/simfony#122: prepare for initial release Deploy Book on GitHub Pages #8: Commit 818f017 pushed by uncomputable
April 14, 2025 20:41 30s master
master
April 14, 2025 20:41 30s
Merge BlockstreamResearch/simfony#123: Add VSCode extension with synt… Deploy Book on GitHub Pages #7: Commit cf44cc3 pushed by uncomputable
April 14, 2025 20:18 32s master
master
April 14, 2025 20:18 32s
Merge BlockstreamResearch/simfony#123: Add VSCode extension with synt… Test #115: Commit cf44cc3 pushed by uncomputable
April 14, 2025 20:18 6m 56s master
master
April 14, 2025 20:18 6m 56s
test: try to decode encoded program Test #114: Commit cb1d82d pushed by uncomputable
April 5, 2025 06:33 2m 2s 2025-04-unification-error
2025-04-unification-error
April 5, 2025 06:33 2m 2s
wip: Reproduce error Test #113: Commit 55bc7f9 pushed by uncomputable
April 1, 2025 03:32 1m 30s 2025-04-unification-error
2025-04-unification-error
April 1, 2025 03:32 1m 30s
Merge BlockstreamResearch/simfony#116: Update simplicity Test #112: Commit 45c34f9 pushed by uncomputable
April 1, 2025 02:57 7m 37s master
master
April 1, 2025 02:57 7m 37s
Merge BlockstreamResearch/simfony#116: Update simplicity Deploy Book on GitHub Pages #6: Commit 45c34f9 pushed by uncomputable
April 1, 2025 02:57 27s master
master
April 1, 2025 02:57 27s
ci: Run tests on other platforms Test #111: Commit 0a974f1 pushed by uncomputable
March 28, 2025 17:01 7m 0s 2025-03-update-simplicity
2025-03-update-simplicity
March 28, 2025 17:01 7m 0s
ci: Run tests on other platforms Test #110: Commit 4a9a20d pushed by uncomputable
March 28, 2025 16:54 1m 25s 2025-03-update-simplicity
2025-03-update-simplicity
March 28, 2025 16:54 1m 25s
ci: Run tests on Mac OS Test #109: Commit ebb4c95 pushed by uncomputable
March 25, 2025 04:16 6m 27s 2025-03-update-simplicity
2025-03-update-simplicity
March 25, 2025 04:16 6m 27s
ci: Run tests on Mac OS Test #108: Commit a933e66 pushed by uncomputable
March 22, 2025 16:11 7m 7s 2025-03-update-simplicity
2025-03-update-simplicity
March 22, 2025 16:11 7m 7s
test: Check type error Test #107: Commit e4fc65b pushed by uncomputable
March 22, 2025 15:54 1m 25s 2025-03-update-simplicity
2025-03-update-simplicity
March 22, 2025 15:54 1m 25s
test: Check type error Test #106: Commit 9e2080f pushed by uncomputable
March 20, 2025 15:19 1m 30s 2025-03-update-simplicity
2025-03-update-simplicity
March 20, 2025 15:19 1m 30s
fix: Prune test programs Test #105: Commit 0f5a15d pushed by uncomputable
March 1, 2025 13:48 1m 34s 2025-03-update-simplicity
2025-03-update-simplicity
March 1, 2025 13:48 1m 34s
Merge BlockstreamResearch/simfony#113: Mark const methods Test #104: Commit a522ee4 pushed by uncomputable
March 1, 2025 12:58 6m 18s master
master
March 1, 2025 12:58 6m 18s
Merge BlockstreamResearch/simfony#113: Mark const methods Deploy Book on GitHub Pages #5: Commit a522ee4 pushed by uncomputable
March 1, 2025 12:58 31s master
master
March 1, 2025 12:58 31s
chore: Mark methods as const Test #103: Commit c0c62db pushed by uncomputable
February 25, 2025 15:43 6m 17s 2025-02-const
2025-02-const
February 25, 2025 15:43 6m 17s
Merge BlockstreamResearch/simfony#111: Update simplicity Deploy Book on GitHub Pages #4: Commit ab4cea1 pushed by uncomputable
February 1, 2025 18:19 39s master
master
February 1, 2025 18:19 39s
Merge BlockstreamResearch/simfony#111: Update simplicity Test #102: Commit ab4cea1 pushed by uncomputable
February 1, 2025 18:19 6m 30s master
master
February 1, 2025 18:19 6m 30s
chore: Update rust-simplicity Test #101: Commit d528401 pushed by uncomputable
January 30, 2025 19:57 6m 23s 2025-01-update
2025-01-update
January 30, 2025 19:57 6m 23s