Skip to content

Actions: Wilfred/bfc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Revert "Improve dead code elimination" Deploy Website #74: Commit 353a424 pushed by Wilfred
September 17, 2023 23:27 39s master
master
September 17, 2023 23:27 39s
Revert "Improve dead code elimination" Coverage #89: Commit 353a424 pushed by Wilfred
September 17, 2023 23:27 1m 14s master
master
September 17, 2023 23:27 1m 14s
Revert "Improve dead code elimination" build and test #50: Commit 353a424 pushed by Wilfred
September 17, 2023 23:27 4m 7s master
master
September 17, 2023 23:27 4m 7s
Add justfile to automate release build and test #49: Commit 5c9ff23 pushed by Wilfred
September 17, 2023 23:25 4m 41s master
master
September 17, 2023 23:25 4m 41s
Add justfile to automate release Deploy Website #73: Commit 5c9ff23 pushed by Wilfred
September 17, 2023 23:25 42s master
master
September 17, 2023 23:25 42s
Add justfile to automate release Coverage #88: Commit 5c9ff23 pushed by Wilfred
September 17, 2023 23:25 1m 43s master
master
September 17, 2023 23:25 1m 43s
Avoid unnecesary copies in annotate_known_zero build and test #48: Commit 9d6ca36 pushed by Wilfred
June 18, 2023 04:16 3m 17s master
master
June 18, 2023 04:16 3m 17s
Avoid unnecesary copies in annotate_known_zero Deploy Website #72: Commit 9d6ca36 pushed by Wilfred
June 18, 2023 04:16 38s master
master
June 18, 2023 04:16 38s
Avoid unnecesary copies in annotate_known_zero Coverage #87: Commit 9d6ca36 pushed by Wilfred
June 18, 2023 04:16 1m 28s master
master
June 18, 2023 04:16 1m 28s
Remove irrelevant badge Coverage #86: Commit 4ce23d4 pushed by Wilfred
June 18, 2023 03:58 1m 20s master
master
June 18, 2023 03:58 1m 20s
Remove irrelevant badge Deploy Website #71: Commit 4ce23d4 pushed by Wilfred
June 18, 2023 03:58 37s master
master
June 18, 2023 03:58 37s
Remove irrelevant badge build and test #47: Commit 4ce23d4 pushed by Wilfred
June 18, 2023 03:58 3m 52s master
master
June 18, 2023 03:58 3m 52s
Add an example of MultiplyMove Deploy Website #70: Commit 24f93f1 pushed by Wilfred
June 18, 2023 03:57 38s master
master
June 18, 2023 03:57 38s
Add an example of MultiplyMove Coverage #85: Commit 24f93f1 pushed by Wilfred
June 18, 2023 03:57 1m 33s master
master
June 18, 2023 03:57 1m 33s
Add an example of MultiplyMove build and test #46: Commit 24f93f1 pushed by Wilfred
June 18, 2023 03:57 3m 17s master
master
June 18, 2023 03:57 3m 17s
pages build and deployment pages-build-deployment #11: by github-pages bot
June 17, 2023 17:41 45s
June 17, 2023 17:41 45s
Next release will be 1.12 Coverage #84: Commit eb1573d pushed by Wilfred
June 17, 2023 17:40 1m 19s master
master
June 17, 2023 17:40 1m 19s
Next release will be 1.12 build and test #45: Commit eb1573d pushed by Wilfred
June 17, 2023 17:40 3m 22s master
master
June 17, 2023 17:40 3m 22s
Next release will be 1.12 Deploy Website #69: Commit eb1573d pushed by Wilfred
June 17, 2023 17:40 41s master
master
June 17, 2023 17:40 41s
Add a quickcheck test to ensure that positions do not affect optimisa… Coverage #83: Commit d81c8c5 pushed by Wilfred
June 17, 2023 17:39 1m 17s master
master
June 17, 2023 17:39 1m 17s
Add a quickcheck test to ensure that positions do not affect optimisa… build and test #44: Commit d81c8c5 pushed by Wilfred
June 17, 2023 17:39 3m 27s master
master
June 17, 2023 17:39 3m 27s
Add a quickcheck test to ensure that positions do not affect optimisa… Deploy Website #68: Commit d81c8c5 pushed by Wilfred
June 17, 2023 17:39 35s master
master
June 17, 2023 17:39 35s
pages build and deployment pages-build-deployment #10: by github-pages bot
June 17, 2023 16:59 51s
June 17, 2023 16:59 51s
Treat the website as the source of truth for the changelog Coverage #82: Commit b537bbd pushed by Wilfred
June 17, 2023 16:58 1m 36s master
master
June 17, 2023 16:58 1m 36s
Treat the website as the source of truth for the changelog build and test #43: Commit b537bbd pushed by Wilfred
June 17, 2023 16:58 4m 6s master
master
June 17, 2023 16:58 4m 6s