Skip to content

Actions: gfngfn/SATySFi

Builds, tests & co

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
358 workflow runs
358 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Builds, tests & co
Builds, tests & co #358: Scheduled
February 3, 2025 01:31 5m 21s master
February 3, 2025 01:31 5m 21s
Builds, tests & co
Builds, tests & co #357: Scheduled
January 27, 2025 01:31 7m 25s master
January 27, 2025 01:31 7m 25s
Fix an issue where PNG images cannot be loaded on Ubuntu
Builds, tests & co #356: Pull request #470 synchronize by nsfisis
January 21, 2025 15:35 9m 4s nsfisis:fix/png
January 21, 2025 15:35 9m 4s
Fix an issue where PNG images cannot be loaded on Ubuntu
Builds, tests & co #355: Pull request #470 opened by nsfisis
January 21, 2025 15:08 8m 4s nsfisis:fix/png
January 21, 2025 15:08 8m 4s
Merge pull request #469 from nsfisis/fix/ci-badge
Builds, tests & co #354: Commit c2cbc48 pushed by gfngfn
January 20, 2025 05:56 6m 21s master
January 20, 2025 05:56 6m 21s
Builds, tests & co
Builds, tests & co #353: Scheduled
January 20, 2025 01:31 11m 19s master
January 20, 2025 01:31 11m 19s
Fix broken links to CI status badges
Builds, tests & co #352: Pull request #469 opened by nsfisis
January 19, 2025 23:36 7m 54s nsfisis:fix/ci-badge
January 19, 2025 23:36 7m 54s
Builds, tests & co
Builds, tests & co #351: Scheduled
January 13, 2025 01:31 6m 49s master
January 13, 2025 01:31 6m 49s
Builds, tests & co
Builds, tests & co #350: Scheduled
January 6, 2025 01:31 6m 31s master
January 6, 2025 01:31 6m 31s
Add support for Dune package management
Builds, tests & co #349: Pull request #468 synchronize by smorimoto
December 30, 2024 19:29 4m 44s smorimoto:dune-pkg-management
December 30, 2024 19:29 4m 44s
Builds, tests & co
Builds, tests & co #348: Scheduled
December 30, 2024 01:31 7m 43s master
December 30, 2024 01:31 7m 43s
Add support for Dune package management
Builds, tests & co #347: Pull request #468 synchronize by smorimoto
December 29, 2024 16:14 4m 39s smorimoto:dune-pkg-management
December 29, 2024 16:14 4m 39s
Add support for Dune package management
Builds, tests & co #346: Pull request #468 synchronize by smorimoto
December 23, 2024 08:40 6m 2s smorimoto:dune-pkg-management
December 23, 2024 08:40 6m 2s
Add support for Dune package management
Builds, tests & co #345: Pull request #468 opened by smorimoto
December 23, 2024 08:39 6m 46s smorimoto:dune-pkg-management
December 23, 2024 08:39 6m 46s
Builds, tests & co
Builds, tests & co #344: Scheduled
December 23, 2024 01:31 9m 14s master
December 23, 2024 01:31 9m 14s
Builds, tests & co
Builds, tests & co #343: Scheduled
December 16, 2024 01:32 6m 54s master
December 16, 2024 01:32 6m 54s
Update menhir ext to 3.0
Builds, tests & co #342: Pull request #467 opened by smorimoto
December 14, 2024 18:53 6m 2s smorimoto:update-menhir-ext
December 14, 2024 18:53 6m 2s
Builds, tests & co
Builds, tests & co #341: Scheduled
December 9, 2024 01:32 6m 19s master
December 9, 2024 01:32 6m 19s
Builds, tests & co
Builds, tests & co #340: Scheduled
December 2, 2024 01:32 8m 38s master
December 2, 2024 01:32 8m 38s
Builds, tests & co
Builds, tests & co #339: Scheduled
November 25, 2024 01:32 9m 56s master
November 25, 2024 01:32 9m 56s
Builds, tests & co
Builds, tests & co #338: Scheduled
November 18, 2024 01:32 9m 54s master
November 18, 2024 01:32 9m 54s
Separate saphe from satysfi
Builds, tests & co #337: Pull request #422 synchronize by gfngfn
November 12, 2024 06:22 8m 49s dev-0-1-0-separate-saphe-from-satysfi
November 12, 2024 06:22 8m 49s
Extend Stdlib.{String,List}
Builds, tests & co #335: Pull request #465 synchronize by gfngfn
November 12, 2024 05:18 6m 45s extend-stdlib-string
November 12, 2024 05:18 6m 45s
run update-default-registry-commit-hash-file.sh
Builds, tests & co #334: Commit 4e25e97 pushed by gfngfn
November 12, 2024 05:18 8m 59s extend-stdlib-string
November 12, 2024 05:18 8m 59s