Skip to content

Actions: OCamlPro/alt-ergo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,206 workflow runs
5,206 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create a custom ADT for Th_util.answer Build #2435: Pull request #1304 synchronize by Halbaroth
March 5, 2025 13:27 10m 46s Halbaroth:answer-type
Halbaroth:answer-type
March 5, 2025 13:27 10m 46s
Create a custom ADT for Th_util.answer Build statically linked binaries #862: Pull request #1304 synchronize by Halbaroth
March 5, 2025 13:27 4m 13s Halbaroth:answer-type
Halbaroth:answer-type
March 5, 2025 13:27 4m 13s
Create a custom ADT for Th_util.answer Documentation #3203: Pull request #1304 synchronize by Halbaroth
March 5, 2025 13:27 2m 47s Halbaroth:answer-type
Halbaroth:answer-type
March 5, 2025 13:27 2m 47s
Create a custom ADT for Th_util.answer Linter #2962: Pull request #1304 synchronize by Halbaroth
March 5, 2025 13:27 1m 28s Halbaroth:answer-type
Halbaroth:answer-type
March 5, 2025 13:27 1m 28s
Create a custom ADT for Th_util.answer Build Javascript #3126: Pull request #1304 synchronize by Halbaroth
March 5, 2025 13:27 4m 18s Halbaroth:answer-type
Halbaroth:answer-type
March 5, 2025 13:27 4m 18s
pages build and deployment pages-build-deployment #87: by github-pages bot
March 5, 2025 13:24 31s gh-pages
gh-pages
March 5, 2025 13:24 31s
Add a test to cover corner cases in add_predicate (#1305) Build statically linked binaries #861: Commit 7351948 pushed by Halbaroth
March 5, 2025 13:21 4m 25s next
next
March 5, 2025 13:21 4m 25s
Add a test to cover corner cases in add_predicate (#1305) Build #2434: Commit 7351948 pushed by Halbaroth
March 5, 2025 13:21 9m 49s next
next
March 5, 2025 13:21 9m 49s
Add a test to cover corner cases in add_predicate (#1305) Build Javascript #3125: Commit 7351948 pushed by Halbaroth
March 5, 2025 13:21 5m 9s next
next
March 5, 2025 13:21 5m 9s
Add a test to cover corner cases in add_predicate (#1305) Documentation #3202: Commit 7351948 pushed by Halbaroth
March 5, 2025 13:21 3m 9s next
next
March 5, 2025 13:21 3m 9s
Add a test to cover corner cases in add_predicate (#1305) Linter #2961: Commit 7351948 pushed by Halbaroth
March 5, 2025 13:21 2m 16s next
next
March 5, 2025 13:21 2m 16s
pages build and deployment pages-build-deployment #86: by github-pages bot
March 3, 2025 09:17 32s gh-pages
gh-pages
March 3, 2025 09:17 32s
Remove labels on Symbols and Xliteral (#1266) Build statically linked binaries #860: Commit f48cb88 pushed by Halbaroth
March 3, 2025 09:11 4m 26s next
next
March 3, 2025 09:11 4m 26s
Remove labels on Symbols and Xliteral (#1266) Documentation #3201: Commit f48cb88 pushed by Halbaroth
March 3, 2025 09:11 6m 6s next
next
March 3, 2025 09:11 6m 6s
Remove labels on Symbols and Xliteral (#1266) Linter #2960: Commit f48cb88 pushed by Halbaroth
March 3, 2025 09:11 4m 32s next
next
March 3, 2025 09:11 4m 32s
Remove labels on Symbols and Xliteral (#1266) Build #2433: Commit f48cb88 pushed by Halbaroth
March 3, 2025 09:11 9m 40s next
next
March 3, 2025 09:11 9m 40s
Remove labels on Symbols and Xliteral (#1266) Build Javascript #3124: Commit f48cb88 pushed by Halbaroth
March 3, 2025 09:11 7m 26s next
next
March 3, 2025 09:11 7m 26s
Update the installation documentation Documentation #3200: Pull request #1307 synchronize by Halbaroth
February 28, 2025 17:27 2m 49s Halbaroth:documentation-installation
Halbaroth:documentation-installation
February 28, 2025 17:27 2m 49s
Update the installation documentation Build #2432: Pull request #1307 synchronize by Halbaroth
February 28, 2025 17:27 8m 57s Halbaroth:documentation-installation
Halbaroth:documentation-installation
February 28, 2025 17:27 8m 57s
Update the installation documentation Linter #2959: Pull request #1307 synchronize by Halbaroth
February 28, 2025 17:27 1m 32s Halbaroth:documentation-installation
Halbaroth:documentation-installation
February 28, 2025 17:27 1m 32s
Update the installation documentation Build statically linked binaries #859: Pull request #1307 synchronize by Halbaroth
February 28, 2025 17:27 4m 24s Halbaroth:documentation-installation
Halbaroth:documentation-installation
February 28, 2025 17:27 4m 24s
Update the installation documentation Build Javascript #3123: Pull request #1307 synchronize by Halbaroth
February 28, 2025 17:27 4m 28s Halbaroth:documentation-installation
Halbaroth:documentation-installation
February 28, 2025 17:27 4m 28s
Update the installation documentation Documentation #3199: Pull request #1307 synchronize by Halbaroth
February 28, 2025 15:28 2m 39s Halbaroth:documentation-installation
Halbaroth:documentation-installation
February 28, 2025 15:28 2m 39s
Update the installation documentation Build #2431: Pull request #1307 synchronize by Halbaroth
February 28, 2025 15:28 9m 48s Halbaroth:documentation-installation
Halbaroth:documentation-installation
February 28, 2025 15:28 9m 48s
Update the installation documentation Build Javascript #3122: Pull request #1307 synchronize by Halbaroth
February 28, 2025 15:28 5m 33s Halbaroth:documentation-installation
Halbaroth:documentation-installation
February 28, 2025 15:28 5m 33s