Skip to content

Actions: hidet-org/hidet

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
733 workflow runs
733 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[FEATURE] Use permanent processes to handle fixed commits in the comp…
Format & Lint #1381: Commit 712a9cd pushed by vadiklyutiy
January 20, 2025 23:13 4m 31s main
January 20, 2025 23:13 4m 31s
[FEATURE] Use permanent processes to handle fixed commits in the comp…
Tests #1389: Commit 712a9cd pushed by vadiklyutiy
January 20, 2025 23:13 6h 0m 48s main
January 20, 2025 23:13 6h 0m 48s
[COMPSERVER] Compilation server speed up
Launch CI #141: Issue comment #487 (comment) created by vadiklyutiy
January 20, 2025 01:36 2s
January 20, 2025 01:36 2s
[CI] chore: normalize ci runner naming (#488)
Format & Lint #1378: Commit 7f4039b pushed by c-fteixeira
January 16, 2025 00:49 4m 47s main
January 16, 2025 00:49 4m 47s
[CI] chore: normalize ci runner naming (#488)
Tests #1386: Commit 7f4039b pushed by c-fteixeira
January 16, 2025 00:49 1h 39m 19s main
January 16, 2025 00:49 1h 39m 19s
[CI] chore: normalize ci runner naming
Tests #1385: Pull request #488 synchronize by c-fteixeira
January 15, 2025 19:51 1h 37m 51s ft/ci-normalization
January 15, 2025 19:51 1h 37m 51s
[CI] chore: normalize ci runner naming
Format & Lint #1377: Pull request #488 synchronize by c-fteixeira
January 15, 2025 19:51 3m 45s ft/ci-normalization
January 15, 2025 19:51 3m 45s
[CI] chore: normalize ci runner naming
Launch CI #140: Issue comment #488 (comment) created by vadiklyutiy
January 15, 2025 18:59 3s
January 15, 2025 18:59 3s
[CI] chore: normalize ci runner naming
Launch CI #139: Issue comment #488 (comment) created by c-fteixeira
January 15, 2025 18:16 3s
January 15, 2025 18:16 3s
[CI] chore: normalize ci runner naming
Launch CI #138: Issue comment #488 (comment) created by vadiklyutiy
January 15, 2025 15:08 3s
January 15, 2025 15:08 3s
[CI] chore: normalize ci runner naming
Launch CI #137: Issue comment #488 (comment) created by vadiklyutiy
January 15, 2025 15:07 3s
January 15, 2025 15:07 3s
[CI] chore: normalize ci runner naming
Launch CI #136: Issue comment #488 (comment) created by c-fteixeira
January 15, 2025 15:00 3s
January 15, 2025 15:00 3s
[CI] chore: normalize ci runner naming
Launch CI #135: Issue comment #488 (comment) created by vadiklyutiy
January 15, 2025 09:07 3s
January 15, 2025 09:07 3s
[CI] chore: normalize ci runner naming
Format & Lint #1376: Pull request #488 opened by c-fteixeira
January 15, 2025 03:21 3m 43s ft/ci-normalization
January 15, 2025 03:21 3m 43s
[CI] chore: normalize ci runner naming
Tests #1384: Pull request #488 opened by c-fteixeira
January 15, 2025 03:21 1h 24m 31s ft/ci-normalization
January 15, 2025 03:21 1h 24m 31s
[COMPSERVER] Compilation server speed up
Format & Lint #1375: Pull request #487 synchronize by vadiklyutiy
January 12, 2025 05:36 4m 7s vadim/fix-comp-server
January 12, 2025 05:36 4m 7s
[COMPSERVER] Compilation server speed up
Tests #1383: Pull request #487 synchronize by vadiklyutiy
January 12, 2025 05:36 1h 22m 4s vadim/fix-comp-server
January 12, 2025 05:36 1h 22m 4s
[COMPSERVER] Compilation server speed up
Tests #1382: Pull request #487 synchronize by vadiklyutiy
January 12, 2025 04:41 55m 31s vadim/fix-comp-server
January 12, 2025 04:41 55m 31s
[COMPSERVER] Compilation server speed up
Format & Lint #1374: Pull request #487 synchronize by vadiklyutiy
January 12, 2025 04:41 4m 7s vadim/fix-comp-server
January 12, 2025 04:41 4m 7s
[COMPSERVER] Compilation server speed up
Launch CI #134: Issue comment #487 (comment) created by yaoyaoding
January 9, 2025 16:46 2s
January 9, 2025 16:46 2s
[COMPSERVER] Compilation server speed up
Launch CI #133: Issue comment #487 (comment) created by vadiklyutiy
January 9, 2025 03:52 2s
January 9, 2025 03:52 2s