Skip to content

Actions: ftsrg/semantifyr

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
101 workflow runs
101 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump xtext from 2.36.0 to 2.37.0
Continuous Integration #101: Pull request #51 opened by dependabot bot
December 9, 2024 13:08 2m 0s dependabot/gradle/xtext-2.37.0
December 9, 2024 13:08 2m 0s
Bump org.jetbrains.kotlin.jvm from 2.0.0 to 2.1.0 (#50)
Continuous Integration #100: Commit ebb11cd pushed by arminzavada
December 2, 2024 22:04 2m 22s main
December 2, 2024 22:04 2m 22s
Bump fsfe/reuse-action from 4 to 5 (#48)
Continuous Integration #98: Commit 388fdcb pushed by arminzavada
November 26, 2024 12:51 12m 1s main
November 26, 2024 12:51 12m 1s
Bump fsfe/reuse-action from 4 to 5
Continuous Integration #97: Pull request #48 opened by dependabot bot
November 18, 2024 12:58 11m 9s dependabot/github_actions/fsfe/reuse-action-5
November 18, 2024 12:58 11m 9s
Bump mwe2 from 2.19.0 to 2.20.0
Continuous Integration #95: Pull request #46 opened by dependabot bot
November 18, 2024 12:46 11m 2s dependabot/gradle/mwe2-2.20.0
November 18, 2024 12:46 11m 2s
#18 Implemented CEX Witness serialization
Continuous Integration #94: Pull request #41 synchronize by arminzavada
November 13, 2024 16:17 11m 18s issues/18/cex
November 13, 2024 16:17 11m 18s
#18 Implemented CEX Witness serialization
Continuous Integration #93: Pull request #41 synchronize by arminzavada
November 13, 2024 15:51 11m 10s issues/18/cex
November 13, 2024 15:51 11m 10s
#18 Implemented CEX Witness serialization
Continuous Integration #92: Pull request #41 synchronize by arminzavada
November 13, 2024 15:20 11m 7s issues/18/cex
November 13, 2024 15:20 11m 7s
#18 Implemented CEX Witness serialization
Continuous Integration #91: Pull request #41 synchronize by arminzavada
November 13, 2024 14:42 11m 27s issues/18/cex
November 13, 2024 14:42 11m 27s
#18 Implemented CEX Witness serialization
Continuous Integration #90: Pull request #41 synchronize by arminzavada
November 12, 2024 18:33 11m 11s issues/18/cex
November 12, 2024 18:33 11m 11s
#18 Implemented CEX Witness serialization
Continuous Integration #89: Pull request #41 synchronize by arminzavada
November 8, 2024 13:52 10m 34s issues/18/cex
November 8, 2024 13:52 10m 34s
#18 Implemented CEX Witness serialization
Continuous Integration #88: Pull request #41 opened by arminzavada
November 7, 2024 19:23 10m 36s issues/18/cex
November 7, 2024 19:23 10m 36s
#22 Implemented 'static inline' that disables dynamic transition reso…
Continuous Integration #87: Commit 484a4bd pushed by arminzavada
November 7, 2024 19:17 10m 51s main
November 7, 2024 19:17 10m 51s
#22 Implemented 'static inline' that disables dynamic transition resolving
Continuous Integration #86: Pull request #40 opened by arminzavada
November 7, 2024 18:45 9m 58s issues/22/super-inline
November 7, 2024 18:45 9m 58s
Fixes reference bugs (#39)
Continuous Integration #85: Commit cf286ec pushed by arminzavada
November 7, 2024 17:45 10m 58s main
November 7, 2024 17:45 10m 58s
Fixes reference bugs
Continuous Integration #84: Pull request #39 synchronize by arminzavada
November 7, 2024 14:35 10m 22s reference_bugfix
November 7, 2024 14:35 10m 22s
Fixes reference bugs
Continuous Integration #83: Pull request #39 synchronize by arminzavada
November 7, 2024 14:19 3m 9s reference_bugfix
November 7, 2024 14:19 3m 9s
Fixes reference bugs
Continuous Integration #82: Pull request #39 opened by arminzavada
November 7, 2024 14:15 3m 23s reference_bugfix
November 7, 2024 14:15 3m 23s
#13 Added VS Code support using LSP (#14)
Continuous Integration #81: Commit 6c9074c pushed by arminzavada
November 4, 2024 18:09 11m 18s main
November 4, 2024 18:09 11m 18s
#13 Added VS Code support using LSP
Continuous Integration #80: Pull request #14 synchronize by arminzavada
November 4, 2024 18:00 10m 41s issues/13/vs_code
November 4, 2024 18:00 10m 41s
Bump junit from 5.11.0 to 5.11.3
Continuous Integration #79: Pull request #32 opened by dependabot bot
October 28, 2024 12:45 9m 54s dependabot/gradle/junit-5.11.3
October 28, 2024 12:45 9m 54s
Bump mockito from 5.14.0 to 5.14.2
Continuous Integration #78: Pull request #17 opened by dependabot bot
October 21, 2024 12:22 10m 44s dependabot/gradle/mockito-5.14.2
October 21, 2024 12:22 10m 44s