Skip to content

Actions: LPCIC/elpi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,214 workflow runs
1,214 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #191: by github-pages bot
February 11, 2025 21:32 32s gh-pages
gh-pages
February 11, 2025 21:32 32s
Merge pull request #315 from LPCIC/gares-patch-1 Users workflow #269: Commit 2eb41c3 pushed by gares
February 11, 2025 21:29 16m 27s master
master
February 11, 2025 21:29 16m 27s
Merge pull request #315 from LPCIC/gares-patch-1 Doc workflow #613: Commit 2eb41c3 pushed by gares
February 11, 2025 21:29 3m 23s master
master
February 11, 2025 21:29 3m 23s
Merge pull request #315 from LPCIC/gares-patch-1 Main workflow #1036: Commit 2eb41c3 pushed by gares
February 11, 2025 21:29 18m 7s master
master
February 11, 2025 21:29 18m 7s
ci: bump ocaml latest Users workflow #268: Pull request #315 opened by gares
February 11, 2025 08:47 17m 51s gares-patch-1
gares-patch-1
February 11, 2025 08:47 17m 51s
ci: bump ocaml latest Main workflow #1035: Pull request #315 opened by gares
February 11, 2025 08:47 16m 59s gares-patch-1
gares-patch-1
February 11, 2025 08:47 16m 59s
ci: bump ocaml latest Doc workflow #612: Pull request #315 opened by gares
February 11, 2025 08:47 4m 0s gares-patch-1
gares-patch-1
February 11, 2025 08:47 4m 0s
pages build and deployment pages-build-deployment #190: by github-pages bot
February 10, 2025 09:43 28s gh-pages
gh-pages
February 10, 2025 09:43 28s
Merge pull request #314 from LPCIC/fix-chr-removal Users workflow #267: Commit 40794fc pushed by gares
February 10, 2025 09:39 16m 40s master
master
February 10, 2025 09:39 16m 40s
Merge pull request #314 from LPCIC/fix-chr-removal Main workflow #1034: Commit 40794fc pushed by gares
February 10, 2025 09:39 7m 52s master
master
February 10, 2025 09:39 7m 52s
Merge pull request #314 from LPCIC/fix-chr-removal Doc workflow #611: Commit 40794fc pushed by gares
February 10, 2025 09:39 4m 0s master
master
February 10, 2025 09:39 4m 0s
trace: be resilient to negative chars Users workflow #266: Pull request #314 opened by gares
February 10, 2025 09:18 18m 6s fix-chr-removal
fix-chr-removal
February 10, 2025 09:18 18m 6s
trace: be resilient to negative chars Main workflow #1033: Pull request #314 opened by gares
February 10, 2025 09:18 13m 1s fix-chr-removal
fix-chr-removal
February 10, 2025 09:18 13m 1s
trace: be resilient to negative chars Doc workflow #610: Pull request #314 opened by gares
February 10, 2025 09:18 5m 54s fix-chr-removal
fix-chr-removal
February 10, 2025 09:18 5m 54s
pages build and deployment pages-build-deployment #189: by github-pages bot
February 10, 2025 09:13 31s gh-pages
gh-pages
February 10, 2025 09:13 31s
Merge pull request #313 from LPCIC/fix-5.3.0 Main workflow #1032: Commit 1277858 pushed by gares
February 10, 2025 09:07 20m 33s master
master
February 10, 2025 09:07 20m 33s
Merge pull request #313 from LPCIC/fix-5.3.0 Users workflow #265: Commit 1277858 pushed by gares
February 10, 2025 09:07 19m 49s master
master
February 10, 2025 09:07 19m 49s
Merge pull request #313 from LPCIC/fix-5.3.0 Doc workflow #609: Commit 1277858 pushed by gares
February 10, 2025 09:07 6m 12s master
master
February 10, 2025 09:07 6m 12s
fix compilation on 5.3 Main workflow #1031: Pull request #313 synchronize by gares
February 10, 2025 08:42 8m 30s fix-5.3.0
fix-5.3.0
February 10, 2025 08:42 8m 30s
fix compilation on 5.3 Users workflow #264: Pull request #313 synchronize by gares
February 10, 2025 08:42 17m 22s fix-5.3.0
fix-5.3.0
February 10, 2025 08:42 17m 22s
fix compilation on 5.3 Doc workflow #608: Pull request #313 synchronize by gares
February 10, 2025 08:42 7m 22s fix-5.3.0
fix-5.3.0
February 10, 2025 08:42 7m 22s
fix compilation on 5.3 Doc workflow #607: Pull request #313 opened by gares
February 10, 2025 08:31 12s fix-5.3.0
fix-5.3.0
February 10, 2025 08:31 12s
fix compilation on 5.3 Main workflow #1030: Pull request #313 opened by gares
February 10, 2025 08:31 17m 24s fix-5.3.0
fix-5.3.0
February 10, 2025 08:31 17m 24s
fix compilation on 5.3 Users workflow #263: Pull request #313 opened by gares
February 10, 2025 08:31 20m 33s fix-5.3.0
fix-5.3.0
February 10, 2025 08:31 20m 33s
test ocaml 5.3 Users workflow #262: Pull request #312 opened by gares
February 2, 2025 17:54 6m 5s test-5.3
test-5.3
February 2, 2025 17:54 6m 5s