Skip to content

Actions: andrevidela/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-sphinx.yml
180 workflow runs
180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add box drawing characters Sphinx #229: Commit 39a8281 pushed by andrevidela
July 27, 2024 10:18 47s fancy-symbols
fancy-symbols
July 27, 2024 10:18 47s
add tests for JSON DSL Sphinx #228: Commit f33cdc6 pushed by andrevidela
July 26, 2024 00:13 47s dictionary-syntax
dictionary-syntax
July 26, 2024 00:13 47s
Add support for dictionary syntax sugar Sphinx #227: Commit 8adcfad pushed by andrevidela
July 19, 2024 23:02 49s dictionary-syntax
dictionary-syntax
July 19, 2024 23:02 49s
add approx and cong as operators Sphinx #226: Commit faeee81 pushed by andrevidela
July 5, 2024 17:32 29s fancy-symbols
fancy-symbols
July 5, 2024 17:32 29s
Merge branch 'main' into autobind-application Sphinx #225: Commit 59f3879 pushed by andrevidela
July 5, 2024 17:25 35s autobind-application
autobind-application
July 5, 2024 17:25 35s
Merge branch 'main' into autobind-application Sphinx #224: Commit 1e14b9c pushed by andrevidela
June 18, 2024 17:32 28s autobind-application
autobind-application
June 18, 2024 17:32 28s
Show unrelated namespace with matching operator name Sphinx #223: Commit 0e09b8d pushed by andrevidela
June 17, 2024 11:39 32s fix-3302
fix-3302
June 17, 2024 11:39 32s
Emit error when unbound fixity is hidden Sphinx #222: Commit f67b303 pushed by andrevidela
June 16, 2024 15:10 30s fix-3302
fix-3302
June 16, 2024 15:10 30s
Emit error when unbound fixity is hidden Sphinx #221: Commit 02c4177 pushed by andrevidela
June 16, 2024 15:07 50s fix-3302
fix-3302
June 16, 2024 15:07 50s
Emit error when unbound fixity is hidden Sphinx #220: Commit 54ba10f pushed by andrevidela
June 16, 2024 14:59 1m 1s fix-3302
fix-3302
June 16, 2024 14:59 1m 1s
add binding metadata to definitions Sphinx #219: Commit 30bcbfd pushed by andrevidela
June 7, 2024 21:17 36s autobind-application
autobind-application
June 7, 2024 21:17 36s
fix error message for unexported fixities Sphinx #218: Commit dd99186 pushed by andrevidela
April 21, 2024 22:27 29s fix-fixity-warning
fix-fixity-warning
April 21, 2024 22:27 29s
add approx and cong as operators Sphinx #217: Commit 80e599e pushed by andrevidela
April 8, 2024 17:56 36s fancy-symbols
fancy-symbols
April 8, 2024 17:56 36s
fix printing of backticked operators Sphinx #216: Commit 3b0d9d9 pushed by andrevidela
April 4, 2024 15:08 29s fix-3249
fix-3249
April 4, 2024 15:08 29s
fix idemode test Sphinx #215: Commit 6e6696c pushed by andrevidela
March 30, 2024 01:00 48s fixity-export-warning
fixity-export-warning
March 30, 2024 01:00 48s
Merge branch 'main' into fixity-export-warning Sphinx #214: Commit f71fb9d pushed by andrevidela
March 29, 2024 12:24 1m 17s fixity-export-warning
fixity-export-warning
March 29, 2024 12:24 1m 17s
add test to check for warning Sphinx #213: Commit 8699116 pushed by andrevidela
March 29, 2024 12:18 27s fixity-export-warning
fixity-export-warning
March 29, 2024 12:18 27s
handle unicode capital letters Sphinx #212: Commit e999e4d pushed by andrevidela
March 27, 2024 16:16 29s fancy-symbols
fancy-symbols
March 27, 2024 16:16 29s
update libs with export modifier Sphinx #211: Commit 5773536 pushed by andrevidela
March 17, 2024 09:22 28s fixity-export-warning
fixity-export-warning
March 17, 2024 09:22 28s
I have no clue if that will work Sphinx #210: Commit 9206e25 pushed by andrevidela
March 16, 2024 20:58 27s fix-brew
fix-brew
March 16, 2024 20:58 27s
I have no clue if that will work Sphinx #209: Commit f032e82 pushed by andrevidela
March 16, 2024 20:53 29s fix-brew
fix-brew
March 16, 2024 20:53 29s
Use overwrite install to fix glib installation Sphinx #208: Commit 3076265 pushed by andrevidela
March 16, 2024 00:21 29s fix-brew
fix-brew
March 16, 2024 00:21 29s
Use overwrite install to fix glib installation Sphinx #207: Commit d01963a pushed by andrevidela
March 16, 2024 00:04 30s fix-brew
fix-brew
March 16, 2024 00:04 30s
Use force to overwrite link from glib dependent to python during install Sphinx #206: Commit 68b1669 pushed by andrevidela
March 15, 2024 23:37 33s fix-brew
fix-brew
March 15, 2024 23:37 33s
update libs with export modifier Sphinx #205: Commit d6ac9a8 pushed by andrevidela
March 15, 2024 23:15 28s fixity-export-warning
fixity-export-warning
March 15, 2024 23:15 28s