Skip to content

Actions: gfngfn/SATySFi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
744 workflow runs
744 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add Context etc. Builds, tests & co #258: Commit f048a8c pushed by gfngfn
September 12, 2024 07:33 6m 45s dev-0-1-0-adjust-stdlib-interface
dev-0-1-0-adjust-stdlib-interface
September 12, 2024 07:33 6m 45s
add CrossRef Builds, tests & co #257: Commit fbaa75a pushed by gfngfn
September 12, 2024 05:59 6m 39s dev-0-1-0-adjust-stdlib-interface
dev-0-1-0-adjust-stdlib-interface
September 12, 2024 05:59 6m 39s
extend Inline and Block, and add String Builds, tests & co #256: Commit 2bd3a5d pushed by gfngfn
September 12, 2024 05:43 8m 42s dev-0-1-0-adjust-stdlib-interface
dev-0-1-0-adjust-stdlib-interface
September 12, 2024 05:43 8m 42s
github_actions in /. - Update #881177140 Dependabot Updates #11: by dependabot bot
September 9, 2024 11:51 39s
September 9, 2024 11:51 39s
Builds, tests & co Builds, tests & co #255: Scheduled
September 9, 2024 01:31 8m 25s master
master
September 9, 2024 01:31 8m 25s
Separate saphe from satysfi Builds, tests & co #254: Pull request #422 synchronize by gfngfn
September 8, 2024 19:02 7m 0s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
September 8, 2024 19:02 7m 0s
Merge pull request #461 from gfngfn/dev-0-1-0-add-verbosity Builds, tests & co #253: Commit 94b7ac5 pushed by gfngfn
September 8, 2024 19:02 6m 59s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
September 8, 2024 19:02 6m 59s
Add --verbose and --quiet Builds, tests & co #252: Pull request #461 synchronize by gfngfn
September 8, 2024 18:17 7m 9s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 18:17 7m 9s
fix test to_relative_string_if_descendant_test (i.e., the test itse… Builds, tests & co #251: Commit 3645f8d pushed by gfngfn
September 8, 2024 18:17 6m 51s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 18:17 6m 51s
Add --verbose and --quiet Builds, tests & co #250: Pull request #461 synchronize by gfngfn
September 8, 2024 17:48 5m 57s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 17:48 5m 57s
slight cosmetic changes Builds, tests & co #249: Commit da05165 pushed by gfngfn
September 8, 2024 17:48 5m 37s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 17:48 5m 37s
Add --verbose and --quiet Builds, tests & co #248: Pull request #461 synchronize by gfngfn
September 8, 2024 17:39 5m 45s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 17:39 5m 45s
arrangements around Logging Builds, tests & co #247: Commit bb9a677 pushed by gfngfn
September 8, 2024 17:39 5m 40s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 17:39 5m 40s
Add --verbose and --quiet Builds, tests & co #246: Pull request #461 synchronize by gfngfn
September 8, 2024 17:11 5m 28s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 17:11 5m 28s
change how to show non-descendant paths (when --full-path is not sp… Builds, tests & co #245: Commit bc08d48 pushed by gfngfn
September 8, 2024 17:11 6m 18s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 17:11 6m 18s
Add --verbose and --quiet Builds, tests & co #244: Pull request #461 synchronize by gfngfn
September 8, 2024 16:35 7m 30s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 16:35 7m 30s
slight arrangements Builds, tests & co #243: Commit 969801a pushed by gfngfn
September 8, 2024 16:35 6m 48s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 16:35 6m 48s
Add --verbose and --quiet Builds, tests & co #242: Pull request #461 synchronize by gfngfn
September 8, 2024 15:45 7m 4s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 15:45 7m 4s
enable --full-path, --verbose, and --quiet for all the subcomma… Builds, tests & co #241: Commit 5a73fb9 pushed by gfngfn
September 8, 2024 15:45 6m 49s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 15:45 6m 49s
Add --verbose and --quiet Builds, tests & co #240: Pull request #461 synchronize by gfngfn
September 8, 2024 13:43 7m 15s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 13:43 7m 15s
rename various types and functions by introducing LoggingUtil Builds, tests & co #239: Commit f2c5db8 pushed by gfngfn
September 8, 2024 13:43 7m 32s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 13:43 7m 32s
Add --verbose and --quiet Builds, tests & co #238: Pull request #461 synchronize by gfngfn
September 8, 2024 09:59 7m 7s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 09:59 7m 7s
update bin/dune Builds, tests & co #237: Commit c67825d pushed by gfngfn
September 8, 2024 09:59 6m 45s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 09:59 6m 45s
Add --verbose and --quiet Builds, tests & co #236: Pull request #461 synchronize by gfngfn
September 8, 2024 09:58 6m 57s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 09:58 6m 57s
develop Logging about displaying filepaths Builds, tests & co #235: Commit 6bb1efb pushed by gfngfn
September 8, 2024 09:58 6m 49s dev-0-1-0-add-verbosity
dev-0-1-0-add-verbosity
September 8, 2024 09:58 6m 49s