Skip to content

Actions: gfngfn/SATySFi

Opam Dependency Submission

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #469 from nsfisis/fix/ci-badge
Opam Dependency Submission #5: Commit c2cbc48 pushed by gfngfn
January 20, 2025 05:56 3m 51s master
January 20, 2025 05:56 3m 51s
Merge pull request #466 from gfngfn/upgrade-otfed-to-0-3-2
Opam Dependency Submission #4: Commit f284043 pushed by gfngfn
November 7, 2024 01:31 4m 11s master
November 7, 2024 01:31 4m 11s
Merge pull request #449 from ghaaj/master
Opam Dependency Submission #3: Commit 4d27f13 pushed by gfngfn
August 9, 2024 15:49 7m 34s master
August 9, 2024 15:49 7m 34s
Merge pull request #448 from smorimoto/fix-opam-dependency-submission
Opam Dependency Submission #2: Commit 4d25474 pushed by gfngfn
August 4, 2024 18:51 3m 55s master
August 4, 2024 18:51 3m 55s
Merge pull request #447 from smorimoto/cleanup
Opam Dependency Submission #1: Commit cd715db pushed by gfngfn
August 4, 2024 18:05 4m 13s master
August 4, 2024 18:05 4m 13s