Skip to content

Actions: proof-ninja/needlework_scenario_generator

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: 🍻 remove duplicated items using gen Builds, tests & co #9: Commit 9bf2a0e pushed by yoshihiro503
June 28, 2024 02:16 3m 32s main
main
June 28, 2024 02:16 3m 32s
chore: 💚 fix CI failed for ocaml 4.13 Builds, tests & co #8: Commit 81f7446 pushed by yoshihiro503
June 27, 2024 11:01 4m 4s main
main
June 27, 2024 11:01 4m 4s
chore: 💚 fix CI failed for ocaml 4.13 Builds, tests & co #7: Commit e6eee14 pushed by yoshihiro503
June 27, 2024 10:53 3m 42s main
main
June 27, 2024 10:53 3m 42s
feat: ✨ support finite gen using just lists Builds, tests & co #6: Commit 4c5042d pushed by yoshihiro503
June 27, 2024 10:46 3m 30s main
main
June 27, 2024 10:46 3m 30s
feat: ✅ support 'any' address as source or destination Builds, tests & co #5: Commit bfa6448 pushed by yoshihiro503
June 26, 2024 15:26 3m 51s main
main
June 26, 2024 15:26 3m 51s
chore: ⬇️ downgrade dune version for CI(windows) c.f. https… Builds, tests & co #4: Commit fea7e77 pushed by yoshihiro503
June 25, 2024 03:37 3m 26s main
main
June 25, 2024 03:37 3m 26s
Revert "chore: 🧪 sample input files" Builds, tests & co #3: Commit af0bee4 pushed by yoshihiro503
June 25, 2024 03:34 3m 42s main
main
June 25, 2024 03:34 3m 42s
chore: ⬇️ downgrade dune version for CI(windows) c.f. https… Builds, tests & co #2: Commit 5231c9f pushed by yoshihiro503
June 24, 2024 22:36 3m 31s main
main
June 24, 2024 22:36 3m 31s
chore: 👷 introduce CI Builds, tests & co #1: Commit bcbf369 pushed by yoshihiro503
June 24, 2024 21:35 9m 8s main
main
June 24, 2024 21:35 9m 8s