Skip to content

Actions: flix/book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
140 workflow runs
140 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add section on GraalVM native-image Build #102: Pull request #116 synchronize by jaschdoc
December 14, 2023 15:17 14s jaschdoc:native-image
jaschdoc:native-image
December 14, 2023 15:17 14s
feat: add section on GraalVM native-image Build #101: Pull request #116 opened by jaschdoc
December 14, 2023 15:17 18s jaschdoc:native-image
jaschdoc:native-image
December 14, 2023 15:17 18s
fix: typo in Summary preventing Trait section to be shown Build #100: Pull request #114 opened by paolosimone
November 26, 2023 17:25 12s fix-traits-section
fix-traits-section
November 26, 2023 17:25 12s
Update concurrency.md Build #99: Pull request #113 opened by rosenk
November 25, 2023 15:50 16s rosenk:patch-1
rosenk:patch-1
November 25, 2023 15:50 16s
feat: changing references to type class to trait. Build #98: Pull request #110 opened by stephentetley
November 5, 2023 10:21 16s stephentetley:flix-book-traits
stephentetley:flix-book-traits
November 5, 2023 10:21 16s
ci: check page width Build #97: Pull request #109 opened by jaschdoc
October 26, 2023 11:46 15s jaschdoc:page-width-check
jaschdoc:page-width-check
October 26, 2023 11:46 15s
feat: add section on record pattern matching Build #96: Pull request #108 synchronize by jaschdoc
October 26, 2023 10:59 15s jaschdoc:record-pattern-matching
jaschdoc:record-pattern-matching
October 26, 2023 10:59 15s
feat: add section on record pattern matching Build #95: Pull request #108 synchronize by jaschdoc
October 26, 2023 10:49 18s jaschdoc:record-pattern-matching
jaschdoc:record-pattern-matching
October 26, 2023 10:49 18s
feat: add section on record pattern matching Build #94: Pull request #108 synchronize by jaschdoc
October 19, 2023 19:48 17s jaschdoc:record-pattern-matching
jaschdoc:record-pattern-matching
October 19, 2023 19:48 17s
feat: add section on record pattern matching Build #93: Pull request #108 synchronize by jaschdoc
October 19, 2023 09:43 21s jaschdoc:record-pattern-matching
jaschdoc:record-pattern-matching
October 19, 2023 09:43 21s
feat: add section on record pattern matching Build #92: Pull request #108 opened by jaschdoc
October 6, 2023 09:47 17s jaschdoc:record-pattern-matching
jaschdoc:record-pattern-matching
October 6, 2023 09:47 17s
feat: rename record fields to labels Build #91: Pull request #107 opened by jaschdoc
September 21, 2023 12:47 16s jaschdoc:field-label
jaschdoc:field-label
September 21, 2023 12:47 16s
chore: update highlight.js Build #90: Pull request #104 opened by jaschdoc
August 8, 2023 12:14 13s jaschdoc:fix-enum-highlight
jaschdoc:fix-enum-highlight
August 8, 2023 12:14 13s
chore: update foreach.md Build #89: Pull request #103 opened by magnus-madsen
August 3, 2023 09:58 16s magnus-madsen-patch-1
magnus-madsen-patch-1
August 3, 2023 09:58 16s
fix: update the returned type of fixpoint queries to Vector Build #88: Pull request #100 opened by sockmaster27
June 22, 2023 07:58 13s sockmaster27:master
sockmaster27:master
June 22, 2023 07:58 13s