Skip to content

Actions: LPCIC/coq-elpi

Actions

DOC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
815 workflow runs
815 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cswb DOC #788: Pull request #591 synchronize by gares
February 8, 2024 11:18 11m 16s Tragicus:cswb
Tragicus:cswb
February 8, 2024 11:18 11m 16s
fix Elpi Typecheck program DOC #787: Commit 7c9d321 pushed by gares
February 8, 2024 10:22 12m 19s master
master
February 8, 2024 10:22 12m 19s
Cswb DOC #786: Pull request #591 synchronize by Tragicus
February 8, 2024 10:22 11m 19s Tragicus:cswb
Tragicus:cswb
February 8, 2024 10:22 11m 19s
Cswb DOC #785: Pull request #591 opened by Tragicus
February 8, 2024 10:19 10m 49s Tragicus:cswb
Tragicus:cswb
February 8, 2024 10:19 10m 49s
Cswb DOC #784: Pull request #590 opened by Tragicus
February 8, 2024 10:18 11m 53s Tragicus:cswb
Tragicus:cswb
February 8, 2024 10:18 11m 53s
update changelog DOC #783: Commit c8bff49 pushed by gares
January 31, 2024 20:06 14m 28s master
master
January 31, 2024 20:06 14m 28s
Merge pull request #583 from LPCIC/fix-synter-impargs DOC #782: Commit 6b98188 pushed by gares
January 29, 2024 17:34 14m 25s master
master
January 29, 2024 17:34 14m 25s
Fix synter impargs DOC #781: Pull request #583 synchronize by gares
January 29, 2024 16:51 14m 18s fix-synter-impargs
fix-synter-impargs
January 29, 2024 16:51 14m 18s
Fix synter impargs DOC #780: Pull request #583 opened by gares
January 29, 2024 16:45 14m 31s fix-synter-impargs
fix-synter-impargs
January 29, 2024 16:45 14m 31s
Merge pull request #581 from LPCIC/fix-evar-loss DOC #779: Commit 46f23b6 pushed by gares
January 29, 2024 09:31 15m 0s master
master
January 29, 2024 09:31 15m 0s
Merge pull request #579 from proux01/no_primitive DOC #778: Commit 1ed6c4e pushed by gares
January 29, 2024 09:27 14m 27s master
master
January 29, 2024 09:27 14m 27s
Don't Require PrimInt63 and PrimFloat by default DOC #777: Pull request #579 synchronize by proux01
January 28, 2024 14:01 13m 59s proux01:no_primitive
proux01:no_primitive
January 28, 2024 14:01 13m 59s
Don't Require PrimInt63 and PrimFloat by default DOC #776: Pull request #579 synchronize by gares
January 27, 2024 20:53 14m 9s proux01:no_primitive
proux01:no_primitive
January 27, 2024 20:53 14m 9s
fix sigma pruning when calling ltac, reachability is not correct DOC #775: Pull request #581 synchronize by gares
January 26, 2024 19:56 13m 58s fix-evar-loss
fix-evar-loss
January 26, 2024 19:56 13m 58s
Merge pull request #577 from Tragicus/cs DOC #774: Commit ac73738 pushed by gares
January 26, 2024 19:27 14m 11s master
master
January 26, 2024 19:27 14m 11s
add catches DOC #773: Pull request #582 synchronize by gares
January 26, 2024 15:57 14m 52s Tragicus:prcatch
Tragicus:prcatch
January 26, 2024 15:57 14m 52s
CS app DOC #772: Pull request #577 synchronize by Tragicus
January 26, 2024 15:56 15m 33s Tragicus:cs
Tragicus:cs
January 26, 2024 15:56 15m 33s
add catches DOC #771: Pull request #582 opened by Tragicus
January 26, 2024 15:54 14m 37s Tragicus:prcatch
Tragicus:prcatch
January 26, 2024 15:54 14m 37s
Merge pull request #580 from FissoreD/clear_sec_variable_err_msg DOC #770: Commit e77a0be pushed by gares
January 26, 2024 15:52 14m 0s master
master
January 26, 2024 15:52 14m 0s
fix sigma pruning when calling ltac, reachability is not correct DOC #769: Pull request #581 opened by gares
January 26, 2024 15:52 13m 54s fix-evar-loss
fix-evar-loss
January 26, 2024 15:52 13m 54s
Merge pull request #573 from LPCIC/fix-detype DOC #768: Commit 0451f1b pushed by gares
January 26, 2024 14:34 14m 20s master
master
January 26, 2024 14:34 14m 20s
Don't Require PrimInt63 and PrimFloat by default DOC #767: Pull request #579 synchronize by proux01
January 26, 2024 14:29 13m 54s proux01:no_primitive
proux01:no_primitive
January 26, 2024 14:29 13m 54s
fix detype DOC #766: Pull request #573 synchronize by gares
January 26, 2024 13:38 14m 24s fix-detype
fix-detype
January 26, 2024 13:38 14m 24s
fix detype DOC #765: Pull request #573 synchronize by gares
January 26, 2024 12:34 14m 19s fix-detype
fix-detype
January 26, 2024 12:34 14m 19s
change error msg when section var are cleared DOC #764: Pull request #580 opened by FissoreD
January 26, 2024 11:05 13m 9s FissoreD:clear_sec_variable_err_msg
FissoreD:clear_sec_variable_err_msg
January 26, 2024 11:05 13m 9s
ProTip! You can narrow down the results and go further in time using created:<2024-01-26 or the other filters available.