Skip to content

Actions: Halbaroth/alt-ergo

Actions

Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
documentation.yml
826 workflow runs
826 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use Unix eof for shell scripts Documentation #1043: Commit 0ecd251 pushed by Halbaroth
July 29, 2024 11:40 4m 47s eof-shell-v2.5.x
eof-shell-v2.5.x
July 29, 2024 11:40 4m 47s
Very relative path for the script Documentation #1042: Commit 8d7f646 pushed by Halbaroth
July 29, 2024 11:37 4m 42s eof-shell-v2.5.x
eof-shell-v2.5.x
July 29, 2024 11:37 4m 42s
Absolute path for the script Documentation #1041: Commit b02def9 pushed by Halbaroth
July 29, 2024 11:35 4m 36s eof-shell-v2.5.x
eof-shell-v2.5.x
July 29, 2024 11:35 4m 36s
try with bash Documentation #1040: Commit 005be5a pushed by Halbaroth
July 29, 2024 11:24 10m 29s eof-shell-v2.5.x
eof-shell-v2.5.x
July 29, 2024 11:24 10m 29s
Update changes Documentation #1039: Commit 9e62bd5 pushed by Halbaroth
July 24, 2024 16:03 4m 47s active-fpa-default
active-fpa-default
July 24, 2024 16:03 4m 47s
remove flags test Documentation #1038: Commit 957410f pushed by Halbaroth
July 24, 2024 15:18 4m 17s active-fpa-default
active-fpa-default
July 24, 2024 15:18 4m 17s
promote tests Documentation #1037: Commit 97f22f8 pushed by Halbaroth
July 24, 2024 14:45 4m 43s active-fpa-default
active-fpa-default
July 24, 2024 14:45 4m 43s
use an internal counter for objectives' indexes Documentation #1036: Commit 09bfb05 pushed by Halbaroth
July 24, 2024 14:35 4m 12s push-pop-optimization
push-pop-optimization
July 24, 2024 14:35 4m 12s
revert PR 780 Documentation #1035: Commit b61ff3c pushed by Halbaroth
July 24, 2024 13:42 4m 50s active-fpa-default
active-fpa-default
July 24, 2024 13:42 4m 50s
Fix issue 993 Documentation #1034: Commit 0e98158 pushed by Halbaroth
July 24, 2024 12:17 8m 11s push-pop-optimization
push-pop-optimization
July 24, 2024 12:17 8m 11s
Fix issue 993 Documentation #1033: Commit f9702de pushed by Halbaroth
July 24, 2024 12:16 4m 21s push-pop-optimization
push-pop-optimization
July 24, 2024 12:16 4m 21s
Fix issue 993 Documentation #1032: Commit ea053e4 pushed by Halbaroth
July 24, 2024 12:16 4m 16s push-pop-optimization
push-pop-optimization
July 24, 2024 12:16 4m 16s
Fix issue 993 Documentation #1031: Commit c97d409 pushed by Halbaroth
July 24, 2024 12:12 4m 37s push-pop-optimization
push-pop-optimization
July 24, 2024 12:12 4m 37s
Activate FPA theory as default Documentation #1030: Commit 016e110 pushed by Halbaroth
July 24, 2024 11:57 7m 43s active-fpa-default
active-fpa-default
July 24, 2024 11:57 7m 43s
Fix issue 993 Documentation #1029: Commit 08c4bcb pushed by Halbaroth
July 24, 2024 11:56 7m 47s push-pop-optimization
push-pop-optimization
July 24, 2024 11:56 7m 47s
Activate FPA theory as default Documentation #1028: Commit 86b37f3 pushed by Halbaroth
July 24, 2024 11:55 7m 44s active-fpa-default
active-fpa-default
July 24, 2024 11:55 7m 44s
update headers Documentation #1027: Commit da4450a pushed by Halbaroth
July 22, 2024 14:40 7m 47s separated-headers
separated-headers
July 22, 2024 14:40 7m 47s
again 3 Documentation #1026: Commit 4066cb7 pushed by Halbaroth
July 22, 2024 13:54 4m 18s new-gh-pages-workflow
new-gh-pages-workflow
July 22, 2024 13:54 4m 18s
fix copy command Documentation #1025: Commit b4faf96 pushed by Halbaroth
July 22, 2024 13:45 4m 19s new-gh-pages-workflow
new-gh-pages-workflow
July 22, 2024 13:45 4m 19s
debug Documentation #1024: Commit bfe92cb pushed by Halbaroth
July 22, 2024 13:27 4m 24s new-gh-pages-workflow
new-gh-pages-workflow
July 22, 2024 13:27 4m 24s
Deploy several documentations Documentation #1023: Commit 05fc660 pushed by Halbaroth
July 22, 2024 13:15 4m 35s new-gh-pages-workflow
new-gh-pages-workflow
July 22, 2024 13:15 4m 35s
toto Documentation #1022: Commit 3cf1c90 pushed by Halbaroth
July 22, 2024 13:13 4m 46s new-gh-pages-workflow
new-gh-pages-workflow
July 22, 2024 13:13 4m 46s
Merge Records into ADT Documentation #1021: Commit 4c0477e pushed by Halbaroth
July 18, 2024 09:39 7m 55s merge-records
merge-records
July 18, 2024 09:39 7m 55s
Bump the version of setup-ocaml Documentation #1020: Commit 36bf4d3 pushed by Halbaroth
July 17, 2024 12:21 7m 41s remove-prerelease-flags
remove-prerelease-flags
July 17, 2024 12:21 7m 41s
Remove prerelease flags Documentation #1019: Commit 4be9fbf pushed by Halbaroth
July 17, 2024 12:15 8m 37s remove-prerelease-flags
remove-prerelease-flags
July 17, 2024 12:15 8m 37s