Skip to content

Actions: flix/book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
190 workflow runs
190 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: update build section with note about build-jar Build #365: Pull request #233 opened by gwydd12
July 31, 2025 15:40 10s gwydd12:feat-update-build-jar
gwydd12:feat-update-build-jar
July 31, 2025 15:40 10s
fix: update videos.md with link to Devoxx talk Build #364: Pull request #232 opened by 239
July 29, 2025 21:19 9s 239:patch-1
239:patch-1
July 29, 2025 21:19 9s
chore: fixes a typo Build #363: Pull request #231 opened by kukimik
July 29, 2025 08:17 6s kukimik:patch-2
kukimik:patch-2
July 29, 2025 08:17 6s
docs: show that exception stops execution in the divByZero example Build #362: Pull request #230 opened by kukimik
July 28, 2025 13:28 10s kukimik:patch-1
kukimik:patch-1
July 28, 2025 13:28 10s
fix: corrected penguin classification (typo) Build #361: Pull request #229 opened by kukimik
July 26, 2025 22:34 8s kukimik:penguins_are_not_mammals
kukimik:penguins_are_not_mammals
July 26, 2025 22:34 8s
refactor: replace detailed neovim setup with plugin Build #360: Pull request #228 opened by CadeMichael
July 18, 2025 11:39 7s CadeMichael:neovimDocs
CadeMichael:neovimDocs
July 18, 2025 11:39 7s
feat: update blog-posts.md Build #359: Pull request #227 opened by magnus-madsen
July 12, 2025 07:15 9s magnus-madsen-patch-1
magnus-madsen-patch-1
July 12, 2025 07:15 9s
feat: update videos.md Build #357: Pull request #223 opened by magnus-madsen
July 9, 2025 15:24 10s magnus-madsen-patch-1
magnus-madsen-patch-1
July 9, 2025 15:24 10s
feat: update videos.md Build #356: Pull request #222 opened by magnus-madsen
July 9, 2025 14:48 11s magnus-madsen-patch-1
magnus-madsen-patch-1
July 9, 2025 14:48 11s
fix: ensure fixpoint chapter examples compile Build #355: Pull request #221 opened by jaschdoc
June 19, 2025 10:53 8s jaschdoc:fix-lattice-examples
jaschdoc:fix-lattice-examples
June 19, 2025 10:53 8s
fix: clarify wording of new expressions Build #354: Pull request #220 opened by jaschdoc
June 18, 2025 10:30 8s jaschdoc:patch-1
jaschdoc:patch-1
June 18, 2025 10:30 8s
feat: update to inject ... into P/X Build #353: Pull request #218 synchronize by jaschdoc
June 17, 2025 11:59 8s jaschdoc:inject-arity
jaschdoc:inject-arity
June 17, 2025 11:59 8s
feat: update to inject ... into P/X Build #352: Pull request #218 opened by jaschdoc
June 17, 2025 11:58 11s jaschdoc:inject-arity
jaschdoc:inject-arity
June 17, 2025 11:58 11s
refactor: remove struct initialization ordering Build #351: Pull request #217 opened by JonathanStarup
May 21, 2025 15:18 14s JonathanStarup-patch-1
JonathanStarup-patch-1
May 21, 2025 15:18 14s
chore: remove nested try-catch restriction note Build #350: Pull request #216 opened by JonathanStarup
April 18, 2025 10:31 12s JonathanStarup-patch-1
JonathanStarup-patch-1
April 18, 2025 10:31 12s
chore: update highlightjs keywords Build #349: Pull request #215 opened by jaschdoc
April 15, 2025 08:59 8s jaschdoc:run-handler
jaschdoc:run-handler
April 15, 2025 08:59 8s
feat: update videos.md Build #348: Pull request #214 opened by magnus-madsen
April 12, 2025 11:09 8s magnus-madsen-patch-1
magnus-madsen-patch-1
April 12, 2025 11:09 8s
doc: add Emacs section to getting started guide Build #347: Pull request #213 opened by mdiin
March 13, 2025 19:31 13s mdiin:patch-1
mdiin:patch-1
March 13, 2025 19:31 13s
chore: update the nvim config Build #346: Pull request #211 synchronize by stormckey
February 18, 2025 13:51 15s stormckey:chore-update-nvim-config
stormckey:chore-update-nvim-config
February 18, 2025 13:51 15s
chore: update the nvim config Build #345: Pull request #211 synchronize by stormckey
February 15, 2025 13:43 15s stormckey:chore-update-nvim-config
stormckey:chore-update-nvim-config
February 15, 2025 13:43 15s
chore: update the nvim config Build #344: Pull request #211 synchronize by stormckey
February 15, 2025 10:41 11s stormckey:chore-update-nvim-config
stormckey:chore-update-nvim-config
February 15, 2025 10:41 11s
feat: add Neovim screenshot Build #343: Pull request #212 opened by magnus-madsen
February 15, 2025 08:22 14s feat-upgrade-neovim
feat-upgrade-neovim
February 15, 2025 08:22 14s
chore: update the nvim config Build #342: Pull request #211 synchronize by stormckey
February 14, 2025 15:45 12s stormckey:chore-update-nvim-config
stormckey:chore-update-nvim-config
February 14, 2025 15:45 12s
chore: update the nvim config Build #341: Pull request #211 opened by stormckey
February 14, 2025 15:42 15s stormckey:chore-update-nvim-config
stormckey:chore-update-nvim-config
February 14, 2025 15:42 15s
feat: better nvim error message if flix.jar is not found Build #340: Pull request #208 opened by stormckey
February 13, 2025 11:01 14s stormckey:feat-better-nvim-flix-jar-error
stormckey:feat-better-nvim-flix-jar-error
February 13, 2025 11:01 14s