Skip to content

Actions: OCamlPro/autofonce

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Fix wrong simplification Main Workflow #120: Commit 5ee97c2 pushed by lefessan
January 25, 2024 22:59 9m 34s master
master
January 25, 2024 22:59 9m 34s
Remove duplicate --diff option to fix 'autofonce rst' Main Workflow #119: Commit 2f69a2d pushed by lefessan
January 20, 2024 15:19 14m 16s master
master
January 20, 2024 15:19 14m 16s
Merge pull request #38 from lefessan/z-2023-12-18-win32 Main Workflow #118: Commit 77d6c7f pushed by lefessan
January 9, 2024 08:27 4m 52s master
master
January 9, 2024 08:27 4m 52s
begin win32 support Main Workflow #117: Pull request #38 synchronize by lefessan
January 8, 2024 21:36 7m 51s lefessan:z-2023-12-18-win32
lefessan:z-2023-12-18-win32
January 8, 2024 21:36 7m 51s
begin win32 support Main Workflow #116: Pull request #38 synchronize by lefessan
January 5, 2024 15:03 7m 25s lefessan:z-2023-12-18-win32
lefessan:z-2023-12-18-win32
January 5, 2024 15:03 7m 25s
begin win32 support Main Workflow #115: Pull request #38 synchronize by lefessan
January 5, 2024 14:59 7m 59s lefessan:z-2023-12-18-win32
lefessan:z-2023-12-18-win32
January 5, 2024 14:59 7m 59s
Merge pull request #37 from lefessan/z-2023-10-13-fixes Main Workflow #114: Commit d86ccbb pushed by lefessan
December 18, 2023 22:34 21m 58s master
master
December 18, 2023 22:34 21m 58s
begin win32 support Main Workflow #113: Pull request #38 opened by lefessan
December 18, 2023 22:33 18m 3s lefessan:z-2023-12-18-win32
lefessan:z-2023-12-18-win32
December 18, 2023 22:33 18m 3s
Escape parens and fix promotion Main Workflow #112: Pull request #37 synchronize by lefessan
October 19, 2023 22:08 17m 58s lefessan:z-2023-10-13-fixes
lefessan:z-2023-10-13-fixes
October 19, 2023 22:08 17m 58s
Escape parens and fix promotion Main Workflow #111: Pull request #37 opened by lefessan
October 13, 2023 12:49 39m 2s lefessan:z-2023-10-13-fixes
lefessan:z-2023-10-13-fixes
October 13, 2023 12:49 39m 2s
Merge pull request #36 from lefessan/z-2023-09-20-clean-interface Main Workflow #110: Commit 7f20bc0 pushed by lefessan
September 24, 2023 20:17 21m 51s master
master
September 24, 2023 20:17 21m 51s
Cleanup interface of autofonce_lib Main Workflow #109: Pull request #36 opened by lefessan
September 20, 2023 07:35 24m 25s lefessan:z-2023-09-20-clean-interface
lefessan:z-2023-09-20-clean-interface
September 20, 2023 07:35 24m 25s
Merge pull request #34 from lefessan/z-2023-07-04-v1-and-more-args Main Workflow #108: Commit e982321 pushed by lefessan
July 5, 2023 21:37 14m 25s master
master
July 5, 2023 21:37 14m 25s
Improve compatibility with Autoconf Main Workflow #107: Pull request #34 synchronize by lefessan
July 5, 2023 18:48 15m 0s lefessan:z-2023-07-04-v1-and-more-args
lefessan:z-2023-07-04-v1-and-more-args
July 5, 2023 18:48 15m 0s
Improve compatibility with Autoconf Main Workflow #106: Pull request #34 opened by lefessan
July 5, 2023 17:23 13m 17s lefessan:z-2023-07-04-v1-and-more-args
lefessan:z-2023-07-04-v1-and-more-args
July 5, 2023 17:23 13m 17s
Merge pull request #31 from lefessan/z-2023-07-04-v1-and-more-args Main Workflow #105: Commit be74fd9 pushed by lefessan
July 5, 2023 10:16 21m 47s master
master
July 5, 2023 10:16 21m 47s
v1 and more args Main Workflow #104: Pull request #31 synchronize by lefessan
July 5, 2023 09:47 14m 36s lefessan:z-2023-07-04-v1-and-more-args
lefessan:z-2023-07-04-v1-and-more-args
July 5, 2023 09:47 14m 36s
v1 and more args Main Workflow #103: Pull request #31 synchronize by lefessan
July 5, 2023 09:38 11m 56s lefessan:z-2023-07-04-v1-and-more-args
lefessan:z-2023-07-04-v1-and-more-args
July 5, 2023 09:38 11m 56s
v1 and more args Main Workflow #102: Pull request #31 synchronize by lefessan
July 5, 2023 07:18 6m 0s lefessan:z-2023-07-04-v1-and-more-args
lefessan:z-2023-07-04-v1-and-more-args
July 5, 2023 07:18 6m 0s
v1 and more args Main Workflow #101: Pull request #31 synchronize by lefessan
July 3, 2023 22:17 12m 7s lefessan:z-2023-07-04-v1-and-more-args
lefessan:z-2023-07-04-v1-and-more-args
July 3, 2023 22:17 12m 7s
v1 and more args Main Workflow #100: Pull request #31 opened by lefessan
July 3, 2023 22:16 12m 39s lefessan:z-2023-07-04-v1-and-more-args
lefessan:z-2023-07-04-v1-and-more-args
July 3, 2023 22:16 12m 39s
Merge pull request #30 from lefessan/z-2023-06-27-update-changelog Main Workflow #99: Commit 18e95a3 pushed by lefessan
June 27, 2023 07:28 10m 56s master
master
June 27, 2023 07:28 10m 56s
Update CHANGES.md for 0.9 release Main Workflow #98: Pull request #30 opened by lefessan
June 27, 2023 07:28 15m 5s lefessan:z-2023-06-27-update-changelog
lefessan:z-2023-06-27-update-changelog
June 27, 2023 07:28 15m 5s
Merge pull request #29 from lefessan/z-2023-06-14-improvements Main Workflow #97: Commit dea11b8 pushed by lefessan
June 26, 2023 20:48 19m 16s master
master
June 26, 2023 20:48 19m 16s
Keep comments between AT_SETUP and AT_CLEANUP Main Workflow #96: Pull request #29 synchronize by lefessan
June 26, 2023 20:42 15m 18s lefessan:z-2023-06-14-improvements
lefessan:z-2023-06-14-improvements
June 26, 2023 20:42 15m 18s