Skip to content

Actions: na4zagin3/satyrographos-repo

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add automatic rebase command CI #1673: Pull request #668 opened by na4zagin3
October 23, 2023 05:16 20m 12s na4zagin3-patch-4
na4zagin3-patch-4
October 23, 2023 05:16 20m 12s
Build SATySFi against OCaml 4.07.1 (#667) CI #1672: Commit de1240e pushed by na4zagin3
October 23, 2023 04:54 30m 12s master
master
October 23, 2023 04:54 30m 12s
Build SATySFi 0.0.4 against OCaml 4.07.1 CI #1671: Pull request #667 opened by na4zagin3
October 23, 2023 04:19 29m 50s na4zagin3-patch-3
na4zagin3-patch-3
October 23, 2023 04:19 29m 50s
Relax version restriction of satyrographos.0.0.2.4 on OCaml CI #1670: Pull request #666 opened by na4zagin3
October 23, 2023 04:14 28m 0s na4zagin3-patch-2
na4zagin3-patch-2
October 23, 2023 04:14 28m 0s
[Automated] Update develop snapshot CI #1669: Pull request #663 synchronize by satyrographos-repo-gh-action bot
October 22, 2023 15:57 8m 9s update-develop-snapshot
update-develop-snapshot
October 22, 2023 15:57 8m 9s
[Automated] Update develop snapshot CI #1668: Pull request #663 synchronize by satyrographos-repo-gh-action bot
October 8, 2023 15:58 27m 0s update-develop-snapshot
update-develop-snapshot
October 8, 2023 15:58 27m 0s
Take snapshots (#664) CI #1667: Commit d291fa9 pushed by na4zagin3
October 8, 2023 01:32 29m 11s master
master
October 8, 2023 01:32 29m 11s
[Automated] Update develop snapshot CI #1666: Pull request #663 synchronize by satyrographos-repo-gh-action bot
October 2, 2023 16:03 31m 22s update-develop-snapshot
update-develop-snapshot
October 2, 2023 16:03 31m 22s
[Automated] Take snapshots CI #1665: Pull request #664 opened by satyrographos-repo-gh-action bot
October 2, 2023 05:53 29m 46s take-snapshots
take-snapshots
October 2, 2023 05:53 29m 46s
Add SATySFi v0.0.9 CI #1664: Pull request #562 synchronize by puripuri2100
October 1, 2023 20:15 28m 18s puripuri2100:add-satysfi.0.0.9
puripuri2100:add-satysfi.0.0.9
October 1, 2023 20:15 28m 18s
[Automated] Update develop snapshot CI #1663: Pull request #663 opened by satyrographos-repo-gh-action bot
October 1, 2023 15:57 7m 21s update-develop-snapshot
update-develop-snapshot
October 1, 2023 15:57 7m 21s
[Automated] Update develop snapshot (#661) CI #1662: Commit 4f22173 pushed by na4zagin3
October 1, 2023 12:47 23m 26s master
master
October 1, 2023 12:47 23m 26s
[Automated] Update develop snapshot CI #1661: Pull request #661 synchronize by na4zagin3
October 1, 2023 12:16 29m 15s update-develop-snapshot
update-develop-snapshot
October 1, 2023 12:16 29m 15s
[Automated] Update develop snapshot CI #1660: Pull request #661 synchronize by satyrographos-repo-gh-action bot
October 1, 2023 11:30 27m 12s update-develop-snapshot
update-develop-snapshot
October 1, 2023 11:30 27m 12s
Remove team-reviewers CI #1659: Commit a52005e pushed by na4zagin3
October 1, 2023 11:29 16m 52s master
master
October 1, 2023 11:29 16m 52s
Upload result file regardless of task failure (#662) CI #1658: Commit be11ed5 pushed by na4zagin3
October 1, 2023 08:18 28m 56s master
master
October 1, 2023 08:18 28m 56s
Upload result file regardless of task failure CI #1657: Pull request #662 opened by na4zagin3
October 1, 2023 07:18 27m 35s ci/upload-result-artifact-even-if-job-fails
ci/upload-result-artifact-even-if-job-fails
October 1, 2023 07:18 27m 35s
[Automated] Update develop snapshot CI #1656: Pull request #661 opened by satyrographos-repo-gh-action bot
September 29, 2023 16:02 31m 9s update-develop-snapshot
update-develop-snapshot
September 29, 2023 16:02 31m 9s
Package satysfi-base.1.6.0 CI #1655: Pull request #653 synchronize by na4zagin3
September 28, 2023 16:29 29m 46s zeptometer:opam-publish-satysfi-base.1.6.0
zeptometer:opam-publish-satysfi-base.1.6.0
September 28, 2023 16:29 29m 46s
Fix branch used for update-develop Action CI #1654: Commit 6ea139a pushed by na4zagin3
September 28, 2023 16:08 20m 31s master
master
September 28, 2023 16:08 20m 31s
[Automated] Update develop snapshot CI #1653: Pull request #660 opened by satyrographos-repo-gh-action bot
September 28, 2023 16:02 27m 14s take-snapshots
take-snapshots
September 28, 2023 16:02 27m 14s
Bump Satyrographos version to 0.0.2.13 CI #1652: Pull request #659 synchronize by na4zagin3
September 28, 2023 13:55 13m 26s version/satyrographos
version/satyrographos
September 28, 2023 13:55 13m 26s
Bump Satyrographos version to 0.0.2.13 CI #1651: Pull request #659 synchronize by na4zagin3
September 28, 2023 12:50 13m 35s version/satyrographos
version/satyrographos
September 28, 2023 12:50 13m 35s
Update peter-evans/create-pull-request version from v3 to v5 CI #1650: Commit 5859880 pushed by na4zagin3
September 28, 2023 12:43 27m 0s master
master
September 28, 2023 12:43 27m 0s
Bump Satyrographos version to 0.0.2.13 CI #1649: Pull request #659 opened by na4zagin3
September 28, 2023 12:37 22m 25s version/satyrographos
version/satyrographos
September 28, 2023 12:37 22m 25s