Skip to content

Actions: aeternity/aesophia

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix parser/pretty printer for OTP-27 (#502) Publish development docs #86: Commit de426a2 pushed by hanssv
February 16, 2024 08:57 29s master
master
February 16, 2024 08:57 29s
pages build and deployment pages-build-deployment #72: by github-pages bot
February 16, 2024 08:56 22s gh-pages
gh-pages
February 16, 2024 08:56 22s
Allow self-qualification (#503) Publish development docs #85: Commit 944ed49 pushed by hanssv
February 16, 2024 08:56 28s master
master
February 16, 2024 08:56 28s
pages build and deployment pages-build-deployment #71: by github-pages bot
February 4, 2024 08:25 32s gh-pages
gh-pages
February 4, 2024 08:25 32s
Fix printing FCode with lifted lambdas (#501) Publish development docs #84: Commit 1387e81 pushed by radrow
February 4, 2024 08:24 26s master
master
February 4, 2024 08:24 26s
pages build and deployment pages-build-deployment #70: by github-pages bot
January 31, 2024 08:12 39s gh-pages
gh-pages
January 31, 2024 08:12 39s
Prepare release v8.0.0-rc1 Publish development docs #83: Commit 44d6982 pushed by hanssv
January 31, 2024 08:11 31s master
master
January 31, 2024 08:11 31s
pages build and deployment with artifacts-next pages-build-deployment #69: by github-pages bot
January 25, 2024 08:57 32s gh-pages
gh-pages
January 25, 2024 08:57 32s
Fix Typo and whitespace in sophia_features.md (#500) Publish development docs #82: Commit 5c3b42a pushed by hanssv
January 25, 2024 08:57 27s master
master
January 25, 2024 08:57 27s
pages build and deployment with artifacts-next pages-build-deployment #68: by github-pages bot
January 23, 2024 15:17 40s gh-pages
gh-pages
January 23, 2024 15:17 40s
v7.4.1 Publish release docs #9: Release v7.4.1 released by hanssv
January 23, 2024 15:17 24s
January 23, 2024 15:17 24s
pages build and deployment with artifacts-next pages-build-deployment #67: by github-pages bot
January 23, 2024 15:14 36s gh-pages
gh-pages
January 23, 2024 15:14 36s
Prepare release v4.7.1 (#497) Publish development docs #81: Commit dbeb792 pushed by hanssv
January 23, 2024 15:14 24s master
master
January 23, 2024 15:14 24s
pages build and deployment with artifacts-next pages-build-deployment #66: by github-pages bot
January 23, 2024 14:55 38s gh-pages
gh-pages
January 23, 2024 14:55 38s
Bump pygments version (#496) Publish development docs #80: Commit f75455b pushed by hanssv
January 23, 2024 14:55 25s master
master
January 23, 2024 14:55 25s
pages build and deployment pages-build-deployment #65: by github-pages bot
November 27, 2023 09:12 34s gh-pages
gh-pages
November 27, 2023 09:12 34s
Disable unused type warnings for type used inside of records (#492) Publish development docs #79: Commit cdbd430 pushed by ghallak
November 27, 2023 09:12 28s master
master
November 27, 2023 09:12 28s