Skip to content

Actions: fsharp/fslang-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add the @ operator to Categorization of Symbolic Operators (#72)
Deploy the spec through mkdocs to GitHub Pages #9: Commit b2b888f pushed by Martin521
39s main
pages build and deployment
pages-build-deployment #10: by github-pages bot
33s gh-pages
33s
Add auto dark mode (#69)
Deploy the spec through mkdocs to GitHub Pages #8: Commit a3b1d61 pushed by Martin521
33s main
pages build and deployment
pages-build-deployment #9: by github-pages bot
25s gh-pages
25s
Move const to the keyword list (#66)
Deploy the spec through mkdocs to GitHub Pages #7: Commit 95b8245 pushed by edgarfgp
33s main
pages build and deployment
pages-build-deployment #8: by github-pages bot
24s gh-pages
24s
Add FS-1047 (#67)
Deploy the spec through mkdocs to GitHub Pages #6: Commit cd64272 pushed by edgarfgp
41s main
pages build and deployment
pages-build-deployment #7: by github-pages bot
25s gh-pages
25s
Add FS-1015 (#65)
Deploy the spec through mkdocs to GitHub Pages #5: Commit ca37ea7 pushed by edgarfgp
25s main
pages build and deployment
pages-build-deployment #6: by github-pages bot
26s gh-pages
26s
Add FS-1016 (#63)
Deploy the spec through mkdocs to GitHub Pages #4: Commit 32a2574 pushed by edgarfgp
31s main
pages build and deployment
pages-build-deployment #5: by github-pages bot
26s gh-pages
26s
update FS-1007 entry (#60)
Deploy the spec through mkdocs to GitHub Pages #3: Commit 2218c1f pushed by Martin521
31s main
pages build and deployment
pages-build-deployment #4: by github-pages bot
25s gh-pages
25s
remove obsolete section numbers from the sources (#61)
Deploy the spec through mkdocs to GitHub Pages #2: Commit 0d5f220 pushed by Martin521
36s main
pages build and deployment
pages-build-deployment #3: by github-pages bot
25s gh-pages
25s
add spec web site and contributor's guide (#59)
Deploy the spec through mkdocs to GitHub Pages #1: Commit e241041 pushed by Martin521
32s main
pages build and deployment
pages-build-deployment #2: by Martin521
42s gh-pages
42s
pages build and deployment
pages-build-deployment #1: by edgarfgp
29s gh-pages
29s