Skip to content

Actions: flamapy/flamapy-ide

Actions

Deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-pages.yml
19 workflow runs
19 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge branch 'develop' Deploy to GitHub Pages #19: Commit 265ee0e pushed by jagalindo
16s v2.6.0
v2.6.0
16s
chore: bundle flamapy 2.6.0.dev12 Deploy to GitHub Pages #18: Commit 79ae03f pushed by jagalindo
1s v2.6.0.dev12
v2.6.0.dev12
1s
chore: bundle flamapy 2.6.0.dev11 Deploy to GitHub Pages #17: Commit c1919d1 pushed by jagalindo
2s v2.6.0.dev11
v2.6.0.dev11
2s
chore: bundle flamapy 2.6.0.dev5 Deploy to GitHub Pages #16: Commit dc2463e pushed by jagalindo
1s v2.6.0.dev9
v2.6.0.dev9
1s
feat(ui): adding an example with types Deploy to GitHub Pages #15: Commit a6bcb50 pushed by jagalindo
3s v2.6.0.dev8
v2.6.0.dev8
3s
feat(ui): sync the welcome page with the rest of the app Deploy to GitHub Pages #14: Commit f063e3a pushed by jagalindo
2s v2.6.0.dev7
v2.6.0.dev7
2s
fix: improving the interfacw Deploy to GitHub Pages #13: Commit c7378f8 pushed by jagalindo
2s v2.6.0.dev6
v2.6.0.dev6
2s
feat(ui): visual improvements across toolbar and panel components Deploy to GitHub Pages #12: Commit 91382da pushed by jagalindo
1s v2.6.0.dev5
v2.6.0.dev5
1s
Deploy to GitHub Pages Deploy to GitHub Pages #11: by jagalindo
1s v2.6.0.dev4
v2.6.0.dev4
1s
fix: fixing the ci Deploy to GitHub Pages #10: Commit 4ae5eb9 pushed by jagalindo
1s v2.6.0.dev4
v2.6.0.dev4
1s
bump: version bump to try the new ci Deploy to GitHub Pages #9: Commit 8bb96e0 pushed by jagalindo
2s v2.6.0.dev4
v2.6.0.dev4
2s
bump: using flamapy 2.6.0.dev3 Deploy to GitHub Pages #8: Commit c954ebc pushed by jagalindo
1s v2.6.0.dev3
v2.6.0.dev3
1s
Merge branch 'main' of github.com:flamapy/flamapy-ide Deploy to GitHub Pages #7: Commit 2dedb95 pushed by jagalindo
1m 1s main
main
1m 1s
Delete CNAME Deploy to GitHub Pages #6: Commit cdb6fd4 pushed by jagalindo
1m 3s main
main
1m 3s
Add CNAME for custom domain Deploy to GitHub Pages #5: Commit 0b4e4f0 pushed by jagalindo
1m 11s main
main
1m 11s
xMerge branch 'develop' Deploy to GitHub Pages #4: Commit 0eb82ab pushed by jagalindo
1m 45s main
main
1m 45s
chore: sync main with develop (remove release-please, rewire docker) Deploy to GitHub Pages #3: Commit eb28a07 pushed by jagalindo
1m 22s main
main
1m 22s
Develop (#45) Deploy to GitHub Pages #2: Commit 483a5eb pushed by jagalindo
1m 27s main
main
1m 27s
New version with Z3 support among other changes (#44) Deploy to GitHub Pages #1: Commit 6658bc8 pushed by jagalindo
1m 18s main
main
1m 18s