Skip to content

Actions: ocaml-gospel/gospel

Actions

changelog

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
changelog.yml
172 workflow runs
172 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding paths to Gospel identifiers changelog #592: Pull request #396 synchronize by mrjazzybread
April 9, 2024 17:22 14s mrjazzybread:main
mrjazzybread:main
April 9, 2024 17:22 14s
Adding paths to Gospel identifiers changelog #590: Pull request #396 synchronize by mrjazzybread
April 9, 2024 14:46 18s mrjazzybread:main
mrjazzybread:main
April 9, 2024 14:46 18s
Use dune-build-info for version display changelog #589: Pull request #397 synchronize by n-osborne
April 9, 2024 12:53 2s n-osborne:dune-build-info
n-osborne:dune-build-info
April 9, 2024 12:53 2s
Use dune-build-info for version display changelog #588: Pull request #397 labeled by n-osborne
April 9, 2024 12:45 2s n-osborne:dune-build-info
n-osborne:dune-build-info
April 9, 2024 12:45 2s
Use dune-build-info for version display changelog #587: Pull request #397 opened by n-osborne
April 9, 2024 12:43 15s n-osborne:dune-build-info
n-osborne:dune-build-info
April 9, 2024 12:43 15s
Adding paths to Gospel identifiers changelog #586: Pull request #396 synchronize by mrjazzybread
April 5, 2024 16:01 16s mrjazzybread:main
mrjazzybread:main
April 5, 2024 16:01 16s
Fix ls_name for unit logical symbol changelog #583: Pull request #387 synchronize by n-osborne
April 4, 2024 07:28 14s n-osborne:fix-fs_unit-ls_name
n-osborne:fix-fs_unit-ls_name
April 4, 2024 07:28 14s
Preprocessor bug changelog #582: Pull request #394 synchronize by ionchirica
April 3, 2024 15:09 16s ionchirica:pps_issue
ionchirica:pps_issue
April 3, 2024 15:09 16s
Preprocessor bug changelog #580: Pull request #394 synchronize by ionchirica
April 3, 2024 14:22 18s ionchirica:pps_issue
ionchirica:pps_issue
April 3, 2024 14:22 18s
Preprocessor bug changelog #579: Pull request #394 opened by ionchirica
April 3, 2024 13:45 15s ionchirica:pps_issue
ionchirica:pps_issue
April 3, 2024 13:45 15s
Fix ls_name for unit logical symbol changelog #578: Pull request #387 synchronize by n-osborne
April 2, 2024 15:38 14s n-osborne:fix-fs_unit-ls_name
n-osborne:fix-fs_unit-ls_name
April 2, 2024 15:38 14s
Merge implementations branch with main changelog #577: Pull request #390 synchronize by ionchirica
March 25, 2024 11:54 15s ionchirica:implementations_gospel
ionchirica:implementations_gospel
March 25, 2024 11:54 15s
Adding paths to gospel identifiers changelog #568: Pull request #389 synchronize by mrjazzybread
March 20, 2024 19:55 19s mrjazzybread:main
mrjazzybread:main
March 20, 2024 19:55 19s
Adding paths to gospel identifiers changelog #566: Pull request #389 synchronize by mrjazzybread
March 18, 2024 19:34 21s mrjazzybread:main
mrjazzybread:main
March 18, 2024 19:34 21s
Adding paths to gospel identifiers changelog #565: Pull request #389 opened by mrjazzybread
March 16, 2024 12:53 15s mrjazzybread:main
mrjazzybread:main
March 16, 2024 12:53 15s
Fix ls_name for unit logical symbol changelog #564: Pull request #387 synchronize by n-osborne
March 7, 2024 14:11 14s n-osborne:fix-fs_unit-ls_name
n-osborne:fix-fs_unit-ls_name
March 7, 2024 14:11 14s
Fix ls_name for unit logical symbol changelog #563: Pull request #387 opened by n-osborne
March 7, 2024 14:09 16s n-osborne:fix-fs_unit-ls_name
n-osborne:fix-fs_unit-ls_name
March 7, 2024 14:09 16s
Fix is_ts_tuple changelog #562: Pull request #386 synchronize by n-osborne
March 7, 2024 13:18 12s n-osborne:fix-is_ts_tuple
n-osborne:fix-is_ts_tuple
March 7, 2024 13:18 12s
Fix is_ts_tuple changelog #561: Pull request #386 opened by n-osborne
March 7, 2024 13:16 10s n-osborne:fix-is_ts_tuple
n-osborne:fix-is_ts_tuple
March 7, 2024 13:16 10s
Make type checker save type information changelog #560: Pull request #376 synchronize by n-osborne
March 6, 2024 13:24 15s n-osborne:write-gospel-file
n-osborne:write-gospel-file
March 6, 2024 13:24 15s
Replace example png by actual code changelog #559: Pull request #384 opened by n-osborne
March 4, 2024 10:04 3s n-osborne:update-readme
n-osborne:update-readme
March 4, 2024 10:04 3s
Replace example png by actual code changelog #558: Pull request #384 labeled by n-osborne
March 4, 2024 10:04 4s n-osborne:update-readme
n-osborne:update-readme
March 4, 2024 10:04 4s
Replace example png by actual code changelog #557: Pull request #384 labeled by n-osborne
March 4, 2024 10:04 3s n-osborne:update-readme
n-osborne:update-readme
March 4, 2024 10:04 3s
Make type checker save type information changelog #556: Pull request #376 synchronize by n-osborne
February 23, 2024 11:51 12s n-osborne:write-gospel-file
n-osborne:write-gospel-file
February 23, 2024 11:51 12s
Make type checker save type information changelog #555: Pull request #376 synchronize by n-osborne
February 5, 2024 13:49 15s n-osborne:write-gospel-file
n-osborne:write-gospel-file
February 5, 2024 13:49 15s