Skip to content

Actions: LPCIC/elpi

Actions

Doc workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
448 workflow runs
448 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update symbols and index when extending with a signature Doc workflow #953: Pull request #372 synchronize by gares
3m 24s Janno:janno/fix-extend-signature
Janno:janno/fix-extend-signature
3m 24s
fix test output Doc workflow #952: Pull request #373 opened by gares
4m 6s fix-test
fix-test
4m 6s
Update symbols and index when extending with a signature Doc workflow #951: Pull request #372 synchronize by gares
4m 32s Janno:janno/fix-extend-signature
Janno:janno/fix-extend-signature
4m 32s
Update symbols and index when extending with a signature Doc workflow #950: Pull request #372 opened by Janno
3m 14s Janno:janno/fix-extend-signature
Janno:janno/fix-extend-signature
3m 14s
Fix trace compilation for old ocaml. Doc workflow #949: Pull request #370 opened by jpoiret
3m 21s jpoiret:fix-trace-compilation
jpoiret:fix-trace-compilation
3m 21s
Merge pull request #369 from LPCIC/release Doc workflow #948: Commit 0768bac pushed by gares
5m 33s master
master
5m 33s
changelog Doc workflow #947: Pull request #369 opened by gares
3m 24s release
release
3m 24s
acknowledge another bug was fixed Doc workflow #946: Commit b4834b7 pushed by gares
3m 25s master
master
3m 25s
Merge pull request #368 from LPCIC/syntax-pred Doc workflow #945: Commit adb3d35 pushed by gares
3m 22s master
master
3m 22s
new syntax pred A -> B. Doc workflow #944: Pull request #368 synchronize by gares
3m 24s syntax-pred
syntax-pred
3m 24s
Merge pull request #367 from LPCIC/fix-implcut Doc workflow #943: Commit dca10a8 pushed by gares
3m 22s master
master
3m 22s
new syntax pred A -> B. Doc workflow #942: Pull request #368 synchronize by gares
4m 3s syntax-pred
syntax-pred
4m 3s
new syntax pred A -> B. Doc workflow #941: Pull request #368 synchronize by gares
3m 53s syntax-pred
syntax-pred
3m 53s
new syntax pred A -> B. Doc workflow #940: Pull request #368 synchronize by gares
4m 10s syntax-pred
syntax-pred
4m 10s
new syntax pred A -> B. Doc workflow #939: Pull request #368 synchronize by gares
3m 14s syntax-pred
syntax-pred
3m 14s
new syntax pred A -> B. Doc workflow #938: Pull request #368 synchronize by gares
3m 26s syntax-pred
syntax-pred
3m 26s
new syntax pred A -> B. Doc workflow #937: Pull request #368 opened by gares
3m 8s syntax-pred
syntax-pred
3m 8s
Merge pull request #364 from Janno/janno/check-same-modes-error-info Doc workflow #936: Commit c03b9d1 pushed by gares
3m 17s master
master
3m 17s
fix =!=> in presence of pi Doc workflow #935: Pull request #367 opened by gares
3m 14s fix-implcut
fix-implcut
3m 14s
Merge pull request #366 from Janno/janno/runtime-bug Doc workflow #934: Commit 513e5d0 pushed by gares
3m 30s master
master
3m 30s
Fix bug in runtime.ml Doc workflow #933: Pull request #366 opened by Janno
3m 21s Janno:janno/runtime-bug
Janno:janno/runtime-bug
3m 21s
Add more information to check_same_mode error message Doc workflow #932: Pull request #364 synchronize by gares
3m 19s Janno:janno/check-same-modes-error-info
Janno:janno/check-same-modes-error-info
3m 19s
Add more information to check_same_mode error message Doc workflow #931: Pull request #364 synchronize by gares
3m 14s Janno:janno/check-same-modes-error-info
Janno:janno/check-same-modes-error-info
3m 14s
Add more information to check_same_mode error message Doc workflow #930: Pull request #364 opened by Janno
2m 15s Janno:janno/check-same-modes-error-info
Janno:janno/check-same-modes-error-info
2m 15s
Merge pull request #363 from LPCIC/fix-compare-tmode Doc workflow #929: Commit a29e687 pushed by gares
4m 12s master
master
4m 12s